Hybridní systémy

In this course we will encounter a few more software packages but in this first learning block we will only lightly introduce two, both by The Mathworks:

• StateFlow – fnite state automata within Simulink. Can also model hybrid automata. A nice interactive tutorial is launched directly within Simulink upon entering learning.simulink.launchOnramp("stateflow") in Matlab. We will primarily use this tool in our course. It extends nicely to hybrid systems. 
• SimEvents – oriented towards one instance of the (state) automata, namely queuing systems. You may want to have a look at the series of introductory videos by the Mathworks. We will not particularly need it in our course.

Several tools are also available outside Matlab and Simulink:

Python

• SimPy – discrete-event simulation in Python.

Julia

• ConcurrentSim.jl – discrete-event simulation in Julia.
• DiscreteEvents.jl – discrete-event simulation in Julia.

(Open)Modelica

• Starting with Modelica 3.3, some support for state machines is now built into the language. It is already implemented in OpenModelica, see the example.

UPPAAL

• Dedicated software for timed automata. Not only modelling and simulation but also formal verification. Available at https://uppaal.org/.