Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems

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

Volumn , Issue , 2006, Pages 384-385

  Åkesson, Knut ^a   Fabian, Martin ^a   Flordal, Hugo ^a   Malik, Robi ^b  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

^b UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; BINARY DECISION DIAGRAMS; COMPUTATIONAL METHODS; FINITE AUTOMATA; STATE SPACE METHODS; VERIFICATION;

AUTOMATA VARIABLES; MODULARITY;

DISCRETE EVENT SIMULATION;

EID: 34250645693     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/wodes.2006.382401     Document Type: Conference Paper

References (23)

1. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. of IEEE, vol. 77, no. 1, pp. 81-98, 1989.
2. W.M. Wonham, "Supervisory control of discrete event systems," Department of Electrical and Computer Engineering, University of Toronto, Tech. Rep., 2005.
3. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Kluwer Academic Publishers, Sept. 1999.
4. "Supremica." [Online]. Available: http://www.supremica.org
5. K. Åkesson, M. Fabian, H. Flordal, and A. Vahidi, "Supremica - a tool for verification and synthesis of discrete event supervisors," in Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece, 2003.
6. K. Åkesson, "Methods and tools in supervisory control theory: Operator aspects, computation efficiency and applications," Ph.D. dissertation, Chalmers University of Technology, Göteborg, Sweden, 2002.
7. K. Åkesson, H. Flordal, and M. Fabian, "Exploiting modularity for synthesis and verification of supervisors," in Proc. of the 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, Spain, July 2002.
8. H. Flordal, M. Fabian, and K. Åkesson, "Heuristics for verification and synthesis of mutually nonblocking discrete event systems," Department of Signals and Systems, Chalmers University of Technology, Tech. Rep. R012/2004, 2004.
9. H. Flordal and R. Malik, "Modular nonblocking verification using conflict equivalence," in Proc. 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, Michigan, USA, 2006.
10. _, "Supervision equivalence," in Proc. 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, Michigan, USA, 2006.
11. A. Vahidi, "Efficient analysis of discrete event systems," Ph.D. dissertation, Department of Signals and Systems, Chalmers University of Technology, Göteborg, Sweden, 2004.
12. M. Byröd, B. Lennartson, A. Vahidi, and K. Åkesson, "Efficient reachability analysis on modular discrete-event systems using binary decision diagrams," in Proc. 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, Michigan, USA, 2006.
13. H. Flordal, D. Spensieri, K. Åkesson, and M. Fabian, "Supervision of multiple industrial robots - optimal and collision free work cycles," in Proceedings of the IEEE Conference on Control Applications, Taipei, Taiwan, sep 2004.
14. A. Kobetski and M. Fabian, "Scheduling of discrete event systems using mixed integer linear programming," in Proc. 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, Michigan, USA, 2006.
15. A. Kobetski, D. Spensieri, and M. Fabian, "Scheduling algorithms for optimal robot cell coordination - a comparison," submitted to the 2006 IEEE Conference on Automation Science and Engineering, Shanghai, China.
16. G. Cengic, K. Åkesson, B. Lennartson, C. Yuan, and P. Ferreira, "Implementation of full synchronous composition using IEC 61499 function blocks," in Proc. of 2005 IEEE Conference on Automation Science and Engineering, Edmonton, Canada, 2005, pp. 267-272.
17. "Fuber - IEC 61499 Function Block Execution Runtime." [Online]. Available: http://sourceforge.net/projects/fuber
18. G. Čengić, O. Ljungkrantz, and K. Åkesson, "Formal modeling of function block applications running in IEC 61499 execution runtime," submitted to the 2006 IEEE Conference on Emerging Technologies and Factory Automation, Prague, Czech Republic.
19. K. Åkesson and M. Fabian, "Implementing supervisory control for chemical batch processes," in Proc. of the 1999 IEEE Int. Conf. on Control Applications, Hawai'i, USA, 1999, pp. 1272-1277.
20. H. Flordal, M. Fabian, and K. Åkesson, "Automatic implementation and verification of coordinating PLC-code for robot cells," in Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil, apr 2004.
21. K. Åkesson, S. Jain, and P. Ferreira, "Hybrid computer-human supervision of discrete event systems," in Proc. of the 2002 IEEE International Conference on Robotics and Automation, Washington, DC, 2002, pp. 2321-2326.
22. K. Danielsson, J. Richardsson, B. Lennartson, and M. Fabian, "Automatic scheduling and verification of the control function of flexible assembly cells in an information reuse environment," in 6th IEEE International Symp. on Assembly and Task Planning, Montreal, Canada, July 2005, pp. 80-85.
23. K. Andersson, "Hierarchical control and restart of flexible manufacturing systems," Licentiate thesis, Department of Signals and Systems, Chalmers University of Technology, Göteborg, Sweden, 2006.