Efficient abstractions for the supervisory control of modular discrete event systems

IEEE Transactions on Automatic Control

Volumn 57, Issue 12, 2012, Pages 3224-3229

  Schmidt, Klaus Werner ^a   Cury, José Eduardo Ribeiro ^b  

^a CANKAYA UNIVERSITY   (Turkey)

^b FEDERAL UNIVERSITY OF SANTA CATARINA   (Brazil)

Author keywords

Abstraction; large scale systems; modular discrete event systems; supervisory control

Indexed keywords

ABSTRACTION; ABSTRACTION TECHNIQUES; LOCAL CONTROL; NON-BLOCKING; SUPERVISORY CONTROL; SYSTEM COMPONENTS; TECHNICAL NOTES;

DISCRETE EVENT SIMULATION; FLEXIBLE MANUFACTURING SYSTEMS;

ABSTRACTING;

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

References (21)

1. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed. New York: Springer, 2008.
2. M. H. de Queiroz and J. E. R. Cury, "Modular supervisory control of large scale discrete event systems," inWorkshop onDiscrete Event Systems, 2000.
3. L. Feng and W. Wonham, "On the computation of natural observers in discrete-event systems," Discrete Event Dynam. Syst.: Theory and Applic., vol. 20, no. 1, pp. 63-102, 2010.
4. 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.
5. H. Flordal, R.Malik, M. Fabian, and K. Åkesson, "Compositional synthesis of maximally permissive supervisors using supervision equivalence," Discrete Event Dynam. Syst., vol. 17, pp. 475-504, 2007. (Pubitemid 350074187)
6. R. C. Hill, J. E. R. Cury, M. H. de Queiroz, D. M. Tilbury, and S. Lafortune, "Multi-level hierarchical interface-based supervisory control," Automatica, vol. 46, pp. 1152-1164, 2010.
7. R. C. Hill and D.M. Tilbury, "Incremental hierarchical construction of modular supervisors for discrete-event systems," Int. J. Control, vol. 81, no. 9, pp. 1364-1381, 2008.
8. R. C. Hill, D. M. Tilbury, and S. Lafortune, "Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution," Discrete Event Dynam. Syst., vol. 20, pp. 139-185, 2010.
9. R. Leduc,M. Lawford, andW.Wonham, "Hierarchical interface-based supervisory control-part II: Parallel case," IEEE Trans. Autom. Control, vol. 50, no. 9, pp. 1336-1348, Sep. 2005.
10. libFAUDES, Libfaudes Software Library for Discrete Event Systems [Online]. Available: www.rt.eei.uni-erlangen.de/FGdes/faudes 2006-2012
11. P. Pena, J. Cury, R. Malik, and S. Lafortune, "Efficient computation of observer projections using op-verifiers," in Workshop on Discrete Event Syst., 2010, pp. 416-421.
12. P. Pena, J. Cury, and S. Lafortune, "Verification of nonconflict of supervisors using abstractions," IEEE Trans. Autom. Control, vol. 54, no. 12, pp. 2803-2815, Dec. 2009.
13. M. Queiroz, J. Cury, andW.Wonham, "Multitasking supervisory control of discrete-event systems," Discrete Event Dynam. Systems, vol. 15, pp. 375-395, 2005. (Pubitemid 41428106)
14. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987. (Pubitemid 17513624)
15. K. Schmidt and C. Breindl, "On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems," in Workshop on Discrete Event Systems, 2008, pp. 462-467.
16. K. Schmidt and C. Breindl, "Maximally permissive hierarchical control of decentralized discrete event systems," IEEE Trans. Autom. Control, vol. 56, no. 4, pp. 723-737, Apr. 2011.
17. 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.
18. R. Su and W. M. Wonham, "Supervisor reduction for discrete-event systems," Discrete Event Dynam. Syst., vol. 14, pp. 31-53, 2004.
19. R. Su, J. van Schuppen, and J. Rooda, "Aggregative synthesis of distributed supervisors based on automaton abstraction," IEEE Trans. Autom. Control, vol. 55, no. 7, pp. 1627-1640, Jul. 2010.
20. K. C. Wong and W. M. Wonham, "Hierarchical control of discrete-event systems," Discrete Event Dynam. Syst., vol. 6, pp. 241-273, 1996. (Pubitemid 126709720)
21. W. M.Wonham, Supervisory Control of Discrete-Event Systems 2010, Lecture Notes Dept. Elect. and Comput. Eng., University of Toronto. Toronto, ON, Canada.