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.
Similar content being viewed by others
References
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.
Nagul, N.V., The Logic-Algebraic Equations Method in System Dynamics, Algebra Analiz, 2012, vol. 24, no. 4, pp. 156–181.
Nagul, N.V., The Logic-Algebraic Equations Method in System Dynamics, St. Petersburg Math. J., 2013, vol. 24, no. 4, pp. 645–662.
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.
Michel, A.N., Hou, L., and Liu, D., Stability of Dynamical Systems: Continuous, Discontinuous, and Discrete Systems, New York: Springer, 2008.
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.
Moore, B.J. and Passino, K.M., Decentralized Redistribution for Cooperative Patrol, Int. J. Robust Nonlin. Control, 2008, vol. 18, pp. 165–195.
Ambartsumyan, A.A., Supervisory Control of the Structured Dynamic Discrete-Event Systems, Autom. Remote Control, 2009, vol. 70, no. 8, pp. 1406–1424.
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.
Potekhin, A.I., Branishtov, S.A., and Kuznetsov, S.K., Railway Network Discrete-Event Models, Probl. Upravlen., 2014, no. 1, pp. 73–81.
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.
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.
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.
Feferman, S., Applications of Many-Sorted Interpolation Theorems, Proc. Tarski Sympos., Providence: Am. Math. Soc., 1974, pp. 205–224.
Otto, M., An Interpolation Theorem, Bull. Symbolic Logic, 2000, vol. 6, no. 4, pp. 447–462.
Bourbaki, N., Theory of Sets, Paris: Hermann, 1968. Translated under the title Teoriya mnozhestv, Moscow: Mir, 1965.
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.
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.
Zhuravlev, V.F., Osnovy teoreticheskoi mekhaniki (Fundamentals of Theoretical Mechanics), Moscow: Fizmatlit, 2008.
Kavinov, A.V. and Krishchenko, A.P., Stability of Solutions in Different Variables, Differ. Equat., 2007, vol. 43, no. 11, pp. 1505–1509.
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.
Lyndon, R.C., Properties Preserved under Homomorphism, Pacific J. Math., 1959, vol. 9, pp. 143–154.
Su, R. and Wonham, W.M., Supervisor Reduction for Discrete-Event Systems, Discret. Event Dynam. Syst. Theory Appl., 2004, vol. 14, pp. 31–53.
Changwei, C., Lin, F., and Lin, Z., Why Event Observation: Observability Revisited, Discret. Event Dynam. Syst. Theory Appl., 1997, vol. 7, pp. 127–149.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © N.V. Nagul, 2016, published in Avtomatika i Telemekhanika, 2016, No. 4, pp. 153–172.
Rights and permissions
About this article
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
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0005117916040111