Solving two supervisory control benchmark problems using supremica

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

Volumn , Issue , 2008, Pages 131-136

  Miremadi, Sajed ^a   Åkesson, Knut ^a   Fabian, Martin ^a   Vahidi, Arash ^a   Lennartson, Bengt ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; BINARY DECISION DIAGRAMS; DATA STRUCTURES; FILE ORGANIZATION; FINITE AUTOMATA; PHILOSOPHICAL ASPECTS; SCADA SYSTEMS; SPECIFICATIONS; STATE SPACE METHODS; TECHNICAL PRESENTATIONS;

BENCH-MARK PROBLEMS; BINARY DECISION; CLASSICAL PROBLEMS; CLOSED-LOOP BEHAVIOR; CONTROL FUNCTIONS; DINING PHILOSOPHERS; DISCRETE EVENT SYSTEMS; DISCRETE-EVENT CONTROL; DISCRETE-EVENT MODELING; FORMAL SYNTHESIS; FORMAL VERIFICATIONS; LARGE-SCALE PROBLEMS; MODELING FRAMEWORK; PARAMETERIZED; PROBLEM INSTANCES; SUPERVISORY CONTROL;

PROBLEM SOLVING;

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

References (14)

1. S. B. Akers, "Binary decision diagrams," IEEE Trans. Comput., vol. 27, pp. 509-516, Jun. 1978.
2. F. A. Aloul, I. L. Markov, and K. A. Sakallah, "Force: a fast and easy-to-implement variable-ordering heuristic," in ACM Great Lakes Symposium on VLSI, 2003, pp. 116-119.
3. R. Bryant, "Graph-based algorithms for boolean function manipulation," IEEE Transactions on Computers, vol. 35, no. 8, pp. 677-691, 1986.
4. M. Byröd, B. Lennartson, A. Vahidi, and K. Akesson, "Efficient reachability analysis on modular discrete-event systems using binary decision diagrams," in Proc. 8th Int. Workshop Discrete Event Systems, WODES '06, Ann Arbor, MI, USA, Jul. 2006, pp. 288-293.
5. C. A. R. Hoare, Communicating sequential processes, ser. Series in Computer Science. Prentice-Hall, 1985.
6. K. Akesson, M. Fabian, H. Flordal, and R. Malik, "Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems," in Proc. 8th Int. Workshop Discrete Event Systems, WODES '06, Jul. 2006, pp. 384-5.
7. KorSys homepage, KorSys, Techniche Universität München. [Online]. Available: http://www4.in.tum.de/proj/korsys/
8. P. Ramadge and W. Wonham, "Supervisory control of a class of discrete event processes," Siam J. Control and Optimization, vol. 25, no. 1, 1987. [Online]. Available: http://locus.siam.org/SICON/ volume-25/art\_0325013.html
9. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event systems," SIAM J. Control and Optimization, vol. 25, no. 1, pp. 206-230, 1987.
10. "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
11. K.-T. Seow, C. Ma, and M. Yokoo, "Multiagent planning as control synthesis," in AAMAS'04, New York, USA, July 2004.
12. "Supremica." [Online]. Available: http://www.supremica.org
13. A. Vahidi, "Efficient analysis of discrete event systems," Ph.D. dissertation, Dept. Signals and Systems, Chalmers Univ. Technol., Göteborg, Sweden, 2004.
14. A. Vahidi, M. Fabian, and B. Lennartson, "Efficient supervisory synthesis of large systems," Control Eng. Practice, vol. 14, no. 10, pp. 1157-1167, Oct. 2006.