Stateflow
Page Module:Infobox/styles.css has no content.
| Script error: No such module "If empty". | |
|---|---|
| Lua error in package.lua at line 80: module 'Module:InfoboxImage/data' not found. Control logic for an automatic transmission system | |
| [[Programmer|DeveloperTemplate:Pluralize from text]] | MathWorks |
| Written in | Script error: No such module "If empty". |
| Engine | Page Template:Plainlist/styles.css has no content.Script error: No such module "Check for unknown parameters".Template:EditAtWikidata |
| Operating system | Script error: No such module "If empty". |
| Platform | x64 |
| Type | Application software |
| License | Proprietary |
| Website | Stateflow product page |
| Repository | Page Template:Plainlist/styles.css has no content.
|
Script error: No such module "Check for unknown parameters".Script error: No such module "Check for conflicting parameters".
Stateflow (developed by MathWorks) is a control logic tool used to model reactive systems via state machines and flow charts 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.[1][2] Stateflow also provides state transition tables and truth tables.
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][4]
Specific applications for Stateflow include:
- Mode logic, where each discrete mode of a system is represented by a state[5]
- Fault management, where the Stateflow chart is used to control how the system responds to faults and failures within a system[6]
- 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[7]
Extensions
A number of MathWorks and third-party tools can be used with Stateflow to validate the design and generate code. For example, Simulink Verification and Validation, a MathWorks tool, can be used to check for requirements traceability and model coverage analysis. Other add-on code generation tools can be used to automatically generate C, C++, HDL, and PLC code for implementation on embedded systems.
References
Page Template:Reflist/styles.css has no content.
- ↑ MATLAB Tech Talks on the basics and usage of state machines
- ↑ Simulation of Hybrid Systems Using Stateflow
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Orion GN&C MATLAB/Simulink/Stateflow Standards
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Requirements-Based Testing in Aircraft Control Design
- ↑ Embedded Coder Robot NXT Modeling Tips
Script error: No such module "Check for unknown parameters".
