A symbolic approach to the supervision of state tree structures

Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05

Volumn 2005, Issue , 2005, Pages 908-913

  Ma, Chuan ^a   Wonham, W M ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Discrete Event System; State Tree Structure; Supervisory Control Theory; Symbolic Computation

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; DECISION MAKING; MATHEMATICAL MODELS; PROBLEM SOLVING; TREES (MATHEMATICS);

BINARY DECISION DIAGRAMS; STATE TREE STRUCTURES (STS); SUPERVISORY CONTROL THEORY;

SCADA SYSTEMS;

EID: 33745198697     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/.2005.1467135     Document Type: Conference Paper

References (18)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Contr. Optim., vol. 25, no. 1, pp. 206-230, 1987.
2. W. Wonham and P. Ramadge, "On the supremal controllable sublanguage of a given language," SIAM J. Control Optim., vol. 25, no. 3, pp. 637-659, May 1987.
3. P. Gohari and W. M. Wonham, "On the complexity of supervisory control design in the RW framework," IEEE Transactions on Systems, Man and Cybernetics, vol. 30(5), pp. 643-652, 2000.
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," Master's thesis, Department of Electrical and Computer Engineering, Univ. 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 (WODES '98), IEE, 1998, pp. 207-212.
7. Y. Brave and M. Heymann, "Control of discrete event systems modeled as hierarchical state machines," IEEE Transactions on Automatic Control, vol. 38, no. 12, pp. 1803-1819, December 1993.
8. H. Marchand and B. Gaudin, "Supervisory control problems of hierarchical finite state machines," in Proc. 41st IEEE CDC, Las Vegas, Nevada USA, 2002, pp. 1199-1204.
9. C. Ma and W. M. Wonham, "Control of state tree strctures," in Proc. 11th Mediterranean Conference on Control and Automation, Rhodes, Greece, June, 2003, paper T4 - 005 (6 pp.).
10. R. Bryant, "Graph-based algorithms for boolean function manipulation," IEEE Transactions on Computers, vol. 35, no. 8, pp. 677-691, August 1986.
11. S. Balemi, G. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. on Automatic Control, vol. 38, no. 7, pp. 1040-1059, July 1993.
12. Z. Zhang and W. Wonham, "STCT: An efficient algorithm for supervisory control design," in Symposium on Supervisory Control of Discrete Event Systems (SCODES2001), Paris, July, 2001.
13. J. Gunnarsson, "Symbolic methods and tools for discrete event dynamic systems," Ph.D. dissertation, Linköping Studies in Science and Technology, 1997.
14. C. Ma, "Nonblocking supervisory control of state tree structures," Ph.D. dissertation, University of Toronto, Toronto, 2004.
15. S. Berezin, S. Campos, and E. M. Clarke, "Compositional reasoning in model checking," Lecture Notes in Computer Science, vol. 1536, pp. 81-102, Springer-Verlag, 1998.
16. W. M. Wonham, Supervisory Control of Discrete-Event Systems. Department of Electrical and Computer Engineering, University of Toronto http://www.control.utoronto.ca/DES, 2004.
17. B. Brandin and F. Charbonnier, "The supervisory control of the automated manufacturing system of the AIP," in Proc. Rensselaer's 1994 4th Intl. Conf. on Computer Integrated Manufacturing and Automation Technology, Troy, 1994, pp. 319-324.
18. R. Leduc, M. Lawford, and W. Wonham, "Hierarchical interface-based supervisory control: AIP example," in Proc. of the 39th Allerton Conf. on Comm., Contr., and Comp, October 3-5, 2001, pp. 396 - 405.