Skip to main content
SpringerLink
Log in

Generating conditions for preserving the properties of controlled discrete event systems

  • Intellectual Control Systems
  • Published:
Automation and Remote Control Aims and scope Submit manuscript

Abstract

We show how to apply the method of logic-algebraic equations as a representative of reduction methods that preserve system properties after a transformation. We study the problem of preserving properties of a supervisor for a controllable discrete event system represented as a finite state machine: completeness, non-rejecting property, and others. We relax previously known requirements imposed on mappings between supervisors.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Nagul, N.V., Logic-Algebraic Equations in Supervisory Control for Discrete Event Systems, Proc. XII Russian Meeting on Control Problems (VSPU-2014), Moscow, June 16–19, 2014, pp. 2575–2586.

    Google Scholar 

  2. Nagul, N.V., The Logic-Algebraic Equations Method in System Dynamics, Algebra Analiz, 2012, vol. 24, no. 4, pp. 156–181.

    MathSciNet  Google Scholar 

  3. Nagul, N.V., The Logic-Algebraic Equations Method in System Dynamics, St. Petersburg Math. J., 2013, vol. 24, no. 4, pp. 645–662.

    Article  MathSciNet  MATH  Google Scholar 

  4. Ramirez-Treviso, A., Silva, M., and Lafortune, S., Special Issue on Recent Advances in Control of Discrete Event Systems, Discret. Event Dynam. Syst., 2015, vol. 25, no. 1–2, pp. 3–5.

    Article  MathSciNet  MATH  Google Scholar 

  5. Michel, A.N., Hou, L., and Liu, D., Stability of Dynamical Systems: Continuous, Discontinuous, and Discrete Systems, New York: Springer, 2008.

    MATH  Google Scholar 

  6. Ramadge, P.J. and Wonham, W.M., Supervisory Control of Class of Discrete Event Processes, SIAM J. Control Optim., 1987, no. 25(1), pp. 206–230.

    Article  MathSciNet  MATH  Google Scholar 

  7. Moore, B.J. and Passino, K.M., Decentralized Redistribution for Cooperative Patrol, Int. J. Robust Nonlin. Control, 2008, vol. 18, pp. 165–195.

    Article  MathSciNet  MATH  Google Scholar 

  8. Ambartsumyan, A.A., Supervisory Control of the Structured Dynamic Discrete-Event Systems, Autom. Remote Control, 2009, vol. 70, no. 8, pp. 1406–1424.

    Article  MathSciNet  MATH  Google Scholar 

  9. Ambartsumyan, A.A., Modeling and Synthesis for Supervisory Control on Petri Nets For Distributed Objects. II. A Supervisor Synthesis Method for a Set of General form Sequences, Autom. Remote Control, 2011, vol. 72, no. 9, pp. 1951–1966.

    Article  MathSciNet  MATH  Google Scholar 

  10. Potekhin, A.I., Branishtov, S.A., and Kuznetsov, S.K., Railway Network Discrete-Event Models, Probl. Upravlen., 2014, no. 1, pp. 73–81.

    Google Scholar 

  11. Matrosov, V.M., Comparison Method in System’s Dynamics. I, II, Differ. Uravn., 1974, vol. 10, no. 9, pp. 1547–1559; 1975, vol. 11, no. 3, pp. 403–417.

    MathSciNet  MATH  Google Scholar 

  12. Vassilyev, S.N., Comparison Method in System Analysis. I–IV, Differ. Uranven., 1981, vol. 17, no. 9, pp. 1562–1573; vol. 17, no. 11, pp. 1545–1554; 1982, vol. 18, no. 2, pp. 197–205; vol. 18, no. 6, pp. 938–947.

    Google Scholar 

  13. Vassilyev, S.N., The Reduction Method. I, II, Nonlin. Anal. Theory, Methods Appl., 2006, vol. 64, no. 2, pp. 242–252; 2006, vol. 65, no. 5, pp. 939–955.

    Article  MathSciNet  MATH  Google Scholar 

  14. Feferman, S., Applications of Many-Sorted Interpolation Theorems, Proc. Tarski Sympos., Providence: Am. Math. Soc., 1974, pp. 205–224.

    Book  MATH  Google Scholar 

  15. Otto, M., An Interpolation Theorem, Bull. Symbolic Logic, 2000, vol. 6, no. 4, pp. 447–462.

    Article  MathSciNet  MATH  Google Scholar 

  16. Bourbaki, N., Theory of Sets, Paris: Hermann, 1968. Translated under the title Teoriya mnozhestv, Moscow: Mir, 1965.

    MATH  Google Scholar 

  17. Vassilyev, S.N., Representability Method in the Logical–Algebraic Approach to Qualitative Analysis of Dynamical Systems, Optimiz., Upravlen., Intellekt, 2005, no. 3 (11), pp. 248–254.

    Google Scholar 

  18. Nagul, N.V., Classes of Properties Preserved under Morphisms of Generalizations of Many-Sorted Algebraic Systems in Studying Dynamics, Tr. Inst. Mat. Mekh. UrO RAN, 2014, vol. 20, no. 1, pp. 185–200.

    MathSciNet  Google Scholar 

  19. Zhuravlev, V.F., Osnovy teoreticheskoi mekhaniki (Fundamentals of Theoretical Mechanics), Moscow: Fizmatlit, 2008.

    Google Scholar 

  20. Kavinov, A.V. and Krishchenko, A.P., Stability of Solutions in Different Variables, Differ. Equat., 2007, vol. 43, no. 11, pp. 1505–1509.

    Article  MathSciNet  MATH  Google Scholar 

  21. Nagul, N.V., Preservation of Properties of Schedules in a Model of Public Transport, Sovrem. Tekhnol. Sistem. Anal. Modelir., 2010, no. 4(28), pp. 150–159.

    Google Scholar 

  22. Lyndon, R.C., Properties Preserved under Homomorphism, Pacific J. Math., 1959, vol. 9, pp. 143–154.

    Article  MathSciNet  MATH  Google Scholar 

  23. Su, R. and Wonham, W.M., Supervisor Reduction for Discrete-Event Systems, Discret. Event Dynam. Syst. Theory Appl., 2004, vol. 14, pp. 31–53.

    Article  MathSciNet  MATH  Google Scholar 

  24. Changwei, C., Lin, F., and Lin, Z., Why Event Observation: Observability Revisited, Discret. Event Dynam. Syst. Theory Appl., 1997, vol. 7, pp. 127–149.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Matrosov Institute for System Dynamics and Control Theory, Irkutsk, Russia

    N. V. Nagul

Authors
  1. N. V. Nagul
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to N. V. Nagul.

Additional information

Original Russian Text © N.V. Nagul, 2016, published in Avtomatika i Telemekhanika, 2016, No. 4, pp. 153–172.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Nagul, N.V. Generating conditions for preserving the properties of controlled discrete event systems. Autom Remote Control 77, 672–686 (2016). https://doi.org/10.1134/S0005117916040111

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0005117916040111

Keywords

Search

Navigation