Bisimilarity control of nondeterministic discrete event systems

This paper addresses the bisimilarity control problem of discrete event systems (DESs) under full observations and partial observations, in which both the plant and the specification are allowed to be nondeterministic. The main contribution is the derivation of necessary and sufficient conditions for the existence of a supervisor that achieves a given specification in terms of bisimulation equivalence. The notions of simulation-based controllability and simulation-based observability are proposed respectively, which are generalizations of the counterparts in the classical supervisory control in the sense of language equivalence. With these new notations, the main results here can be presented as the controllability and observability theorems for bisimulation.

[1]  Jan Komenda,et al.  Decentralized supervisory control with coalgebra , 2003, 2003 European Control Conference (ECC).

[2]  Hai Lin,et al.  Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm , 2011, Autom..

[3]  Paulo Tabuada,et al.  Bisimulation relations for dynamical, control, and hybrid systems , 2005, Theor. Comput. Sci..

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

[5]  Paulo Tabuada,et al.  Controller synthesis for bisimulation equivalence , 2007, Syst. Control. Lett..

[6]  Jan Komenda,et al.  Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction , 2005, Discret. Event Dyn. Syst..

[7]  George J. Pappas.  Bisimilar linear systems , 2003, Autom..

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

[9]  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).

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

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

[12]  Stéphane Lafortune,et al.  Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines , 1998, Discret. Event Dyn. Syst..