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

References in zbMATH (referenced in 15 articles )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Malik, Robi; Teixeira, Marcelo: Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (2020)
  2. Malik, Robi; Ware, Simon: On the computation of counterexamples in compositional nonblocking verification (2020)
  3. Reijnen, Ferdie F. H.; Goorden, Martijn A.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E.: Modeling for supervisor synthesis -- a lock-bridge combination case study (2020)
  4. Hagebring, Fredrik; Lennartson, Bengt: Time-optimal control of large-scale systems of systems using compositional optimization (2019)
  5. Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo: A verification-driven framework for iterative design of controllers (2019)
  6. Wang, Xi; Li, Zhiwu; Moor, Thomas: SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (2019)
  7. Su, Rong; Wonham, W. Murray: What information really matters in supervisor reduction? (2018)
  8. Mohajerani, Sahar; Malik, Robi; Fabian, Martin: Compositional synthesis of supervisors in the form of state machines and state maps (2017)
  9. Mohajerani, Sahar; Malik, Robi; Fabian, Martin: A framework for compositional nonblocking verification of extended finite-state machines (2016)
  10. Cury, José E. R.; de Queiroz, Max Hering; Bouzon, Gustavo; Teixeira, Marcelo: Supervisory control of discrete event systems with distinguishers (2015)
  11. Malik, Robi; Leduc, Ryan: Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder (2015)
  12. Markovski, Jasen: Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (2015)
  13. Mohajerani, Sahar; Malik, Robi; Fabian, Martin: A framework for compositional synthesis of modular nonblocking supervisors (2014)
  14. Ware, Simon; Malik, Robi: Conflict-preserving abstraction of discrete event systems using annotated automata (2012)
  15. Kobetski, Avenir; Fabian, Martin: Time-optimal coordination of flexible manufacturing systems using deterministic finite automata and mixed integer linear programming (2009)