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

An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an action function that updates automata variables. Supremica uses two main approaches to handle large state-spaces. The first approach exploits modularity in order to divide the original problem into many smaller problems that together solve the original problem. The second approach uses an efficient data structure, a binary decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated in the environment. It is also possible to generate code that implements the behavior of the model using both the IEC 61131 and the IEC 61499 standard

[1]  M. Fabian,et al.  Scheduling of discrete event systems using mixed integer linear programming , 2006, 2006 8th International Workshop on Discrete Event Systems.

[2]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[3]  Martin Fabian,et al.  Scheduling algorithms for optimal robot cell coordination - a comparison , 2006, 2006 IEEE International Conference on Automation Science and Engineering.

[4]  Kristin Andersson.  Hierarchical Control and Restart of Flexible Manufacturing Systems , 2006 .

[5]  Bengt Lennartson,et al.  Implementation of full synchronous composition using IEC 61499 function blocks , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[6]  Knut Åkesson,et al.  Exploiting Modularity for Synthesis and Verification of Supervisors , 2002 .

[7]  Knut Åkesson,et al.  Hybrid computer-human supervision of discrete event systems , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[8]  Knut Åkesson.  Methods and Tools in Supervisory Control Theory: Operator Aspects, Computational Efficiency, and Applications , 2002 .

[9]  Knut Åkesson,et al.  Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors , 2003 .

[10]  Knut Åkesson,et al.  Automatic Implementation and Verification of Coordinating PLC-Code for Robot Cells , 2004 .

[11]  B. Lennartson,et al.  Automatic scheduling and verification of the control function of flexible assembly cells in an information reuse environment , 2005, (ISATP 2005). The 6th IEEE International Symposium on Assembly and Task Planning: From Nano to Macro Assembly and Manufacturing, 2005..

[12]  Goran Cengic,et al.  Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[13]  H. Flordal,et al.  Supervision equivalence [supervisor synthesis] , 2006, 2006 8th International Workshop on Discrete Event Systems.

[14]  Arash Vahidi,et al.  Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams , 2004 .

[15]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[16]  M. Fabian,et al.  Supervision of multiple industrial robots: optimal and collision free work cycles , 2004, Proceedings of the 2004 IEEE International Conference on Control Applications, 2004..

[17]  B. Lennartson,et al.  Efficient reachability analysis on modular discrete-event systems using binary decision diagrams , 2006, 2006 8th International Workshop on Discrete Event Systems.

[18]  M. Fabian,et al.  Implementing supervisory control for chemical batch processes , 1999, Proceedings of the 1999 IEEE International Conference on Control Applications (Cat. No.99CH36328).

[19]  R. Malik,et al.  Modular nonblocking verification using conflict equivalence , 2006, 2006 8th International Workshop on Discrete Event Systems.