Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

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

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

[3]  Michael Heymann,et al.  Discrete-event control of nondeterministic systems , 1998 .

[4]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[5]  Rong Su,et al.  Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis , 2010, IEEE Transactions on Automatic Control.

[6]  Shigemasa Takai,et al.  Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations , 2012, WODES.

[7]  T. Ushio.  Feedback logic for discrete event systems with arbitrary control patterns , 1990 .

[8]  R. Kumar,et al.  Control of Nondeterministic Discrete Event Systems for Simulation Equivalence , 2007, IEEE Transactions on Automation Science and Engineering.

[9]  W. M. Wonham,et al.  Concurrency and state feedback in discrete-event systems , 1992 .

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

[11]  Mark A. Shayman,et al.  Nonblocking supervisory control of nondeterministic systems via prioritized synchronization , 1996, IEEE Trans. Autom. Control..

[12]  W. Wonham,et al.  Control of vector discrete-event systems. I. The base model , 1993, IEEE Trans. Autom. Control..

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

[14]  A. Overkamp.  Supervisory control using failure semantics and partial specifications , 1997 .

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

[16]  W. M. Wonham,et al.  Concurrent vector discrete-event systems , 1995 .

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

[18]  J. Rutten.  Coalgebra, concurrency, and control , 1999 .

[19]  Shengbing Jiang,et al.  Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization , 2002, IEEE Trans. Autom. Control..

[20]  Mark A. Shayman,et al.  Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models , 1995 .

[21]  Vijay K. Garg,et al.  Predicates and predicate transformers for supervisory control of discrete event dynamical systems , 1993, IEEE Trans. Autom. Control..