Documents
Documents describing Supremica
- Malik, Åkesson, Flordal, Fabian – 2017 – Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
- Malik, Fabian, Åkesson – 2011 – Modelling Large-Scale Discrete-Event Systems Using Modules, Aliases, and Extended Finite-State Automata
- Akesson, Fabian, Flordal, Malik – 2008 – Supremica-An integrated environment for verification, synthesis, and simulation of discrete event systems
- Akesson, Fabian, Flordal – 2007 – Supremica in a nutshell
- Akesson, Fabian, Flordal, Vahidi – 2003 – Supremica – a tool for verification and synthesis of discrete event supervisors
- Akesson, Fabian, Flordal – 2007 – Formal Synthesis of Control Functions with Supremica
Documents describing applications of Supremica
- Kallil Zielinski, Marcelo Teixeira, Marcelo Teixeira, Richardson Ribeiro, Dalcimar Casanova – 2020 – Concept and the implementation of a tool to convert industry 4.0 environments modeled as FSM to an OpenAI Gym wrapper
- Daniel Bristot de Oliveira – 2020 – Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel
- Selvaraj, Ahrendt, Fabian – 2019 – Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
- Ramezani, Krook, Fei, Fabian, Åkesson – 2019 – Comparative Case Studies of Reactive Synthesis and Supervisory Control
- Rahmani, Donyanavard, Mück, Moazzemi, Jantsch, Mutlu, Dutt – 2018 – SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management
- Zita, Mohajerani, Fabian – 2017 – Application of Formal Verification to the Lane Change Module of an Autonomous Vehicle
- Krook, Zita, Kianfar, Mohajerani, Fabian – 2017 – Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle
Documents describing the algorithms of Supremica