Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations

[1]  Robi Malik,et al.  A framework for compositional nonblocking verification of extended finite-state machines , 2015, Discret. Event Dyn. Syst..

[2]  José Eduardo Ribeiro Cury,et al.  Supervisory control of discrete event systems with distinguishers , 2015, Autom..

[3]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[4]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[5]  Marcelo Teixeira,et al.  Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems , 2018, IEEE Transactions on Automation Science and Engineering.

[6]  Robi Malik,et al.  Exploiting Approximations in Supervisory Control with Distinguishers , 2018 .

[7]  W. M. Wonham,et al.  Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..

[8]  José E. R. Cury,et al.  Modular Supervisory Control of Large Scale Discrete Event Systems , 2000 .

[9]  Martijn Goorden,et al.  Modeling for supervisor synthesis – a lock-bridge combination case study , 2020, Discret. Event Dyn. Syst..

[10]  Robi Malik,et al.  A Framework for Compositional Synthesis of Modular Nonblocking Supervisors , 2014, IEEE Transactions on Automatic Control.

[11]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

[12]  Lei Feng,et al.  Supervisory Control Architecture for Discrete-Event Systems , 2008, IEEE Transactions on Automatic Control.

[13]  Robi Malik,et al.  Progressive events in supervisory control and compositional verification , 2014 .

[14]  C. A. R. Hoare,et al.  Notes on Communicating Sequential Systems , 1986 .

[15]  Klaus Werner Schmidt,et al.  Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems , 2011, IEEE Transactions on Automatic Control.

[16]  Orna Grumberg,et al.  Abstract interpretation of reactive systems , 1997, TOPL.

[17]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems, Second Edition , 2008 .

[18]  Zhiwu Li,et al.  On scalable supervisory control of multi-agent discrete-event systems , 2019, Autom..

[19]  Robi Malik,et al.  Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction , 2020, Discret. Event Dyn. Syst..

[20]  Klaus Werner Schmidt.  Reconfigurability of behavioural specifications for manufacturing systems , 2017, Int. J. Control.

[21]  Robi Malik,et al.  Incremental verification and synthesis of discrete-event systems guided by counter examples , 2004, IEEE Transactions on Control Systems Technology.

[22]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..

[23]  W. M. Wonham,et al.  Supervisor Reduction for Discrete-Event Systems , 2004, Discret. Event Dyn. Syst..

[24]  Thomas Moor,et al.  Nonblocking Hierarchical Control of Decentralized Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[25]  Walter Murray Wonham,et al.  Hierarchical interface-based supervisory Control-part I: serial case , 2005, IEEE Transactions on Automatic Control.