Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems

In this paper, we consider a similarity control problem for the plant and the specification modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is simulated by the specification. We show that a state-controllable subautomaton of the synchronous composition of the observer automaton of the plant and the specification can be used as a solution to the similarity control problem. It is desirable that a supervisor be as permissive as possible. Thus, to synthesize a similarity enforcing supervisor, we construct the largest state-controllable subautomaton of the synchronous composition of the observer automaton of the plant and the specification.

[1]  Ratnesh Kumar,et al.  Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control , 2011, IEEE Transactions on Automatic Control.

[2]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[3]  R. Kumar,et al.  Control of nondeterministic discrete event systems for simulation equivalence , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[4]  Ratnesh Kumar,et al.  A small model theorem for bisimilarity control under partial observation , 2005, Proceedings of the 2005, American Control Conference, 2005..

[5]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[6]  Stéphane Lafortune,et al.  Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems , 2016, IEEE Transactions on Automatic Control.

[7]  Hai Lin,et al.  Bisimilarity enforcing supervisory control of nondeterministic discrete event systems , 2012, 2012 American Control Conference (ACC).

[8]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[9]  Shigemasa Takai,et al.  Supervisor synthesis for similarity control of nondeterministic discrete event systems , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[10]  Steven I. Marcus,et al.  On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation , 1989, Math. Control. Signals Syst..

[11]  Shigemasa Takai,et al.  Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations , 2014, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[12]  Shengbing Jiang,et al.  Control of nondeterministic discrete-event systems for bisimulation equivalence , 2006, IEEE Trans. Autom. Control..

[13]  Shigemasa Takai,et al.  Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations , 2014, IEICE Trans. Inf. Syst..

[14]  Walter Murray Wonham,et al.  On relative coobservability of discrete-event systems , 2015, 2015 American Control Conference (ACC).