STSLib and its application to two benchmarks

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 119-124

  Ma, Chuan ^a   Wonham, W M ^b  

^a MCMASTER UNIVERSITY   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Cat and mouse tower; Dining philosophers; State tree structure (STS); Symbolic computation

Indexed keywords

CONTROL THEORY; PHILOSOPHICAL ASPECTS; TECHNICAL PRESENTATIONS; TREES (MATHEMATICS);

CAT AND MOUSE TOWER; DINING PHILOSOPHERS; STATE TREE STRUCTURE (STS); SYMBOLIC COMPUTATION;

BENCHMARKING;

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

References (9)

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. 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(5), pp. 643-652, 2000.
3. C. Ma and W. M. Wonham, Nonblocking Supervisory Control of State Tree. Structures, ser. LNCIS. Berlin Heidelberg: Springer-Verlag, 2005, vol. 317, ISBN 3-540-25069-7.
4. -, "Nonblocking supervisory control of state tree structures," IEEE Transactions on Automatic Control, vol. 51, no. 5, pp. 782-793, May 2006.
5. D. Harel, "Statecharts: A visual formalism for complex systems," Science of Computer Programming, vol. 8, pp. 231-274, June 1987.
6. R. Bryant, "Graph-based algorithms for boolean function manipulation," IEEE Transactions on Computers, vol. 35, no. 8, pp. 677-691, August 1986.
7. W. M. Wonham, Supervisory Control of Discrete-Event Systems. Department of Electrical and Computer Engineering, University of Toronto http://www.control.utoronto.ca/DES, updated 2007.07.01.
8. J. Lind-Nielsen, BuDDy: Binary Decision Diagram package. IT-University of Copenhagen (ITU) http://www.it-c.dk/research/buddy/.
9. W. M. Wonham and P. J. Ramadge, "On the supremal controllable sublanguage of a given language," in Proceedings of 23rd Conference on Decision and Control, Las Vegas, NV, 1984.