Multi-level hierarchical interface-based supervisory control

Automatica

Volumn 46, Issue 7, 2010, Pages 1152-1164

  Hill, R C ^a   Cury, J E R ^c   De Queiroz, M H ^c   Tilbury, D M ^b   Lafortune, S ^b  

^a UNIVERSITY OF DETROIT MERCY   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

^c FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

Author keywords

Discrete event systems; Hierarchical control; Supervisory control

Indexed keywords

COMPUTATIONAL SAVINGS; DISCRETE EVENT SYSTEMS; GLOBAL SYSTEMS; HIERARCHICAL CONTROL; HIERARCHICAL INTERFACE; LOCAL ANALYSIS; MONOLITHIC SYSTEMS; MULTI-LEVEL; RECONFIGURABILITY; SUPERVISORY CONTROL;

ARCHITECTURE;

HIERARCHICAL SYSTEMS;

EID: 77955718184     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2010.04.002     Document Type: Article

References (25)

1. B.A. Brandin, R. Malik, and P. Malik Incremental verification and synthesis of discrete-event systems guided by counter examples IEEE Transactions on Control Systems Technology 12 3 2004 387 401
2. J. Carrol, and D. Long Theory of finite automata with an introduction to formal languages 1989 Prentice-Hall International USA
3. C.G. Cassandras, and S. Lafortune Introduction to discrete event systems 2nd edition 2007 Springer New York, NY
4. Dai, P. (2006). Synthesis method for hierarchical interface-based supervisory control. Master's thesis, Dept. of Computing and Software. McMaster University, Hamilton, Ont.
5. de Alfaro, L., & Henzinger, T. A. (2001a). Interface automata. In Foundations of software engineering (pp. 109120).
6. L. de Alfaro, and T.A. Henzinger Interface theories for component-based design Embedded software 2001 Springer-Verlag 148 165
7. M.H. de Queiroz, J.E.R. Cury, and W.M. Wonham Multitasking supervisory control of discrete-event systems Discrete Event Dynamic Systems: Theory and Application 15 4 2005 375 395
8. Endsley, E. W., & Tilbury, D. M. (2004). Modular verification of modular finite state machines. In Proc. 43rd IEEE conf. decision & control, The Bahamas (pp. 972979).
9. Feng, L., & Wonham, W. M. (2006). Computationally efficient supervisor design: Abstraction and modularity. In Proc. int. workshop on discrete event systems, WODES, Ann Arbor, USA (pp. 38).
10. Flordal, H., & Malik, R. (2006). Modular nonblocking verification using conflict equivalence. In Proc. int. workshop on discrete event systems, WODES, Ann Arbor, USA (pp. 100106).
11. Flordal, H., & Malik, R. (2006). Supervision equivalence. In Proc. int. workshop on discrete event systems, WODES, Ann Arbor USA, (pp. 155160).
12. Hill, R. C. (2008). Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction. Ph.D. thesis. University of Michigan, Ann Arbor, USA.
13. Hill, R.C., Cury, J. E. R., de Queiroz, M. H., Tilbury, D. M., & Lafortune, S. (2009). Hierarchical interface-based supervisory control with multiple levels. Technical report CGR-09-04. Control Group, University of Michigan, Ann Arbor, USA.
14. R.C. Hill, and D.M. Tilbury Incremental hierarchical construction of modular supervisors for discrete-event systems International Journal of Control 81 9 2008 364 1381
15. Leduc, R. J. (2002). Hierarchical Interface-based Supervisory Control. Ph.D. thesis. University of Toronto, Toronto, Canada.
16. Leduc, R. J. (2007). Hierarchical interface-based supervisory control with data events. In Proc. 46th IEEE conf. decision & control, New Orleans, USA (pp. 59105917).
17. R.J. Leduc, B.A. Brandin, M. Lawford, and W.M. Wonham Hierarchical interface-based supervisory controlpart I: serial case IEEE Transactions on Automatic Control 50 9 2005 1322 1335
18. Leduc, R. J., & Dai, P. (2007). Synthesis method for hierarchical interface-based supervisory control. In Proc. American control conf., New York, USA (pp. 42604267).
19. R.J. Leduc, M. Lawford, and P. Dai Hierarchical interface-based supervisory control of a flexible manufacturing system IEEE Transactions on Control Systems Technology 14 4 2006 654 668
20. R.J. Leduc, M. Lawford, and W.M. Wonham Hierarchical interface-based supervisory controlpart II: Parallel case IEEE Transactions on Automatic Control 50 9 2005 1336 1348
21. Pena, P. N., Cury, J. E. R., & Lafortune, S. (2006). Testing modularity of local supervisors: An approach based on abstractions. In Proc. int. workshop on discrete event systems, WODES, Ann Arbor, USA (pp. 107112).
22. P.J. Ramadge, and W.M. Wonham The control of discrete event systems In Discrete event dynamic systems [Special issue], Proceedings of the IEEE 77 1 1989 81 98
23. Schmidt, K., Moor, T., & Perk, S. (2005). A hierarchical architecture for nonblocking control of discrete event systems. In mediterranean conference on control and automation.
24. Song, R., & Leduc, R. J. (2006). Symbolic synthesis and verification of hierarchical interface-based supervisory control. In Proc. int. workshop on discrete event systems, WODES, Ann Arbor, USA (pp. 419426).
25. W.M. Wonham, and P.J. Ramadge On the supremal controllable sublanguage of a given language SIAM Journal of Control and Optimization 25 3 1987 637 659