Maximally permissive hierarchical control of decentralized discrete event systems

IEEE Transactions on Automatic Control

Volumn 56, Issue 4, 2011, Pages 723-737

  Schmidt, Klaus ^a   Breindl, Christian ^b  

^a CANKAYA UNIVERSITY   (Turkey)

^b UNIVERSITY OF STUTTGART   (Germany)

Author keywords

Decentralized control; discrete event systems; hierarchical control; large scale systems; maximal permissiveness; supervisory control

Indexed keywords

DISCRETE EVENT SYSTEMS; HIERARCHICAL CONTROL; LOCAL CONTROL; MANUFACTURING SYSTEM; MAXIMAL PERMISSIVENESS; NATURAL OBSERVER; NATURAL PROJECTIONS; NON-BLOCKING; SUFFICIENT CONDITIONS; SUPERVISORY CONTROL;

ABSTRACTING; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS;

DECENTRALIZED CONTROL;

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

References (26)

1. H. Zhong and W. Wonham, "On the consistency of hierarchical supervision in discrete-event systems," IEEE Trans. Autom. Control, vol. 35, no. 10, pp. 1125-1134, Oct. 1990.
2. K. C. Wong and W. M. Wonham, "Hierarchical control of discreteevent systems," Discrete Event Dyn. Syst.: Theor. Appl., vol. 6, no. 3, pp. 241-273, 1996.
3. P. Hubbard and P. E. Caines, "Dynamical consistency in hierarchical supervisory control," IEEE Trans. Autom. Control, vol. 47, no. 1, pp. 37-52, Jan. 2002. (Pubitemid 34504321)
4. R. Leduc, M. Lawford, and W.Wonham, "Hierarchical interface-based supervisory control-part II: Parallel case," IEEE Trans. Autom. Control, vol. 50, no. 9, pp. 1336-1348, Sep. 2005. (Pubitemid 41388170)
5. B. Gaudin and H. Marchand, "Safety control of hierarchical synchronous discrete event systems: A state-based approach," in Proc. Mediterranean Conf. Control Autom., 2005, pp. 889-895. (Pubitemid 43904012)
6. A. de Cunha and J. Cury, "Hierarchical supervisory control based on discrete event systems with flexible marking," IEEE Trans. Autom. Control, vol. 52, no. 12, pp. 2242-2253, Dec. 2007.
7. H. Flordal, R. Malik, M. Fabian, and K. Åkesson, "Compositional synthesis of maximally permissive supervisors using supervision equivalence," Discrete Event Dyn. Syst.: Theor. Appl., vol. 17, no. 4, pp. 475-504, 2007. (Pubitemid 350074187)
8. K. Schmidt, T. Moor, and S. Perk, "Nonblocking hierarchical control of decentralized discrete event systems," IEEE Trans. Autom. Control, vol. 53, no. 10, pp. 2252-2265, Oct. 2008.
9. S. Perk, T. Moor, and K. Schmidt, "Controller synthesis for an I/Obased hierarchical system architecture," in Workshop Discrete Event Syst., 2008, pp. 474-479.
10. L. Feng and W. Wonham, "Supervisory control architecture for discrete- event systems," IEEE Trans. Autom. Control, vol. 53, no. 6, pp. 1449-1461, Jun. 2008.
11. R. Hill, D. Tilbury, and S. Lafortune, "Modular supervisory control with equivalence-based conflict resolution," in Proc. Amer. Control Conf., 2008, pp. 491-498.
12. J. Komenda and J. van Schuppen, "Coordination control of discreteevent systems," in Workshop Discrete Event Syst., 2008, pp. 9-15.
13. R. Su, J. van Schuppen, and J. Rooda, "Supervisor synthesis based on abstractions of nondeterministic automata," in Workshop Discrete Event Syst., 2008, pp. 412-418.
14. K. Schmidt and T. Moor, "Marked-string accepting observers for the hierarchical and decentralized control of discrete event systems," in Workshop Discrete Event Syst., 2006, pp. 413-418. (Pubitemid 46944116)
15. L. Feng and W.Wonham, "On the computation of natural observers in discrete-event systems," Discrete Event Dyn. Syst.: Theor. Appl., vol. 20, no. 1, pp. 63-102, Mar. 2010.
16. K. C.Wong and W. M. Wonham, "On the computation of observers in discrete-event systems," Discrete Event Dyn. Syst.: Theor. Appl., vol. 14, no. 1, pp. 55-107, 2004.
17. K. Schmidt and C. Breindl, "On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems," in Workshop Discrete Event Syst., 2008, pp. 462-467.
18. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems," in Proc. IEEE, Special Issue Discrete Event Dyn. Syst., 1989, vol. 77, pp. 81-98.
19. W. M. Wonham, "Supervisory Control of Discrete-Event Systems," Dept. Elect. Comp. Eng., Univ. Toronto, Toronto, ON, Canada, 2008, [Online]. Available: http://www.control.utoronto.ca/DES.
20. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Secaucus, NJ: Springer-Verlag, 2006.
21. K. Schmidt, J. Reger, and T. Moor, "Hierarchical control of structural decentralized DES," in Workshop Discrete Event Syst., 2004, pp. 289-294.
22. R. Hill and D. Tilbury, "Modular supervisory control of discrete-event systems with abstraction and incremental hierarchical construction," in Workshop Discrete Event Syst., 2006, pp. 399-406. (Pubitemid 46944114)
23. K. Schmidt, "Hierarchical Control of Decentralized Discrete Event Systems: Theory and Application," Ph.D. dissertation, Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg, Nürnberg, Germany, 2005.
24. J.-C. Fernandez, "An implementation of an efficient algorithm for bisimulation equivalence," Sci. Comp. Programming, vol. 13, pp. 219-236, 1990.
25. S.-H. Lee and K. C.Wong, "Structural decentralised control of concurrent DES," Eur. J. Control, vol. 35, pp. 1125-1134, 2002.
26. "libFAUDES Software Library for Discrete Event Systems," lib- FAUDES., Tech. Rep., 2006-2010 [Online]. Available: www.rt.eei. uni-erlangen.de/FGdes/faudes