Supervisory control of timed state tree structures

Proceedings of the American Control Conference

Volumn , Issue , 2008, Pages 477-482

  Saadatpoor, A ^a   Ma, C ^a   Wonham, W M ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; NUCLEAR PROPULSION; SCADA SYSTEMS; STATE SPACE METHODS; TREES (MATHEMATICS);

NON-BLOCKING; NP-HARD; REASONABLE TIME; RECURSIVE ALGORITHMS; STATE EXPLOSIONS; STATE-SPACE EXPLOSION; SUPERVISORY CONTROL; SYSTEM COMPONENTS; TIMED DES; TREE STRUCTURES;

CONTROL SYSTEMS;

EID: 52449103925     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2008.4586537     Document Type: Conference Paper

References (13)

1. W. M. Wonham, "Supervisory Control of Discrete-Event Systems," Department of Electrical and Computer Engineering, University of Toronto, 2007, available at http://www.control.utoronto.ca/DES.
2. P. Gohari and W. M. Wonham, "On the complexity of supervisory control design in the RW framework," IEEE Transactions on Systems, Man and Cybernetics, Special Issue on DES, vol. 30, no. 5, pp. 643-652, 2000.
3. R. J. Leduc, M. Lawford, and W. M. Wonham, "Hierarchical Interface-based supervisory control: AIP example ," Proceedings of the 39th Annual Allerton Conference on Communication, Control, and Computing, pp. 396-405, 2001.
4. D. Harel, "Statecharts: A visual formalism for complex systems ," Science of Computer Programming, vol. 8, pp. 231-274, June 1987.
5. B. Wang, "Top-down design for RW supervisory control theory," MASc thesis, Department of Electrical and Computer Engineering, University of Toronto, 1995.
6. P. Gohari and W. M. Wonham, "A linguistic framework for controlled hierarchical DES," in 4th International Workshop on Discrete Event Systems, pp. 207-212, 1998.
7. C. Ma and W. M. Wonham, "Nonblocking supervisory control of state tree structures," IEEE Transactions on Automatic Control,, vol. 51, pp. 782-793, May 2006.
8. Y. Kesten and A. Pnueli, "Timed and Hybrid Statecharts and their Textual Representation," In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science. Springer Verlag, 1992.
9. B. Brandin and W. M. Wonham, "Supervisory control of timed discrete event systems," IEEE Transactions on Automatic Control, vol. 39, no. 2, pp. 329-342, 1994.
10. J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang, "Symbolic Model Checking: 1020 states and beyond," Information and Computation, vol. 98, pp. 142-170, June 1992.
11. R. E. Bryant, "Graph-based algorithms for boolean function manipulation," IEEE Transactions on Computers, vol. 12, no. 8, pp. 677-691, August 1986.
12. C. Ma and W. M. Wonham, "Nonblocking Supervisory Control of State Tree Structures," Berlin, Germany: Springer-Verlag, vol. 317, 2005, LNCIS.
13. A. Saadatpoor, "State-Based Control of Timed Discrete Event Systems using Binary Decision Diagrams," MASc thesis, Department of Electrical and Computer Engineering, University of Toronto, June 2004.