Finite State Machine

A finite state machine is a model of a reactive system. The model defines a finite set of states and behaviors and how the system transitions from one state to another when certain conditions are true.

Finite state machines are used to model complex logic in dynamic systems, from automatic transmissions to robotic systems to mobile phones. Examples of this complex logic include:

• Scheduling a sequence of tasks or steps for a system
• Defining fault detection, isolation, and recovery logic
• Supervising how to switch between different modes of operation

You can model finite state machines with Stateflow software and integrate them into a Simulink model. These finite state machines are represented by state charts, which provide additional capabilities beyond traditional finite state machines, including:

• Modeling hierarchical states for large-scale systems
• Adding flow graphs to define complex decision logic
• Defining orthognal states to represent systems with parallelism

Stateflow for Controls Applications 22:01