Modular supervisory control and coordination of state tree structures

International Journal of Control

Volumn 86, Issue 1, 2013, Pages 9-21

  Chao, Wujie ^a   Gan, Yongmei ^a   Wang, Zhaoan ^a   Wonham, W M ^b  

^a XI'AN JIAOTONG UNIVERSITY   (China)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

coordinator; discrete event systems; modular supervisory control; nonblocking; optimal; state tree structures

Indexed keywords

COORDINATOR; MODULAR SUPERVISORY CONTROL; NON-BLOCKING; OPTIMAL; TREE STRUCTURES;

DISCRETE EVENT SIMULATION; FORESTRY; SPECIFICATIONS; STATE FEEDBACK; TREES (MATHEMATICS);

OPTIMIZATION;

ALGORITHMS; CONTROL SYSTEMS; FORESTRY; OPTIMIZATION; SPECIFICATIONS;

EID: 84871463248     PISSN: 00207179     EISSN: 13665820     Source Type: Journal    
DOI: 10.1080/00207179.2012.715754     Document Type: Article

References (29)

1. Akers, S.B. (1978), 'Binary Decision Diagram', IEEE Transactions on Computers, C-27, 6, 509-516.
2. Bryant, R.E. (1986), 'Graph-based Algorithms for Boolean Function Manipulation', IEEE Transactions on Computers, 35, 677-691.
3. Cai, K. (2008), 'Supervisor Localization: A Top-down Approach to Distributed Control of Discrete-event Systems', Unpublished Master's thesis, University of Toronto, Electrical and Computer Engineering.
4. Cai, K., and Wonham, W.M. (2010a), 'Supervisor Localization: A Top-down Approach to Distributed Control of Discrete-event Systems', IEEE Transactions on Automatic Control, 55, 605-618.
5. Cai, K., and Wonham, W.M. (2010b), 'Supervisor Localization for Large-scale Discrete-event Systems-case Study Production Cell', International Journal of Advanced Manufacturing Technology, 50, 1189-1202.
6. Feng, L., Cai, K., and Wonham, W.M. (2009), 'A Structural Approach to the Nonblocking Supervisory Control of Discrete-event Systems', International Journal of Advanced Manufacturing Technology, 41, 1152-1167.
7. Feng, L., and Wonham, W.M. (2008), 'Supervisory Control Architecture for Discrete-event Systems', IEEE Transactions on Automatic Control, 53, 1449-1461.
8. Harel, D. (1987), 'Statecharts: A Visual Formalism for Complex Systems', Sciences of Computer Programming, 8, 231-274. (Pubitemid 17617706)
9. Kumar, R., Garg, V., and Marcus, S.I. (1993), 'Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems', IEEE Transactions on Automatic Control, 38, 232-247.
10. Li, Y., and Wonham, W.M. (1988), 'Controllability and Observability in the State-feedback Control of Discreteevent Systems', in Proceedings of the 27th Conference on Decision and Control, Austin, TX, December 1988, pp. 203-208.
11. Li, Z.W., Zhou, M.C., and Wu, N.Q. (2008), 'A Survey and Comparison of Petri Net-based Deadlock Prevention Policies for Flexible Manufacturing Systems', IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 28, 173-188. (Pubitemid 351404113)
12. Lin, F., and Wonham, W.M. (1990), 'Decentralised Control and Coordination of Discrete-event Systems with Partial Observation', IEEE Transactions on Automatic Control, 35, 1330-1337.
13. Lyngbak, K. (2011), 'Nonblocking Distributed State Tree Structures', Unpublished Master of Science thesis, Delft University of Technology, Department of Software Technology.
14. Ma, C. (2012), 'Design Software: STSLib', http://github. com/chuanma/STSLib (accessed May 2012).
15. Ma, C., and Wonham, W.M. (2005a), Nonblocking Supervisory Control of State Tree Structures, Berlin, Germany: Springer-Verlag.
16. Ma, C., and Wonham, W.M. (2005b), 'A Symbolic Approach to the Supervision of State Tree Structures', in Proceedings of the 13th Mediterranean Conference on Control and Automation, Limassol, Cyprus, June 2005, pp. 908-913. (Pubitemid 43904015)
17. Ma, C., and Wonham, W.M. (2006), 'Nonblocking Supervisory Control of State Tree Structures', IEEE Transaction on Automatic Control, 51, 782-793. (Pubitemid 43792639)
18. Ma, C., and Wonham, W.M. (2008), 'STSLib and its Application to Two Benchmarks', in Proceedings of the 9th International Workshop on Discrete Event Systems, Goteborg, Sweden, May 2008, pp. 119-124.
19. Park, S.J., and Cho, K.H. (2011), 'Modular Nonblocking State Feedback Control of Discrete Event Systems and Its Application to Dynamic Oligopolistic Markets', International Journal of Control, 84, 2046-2057.
20. Ramadge, P.J., and Wonham, W.M. (1987a), 'Supervisory Control of a Class of Discrete Event Processes', SIAM Journal of Control Optimization, 25, 206-230. (Pubitemid 17513624)
21. Ramadge, P.J., and Wonham, W.M. (1987b), 'Modular Feedback Logic for Discrete Event Systems', SIAM Journal of Control Optimization, 25, 1202-1218.
22. Saadatpoor, A., Ma, C., and Wonham, W.M. (2008), 'Supervisory Control of Timed State Tree Structures', in 2008 American Control Conference, Seattle, Washington, USA, June 2008, pp. 477-482.
23. Su, R., Schuppen, J.H., and Rooda, J.E. (2009), 'Synthesize Nonblocking Distributed Supervisors with Coordinators', in Proceedings of the 17th Mediterranean Conference on Control and Automation, Thessaloniki, June 2009, pp. 1108-1113.
24. Takai, S., and Kodama, S. (1994), 'Decentralised State Feedback Control of Discrete Event Systems', Systems and Control Letters, 22, 369-375.
25. Ushio, T., Li, Y., and Wonham, W.M. (1992), 'Concurrency and State Feedback in Discrete-event Systems', IEEE Transactions on Automatic Control, 37, 1180-1184.
26. Wonham, W.M. (2012a), Supervisory Control of Discreteevent Systems, http://www.control.utoronto.ca/wonham/, (accessed May 2012).
27. Wonham, W.M. (2012b), Design Software: XPTCT, http://www.control. utoronto.ca/wonham/, (accessed May 2012).
28. Wonham, W.M., and Ramadge, P.J. (1987), 'On the Supremal Controllable Sublanguage of a Given Language', SIAM Journal of Control Optimization, 25, 637-659. (Pubitemid 17585880)
29. Wonham, W.M., and Ramadge, P.J. (1988), 'Modular Supervisory Control of Discrete-event Systems', Mathematics of Control, Signals, and Systems, 1, 12-30.