Modular supervisory control and coordination of state tree structures

References

• Akers , SB . 1978 . Binary Decision Diagram . IEEE Transactions on Computers , C-27, 6 : 509 – 516 .
   Google Scholar
• Bryant , RE . 1986 . Graph-based Algorithms for Boolean Function Manipulation . IEEE Transactions on Computers , 35 : 677 – 691 .
   Web of Science ®Google Scholar
• 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
   Google Scholar
• Cai , K and Wonham , WM . 2010a . Supervisor Localization: A Top-down Approach to Distributed Control of Discrete-event Systems . IEEE Transactions on Automatic Control , 55 : 605 – 618 .
   Web of Science ®Google Scholar
• Cai , K and Wonham , WM . 2010b . Supervisor Localization for Large-scale Discrete-event Systems-case Study Production Cell . International Journal of Advanced Manufacturing Technology , 50 : 1189 – 1202 .
   Web of Science ®Google Scholar
• Feng , L , Cai , K and Wonham , WM . 2009 . A Structural Approach to the Nonblocking Supervisory Control of Discrete-event Systems . International Journal of Advanced Manufacturing Technology , 41 : 1152 – 1167 .
   Web of Science ®Google Scholar
• Feng , L and Wonham , WM . 2008 . Supervisory Control Architecture for Discrete-event Systems . IEEE Transactions on Automatic Control , 53 : 1449 – 1461 .
   Web of Science ®Google Scholar
• Harel , D . 1987 . Statecharts: A Visual Formalism for Complex Systems . Sciences of Computer Programming , 8 : 231 – 274 .
   Web of Science ®Google Scholar
• Kumar , R , Garg , V and Marcus , SI . 1993 . Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems . IEEE Transactions on Automatic Control , 38 : 232 – 247 .
   Web of Science ®Google Scholar
• Li , Y and Wonham , WM . 1988 . Controllability and Observability in the State-feedback Control of Discrete-event Systems . Proceedings of the 27th Conference on Decision and Control . December 1988 1988 . pp. 203 – 208 . Austin , , TX
   Google Scholar
• Li , ZW , Zhou , MC and Wu , NQ . 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 .
   Google Scholar
• Lin , F and Wonham , WM . 1990 . Decentralised Control and Coordination of Discrete-event Systems with Partial Observation . IEEE Transactions on Automatic Control , 35 : 1330 – 1337 .
   Web of Science ®Google Scholar
• Lyngbak , K . (2011), ‘Nonblocking Distributed State Tree Structures’, Unpublished Master of Science thesis, Delft University of Technology, Department of Software Technology
   Google Scholar
• Ma , C . (2012), ‘Design Software: STSLib’, http://github.com/chuanma/STSLib (accessed May 2012)
   Google Scholar
• Ma , C and Wonham , WM . 2005a . Nonblocking Supervisory Control of State Tree Structures , Berlin, Germany : Springer-Verlag .
   Google Scholar
• Ma , C and Wonham , WM . 2005b . A Symbolic Approach to the Supervision of State Tree Structures . Proceedings of the 13th Mediterranean Conference on Control and Automation . 2005b . pp. 908 – 913 . Limassol , , Cyprus, June 2005
   Google Scholar
• Ma , C and Wonham , WM . 2006 . Nonblocking Supervisory Control of State Tree Structures . IEEE Transaction on Automatic Control , 51 : 782 – 793 .
   Web of Science ®Google Scholar
• 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
   Google Scholar
• Park , SJ and Cho , KH . 2011 . Modular Nonblocking State Feedback Control of Discrete Event Systems and Its Application to Dynamic Oligopolistic Markets . International Journal of Control , 84 : 2046 – 2057 .
   Web of Science ®Google Scholar
• Ramadge , PJ and Wonham , WM . 1987a . Supervisory Control of a Class of Discrete Event Processes . SIAM Journal of Control Optimization , 25 : 206 – 230 .
   Web of Science ®Google Scholar
• Ramadge , PJ and Wonham , WM . 1987b . Modular Feedback Logic for Discrete Event Systems . SIAM Journal of Control Optimization , 25 : 1202 – 1218 .
   Web of Science ®Google Scholar
• Saadatpoor , A , Ma , C and Wonham , WM . 2008 . Supervisory Control of Timed State Tree Structures . 2008 American Control Conference . June 2008 2008 . pp. 477 – 482 . Seattle, Washington , , USA
   Google Scholar
• Su , R , Schuppen , JH and Rooda , JE . 2009 . Synthesize Nonblocking Distributed Supervisors with Coordinators . Proceedings of the 17th Mediterranean Conference on Control and Automation . June 2009 2009 . pp. 1108 – 1113 . Thessaloniki
   Google Scholar
• Takai , S and Kodama , S . 1994 . Decentralised State Feedback Control of Discrete Event Systems . Systems and Control Letters , 22 : 369 – 375 .
   Web of Science ®Google Scholar
• Ushio , T , Li , Y and Wonham , WM . 1992 . Concurrency and State Feedback in Discrete-event Systems . IEEE Transactions on Automatic Control , 37 : 1180 – 1184 .
   Web of Science ®Google Scholar
• Wonham , WM . 2012a . Supervisory Control of Discrete-event Systems , http://www.control.utoronto.ca/~wonham/, (accessed May 2012)
   Google Scholar
• Wonham , WM . 2012b . Design Software: XPTCT , http://www.control.utoronto.ca/~wonham/, (accessed May 2012)
   Google Scholar
• Wonham , WM and Ramadge , PJ . 1987 . On the Supremal Controllable Sublanguage of a Given Language . SIAM Journal of Control Optimization , 25 : 637 – 659 .
   Web of Science ®Google Scholar
• Wonham , WM and Ramadge , PJ . 1988 . Modular Supervisory Control of Discrete-event Systems . Mathematics of Control, Signals, and Systems , 1 : 12 – 30 .
   Google Scholar