Distributed extended finite-state machines: Communication and control

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 161-167

  Mannani, A ^a   Yang, Y ^a   Gohari, P ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DECENTRALIZED CONTROL; EMBEDDED SYSTEMS; INTEGRATED CONTROL; SPECIFICATIONS;

BOOLEAN VARIABLES; DECENTRALIZED SUPERVISORY CONTROL;

FINITE AUTOMATA;

EID: 34250753485     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2006.1678425     Document Type: Conference Paper

References (17)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control and Optimization, vol. 25, no. 1, pp. 206-230, 1987.
2. K. Rudie and W. M. Wonham, "Think globally, act locally: Decentralized supervisory control," IEEE Trans. Automat. Contr., vol. 37, no. 11, November 1992.
3. T.-S. Yoo and S. Lafortune, "A general architecture for decentralized supervisory control of discrete-event systems," Discrete Event Dynamic Systems: Theory and Applications, vol. 12, pp. 335-377, 2002.
4. S. Takai, R. Kumar, and T. Ushio, "Characterization of co-observable languages and formulas for their super/sublanguages," IEEE Trans. Automat. Contr., vol. 50, pp. 434-447, Apr. 2005.
5. D. Teneketzis, "On information structures and nonsequential stochastic control," CWI Quarterly, vol. 10, no. 2, pp. 179-199, 1997.
6. J. H. van Schuppen, "Decentralized control with communication between controllers," in Unsolved Problems in Mathematical Systems and Control Theory, V. D. Blondel and A. Megretski, Eds. Princeton, USA: Princeton University Press, 2004.
7. K. C. Wong and J. H. van Schuppen, "Decentralized supervisory control of discrete-event systems with communication," in Proc. Workshop on Discrete-Event Systems (WODES'96), Edinburgh, UK, Aug 1996, pp. 284-289.
8. J. H. van Schuppen, "Decentralized supervisory control with information structures," in Proc. Workshop on Discrete-Event Systems (WODES'98), Cagliari, Italy, Aug 1998, pp. 36-41.
9. G. Barrett and S. Lafortune, "Decentralized supervisory control with communicating controllers," IEEE Trans. Automat. Contr., vol. 45, pp. 1620-1638, Sept. 2000.
10. S. L. Ricker and K. Rudie, "Incorporating communication and knowledge into decentralized discrete-event systems," in Proc. IEEE Conference on Decision and Control (CDC'99), Phoenix, USA, Dec. 1999, pp. 1326-1332.
11. K. Rudie, S. Lafortune, and F. Lin, "Minimal communication in a distributed discrete-event system," IEEE Trans. Automat. Contr., vol. 48, pp. 957-975, June 2003.
12. S. Tripakis, "Decentralized control of discrete-event systems with bounded or unbounded delay communication," IEEE Trans. Automat. Contr., vol. 49, pp. 1489-1501, Sept. 2004.
13. _, "Decentralized observation problems," in Proc. IEEE Conference on Decision and Control-European Control Conference (CDC-ECC'05), Dec. 2005.
14. Y. Yang and P. Gohari, "Embedded supervisory control of discrete-event systems," in IEEE Conference on Automation Science and Engineering (ASE), August 2005, pp. 410-415.
15. P. Gohari, "Alternating bit protocol: A supervisory control perspective," in Decentralized Discrete Event Systems: Structure, Communication and Control, B. I. R. Station, Ed., May 2004, pp. 975-980.
16. S. Tripakis, "Undecidable problems of decentralized observation and control," in Proc. IEEE Conference on Decision and Control (CDC'01), Dec. 2001.
17. _, "Distributed observation problems," VERIMAG, Centre Equation, 38610 Gières, France, Tech. Rep. 2004-14, Feb. 2005.