Nonblocking hierarchical control of decentralized discrete event systems

IEEE Transactions on Automatic Control

Volumn 53, Issue 10, 2008, Pages 2252-2265

  Schmidt, Klaus ^a   Moor, Thomas ^a   Perk, Sebastian ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Decentralized control; Discrete event systems (DES); Hierarchical control; Large scale systems; Supervisory control

Indexed keywords

COMPUTATIONAL COMPLEXITY; HIERARCHICAL SYSTEMS; HIGH LEVEL LANGUAGES; SCADA SYSTEMS;

DESIRABLE PROPERTIES; DISCRETE EVENT SYSTEMS; DISCRETE EVENT SYSTEMS (DES); HIERARCHICAL CONTROL; HIERARCHICAL CONTROL ARCHITECTURES; HIERARCHICAL CONTROLS; LARGE-SCALE SYSTEMS; NONBLOCKING; NONBLOCKING OPERATIONS; OVERALL SYSTEMS; SUB SYSTEMS; SUFFICIENT CONDITIONS; SUPERVISORY CONTROL; SUPERVISORY CONTROLS;

CONTROL SYSTEMS;

EID: 53149144420     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2008.2006817     Document Type: Article

References (29)

1. P. J. Ramadge and W. M. Wonham, "Modular supervisory control of discrete event systems," Math. Control Discrete Event Syst., vol. 1, no. 1, pp. 13-30, 1988.
2. M. H. de Queiroz and J. E. R. Cury, "Modular supervisory control of large scale discrete event systems," in Proc. Workshop Discrete Event Syst., 2000, pp. 103-110.
3. J. Komenda, J. H. van Schuppen, B. Gaudin, and H. Marchand, "Modular supervisory control with general indecomposable specification languages," in Proc. Conf. Decision Control, 2005, pp. 3474-3479.
4. T. Yoo and S. Lafortune, "A generalized architecture for decentralized supervisory control of discrete event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 12, no. 3, pp. 335-377, Jul. 2002.
5. S. Jiang, V. Chandra, and R. Kumar, "Decentralized control of discrete event systems with multiple local specializations," in Proc. Amer. Control Conf., 2001, pp. 653-660.
6. S.-H. Lee and K. C. Wong, "Structural decentralised control of concurrent DES," Eur. J. Control, vol. 35, pp. 1125-1134, 2002.
7. J. Komenda and J. H. van Schuppen, "Optimal solutions of modular supervisory control problems with indecomposable specification languages," in Proc. Workshop Discrete Event Syst., 2006, pp. 143-148.
8. C. Ma, "Nonblocking Supervisory Control of State Tree Structures," Ph.D. dissertation, Dept. of Elect. and Comput. Eng., Univ. of Toronto, Toronto, ON, Canada, 2004.
9. B. Gaudin and H. Marchand, "Safety control of hierarchical synchronous discrete event systems: A state-based approach," in Proc. Mediterranean Conf. Control Automat., 2005, pp. 889-895.
10. H. Zhong and W. M. Wonham, "On the consistency of hierarchical supervision in discrete-event systems," IEEE Trans. Automat. Control vol. 35, no. 10, pp. 1125-1134, Oct. 1990.
11. K. C. Wong and W. M. Wonham, "Hierarchical control of discrete-event systems," Discrete Event Dyn. Syst.: Theory Appl., vol. 6, no. 3, pp. 241-273, Jul. 1996.
12. A. E. C. da Cunha, J. E. R. Cury, and B. H. Krogh, "An assume guarantee reasoning for hierarchical coordination of discrete event systems," in Proc. Workshop Discrete Event Syst., 2002, pp. 75-80.
13. P. Hubbard and P. E. Cames, "Dynamical consistency in hierarchical supervisory control," IEEE Trans. Automat. Control, vol. 47, no. 1, pp. 37-52, Jan. 2002.
14. T. Moor, J. Raisch, and J. M. Davoren, "Admissibility criteria for a hierarchical design of hybrid control systems," in Proc. Conf. Anal. Design Hybrid Syst., 2003, pp. 389-394.
15. K. Schmidt, J. Reger, and T. Moor, "Hierarchical control of structural decentralized DES," in Proc. Workshop Discrete Event Syst., Reims, France, 2004, pp. 289-295.
16. R. Hill and D. Tilbury, "Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction," in Proc. Workshop Discrete Event Syst., 2006, pp. 3-8.
17. L. Feng and W. M. Wonham, "Computationally efficient supervisor design: Abstraction and modularity," in Proc. Workshop Discrete Event Syst. 2006, pp. 399-406.
18. K. Schmidt, "Hierarchical Control of Decentralized Discrete Event Systems: Theory and Application," Ph.D. dissertation, Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg, Erlangen, Germany, 2005.
19. K. Schmidt, H. Marchand, and B. Gaudin, "Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models," in Proc. Workshop Discrete Event Syst. (WODES , Ann Arbor, MI, 2006, pp. 149-154.
20. S. Perk, T. Moor, and K. Schmidt, "Hierarchical discrete event systems with inputs and outputs," in Proc. Workshop Discrete Event Syst. (WODES), Ann Arbor, ML 2006, pp. 427-432.
21. C. C. Torrico and J. E. R. Cury, "Hierarchical supervisory control of discrete event systems based on state aggregation," in Proc. IFAC World Congress, 2002, [CD ROM].
22. R. J. Leduc, M. Lawford, and W. M. Wonham, "Hierarchical interface-based supervisory control-part II: Parallel case," IEEE Trans. Automat. Control, vol. 50, no. 9, pp. 1336-1348, Sep. 2005.
23. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, Special Issue Discrete Event Dyn. Syst., vol. 77, no. 1, pp. 81-98, Jan. 1989.
24. W. M. Wonham, "Notes on Control of Discrete Event Systems," Department of Electrical Engineering, University of Toronto, Toronto, ON, Canada, 2004.
25. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computation. Reading, MA: Addison-Wesley, 1979.
26. J. J. M. M. Rutten, "Coalgebra, Concurrency, and Control," Centrum voor Wiskunde en Informatica, Tech. Rep. SEN-R9921, 1999.
27. K. C. Wong and W. M. Wonham, "Modular control and coordination of discrete event systems," Discrete Event Dyn. Syst., vol. 8, no. 3, pp. 908-929, 1998.
28. 8J.-C. Fernandez, "An implementation of an efficient algorithm for bisimulation equivalence," Sci. Comput. Program., vol. 13, pp. 219-236, 1990.
29. K. Schmidt and T. Moor, "Computation of marked string accepting observers for discrete event systems," in Proc. Workshop Discrete Event Syst. (WODES), Ann Arbor, ML 2006, pp. 413-418.