Modular Supervisory Control of Discrete-Event Systems with Abstraction and Incremental Hierarchical Construction

This paper addresses the problem of state explosion by outlining a procedure for incrementally building modular supervisors that are nonconflicting by construction. Abstractions are employed to make the procedure more computationally feasible. Proof is given showing the set of modular supervisors generated in this manner meet given specifications without blocking. Furthermore, an example is provided that demonstrates the reduction in complexity that this approach provides

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

[2]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[3]  Walter Murray Wonham,et al.  Modular Control and Coordination of Discrete-Event Systems , 1998, Discret. Event Dyn. Syst..

[4]  Walter Murray Wonham,et al.  On the Computation of Observers in Discrete-Event Systems , 2004, Discret. Event Dyn. Syst..

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

[6]  Lei Feng,et al.  On the Computation of Natural Observers in Discrete-Event Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[7]  J.E.R. Cury,et al.  Testing Modularity of Local Supervisors: An Approach Based on Abstractions , 2006, 2006 8th International Workshop on Discrete Event Systems.

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

[9]  Kai C. Wong,et al.  On the Complexity of Projections of Discrete-Event Systems , 1998 .

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

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

[12]  P. Ramadge,et al.  Modular Supervisory Control of Discrete Event Systems , 1988 .

[13]  L. Grigorov.  Hierarchical control of discrete-event systems , 2005 .

[14]  R.P. Malhame,et al.  Conflict resolution in modular control with applications to feature interaction , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[15]  M.H. de Queiroz,et al.  Modular control of composed systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).