Stateflow
 Control logic for an automatic transmission system |
|
| Developer(s) | MathWorks |
|---|---|
| Stable release | R2011a / April 7, 2011 |
| Operating system | Cross-platform[1] |
| License | Proprietary |
| Website | Stateflow product page |
Stateflow, developed by MathWorks, is a control logic tool used to model reactive systems via state charts and flow diagrams within a Simulink model. Stateflow uses a variant of the finite-state machine notation established by David Harel, enabling the representation of hierarchy, parallelism and history within a state chart.[2]
[edit] Common Uses
Stateflow is generally used to specify the discrete controller in the model of a hybrid system where the continuous dynamics (i.e., the behavior of the plant and environment) are specified using Simulink.[3]
Specific applications for Stateflow include:
- Mode logic, where each discrete mode of a system is represented by a state[4]
- Fault management, where the Stateflow chart is used to control how the system responds to faults and failures within a system[5]
- Task scheduling, where the Stateflow chart is used to schedule when specific tasks occur, either within the Stateflow chart or within the overall Simulink model[6]
[edit] Extensions
Stateflow can be used with other products to extend its capabilities beyond modeling and simulation. For example, using add-on code generation products, a Stateflow user can automatically generate C, HDL, and PLC code from a Stateflow chart.
