State Machines

Chapter State Machines It contains tools for modeling discrete systems with logic of transitions between states. Finite automata are a common approach in control systems and the study of multi–agent systems. Thanks to finite automata, you can explore the interaction of systems and debug cyclograms without leaving a convenient graphical representation.

The components of the finite state machine are available inside the block Chart therefore, when working in the finite state machine editor, the library composition adjusts accordingly.

First steps in finite automata
The logic of finite automata operation
Elements
Types of finite automata
- State Machines
- Transition graphs
Formal verification in Engee