Syntax for States and Transitions

Express chart behavior by using actions and conditions

Control the execution of your Stateflow^® chart by specifying when transitions between states occur and when actions are executed. Synchronize state execution by broadcasting events. Detect changes in data values and check which states are active during chart execution.

Blocks

Chart

Implement control logic with finite state machine

Stateflow Syntax

expand all

Syntax

Self-Loop Transitions

Connective Junctions

History Junctions

Operators

Change Detection

hasChanged	Detect change in data since last time step
hasChangedFrom	Detect change in data from specified value
hasChangedTo	Detect change in data to specified value

Temporal Logic

after	Control chart execution with the after operator
at	Control chart execution with the at operator
before	Control chart execution with the before operator
count	Control chart execution with the count operator
duration	Control chart execution with the duration operator
elapsed	Control chart execution with the elapsed operator
every	Control chart execution with the every operator
temporalCount	Control chart execution with the temporalCount operator

Topics

State Action Types

Specify actions to execute when states are active.

Transition Action Types

Add triggers, conditions, and actions to transitions.

Eliminate Redundant Code by Combining State Actions

Combine entry, during, and exit actions in a state.

Control Function-Call Subsystems by Using bind Actions

Bind a function-call output event to the activity of a state.

Supported Operations for Chart Data

Perform mathematical computations in Stateflow charts.

Supported Symbols in Actions

Special symbols available for state and transition actions.

Call Extrinsic MATLAB Functions in Stateflow Charts

Access MATLAB^® functions that are not supported for code generation.

Access MATLAB Functions and Workspace Data in C Charts

Call built-in MATLAB functions by using the ml operator.

Call C Library Functions in C Charts

Access C functions in state and transition labels.

Check State Activity by Using the in Operator

Determine if a state is active during chart execution.

Detect Changes in Data Values

Define chart behavior when data changes value.

Control Chart Execution by Using Temporal Logic

Use event-based and absolute-time temporal logic operators.

Define Chart Behavior by Using Implicit Events

Trigger chart actions by changes in data values and state activity.

Control Oscillations by Using the duration Operator

Simplify debouncing logic in charts that have transient signals.

Count Events by Using the temporalCount Operator

Count occurrences of explicit and implicit events.

Related Information

Modeling an Automatic Transmission Controller (Simulink)

Featured Examples

Bang-Bang Control Using Temporal Logic

Use Stateflow® to model a bang-bang control system that regulates the temperature of a boiler. The boiler dynamics are modeled in Simulink® in a boiler plant model.

Open Model

Implement an Automatic Transmission Gear System by Using the duration Operator

Models an automotive transmission system by using the Stateflow® duration operator to automatically shift gears based on the vehicle's throttle requirements and speed. For more information, see Operators for Absolute-Time Temporal Logic.

Open Model

Model a Fitness Watcher

A simple model of a fitness watcher implemented by using the duration operator in Stateflow®. This example also demonstrates a workflow for building a Simulink® model that can interact with a user interface that was designed using the MATLAB® App Designer.

Open Model

Modeling a Power Window Controller

Model an automotive passenger power window system using Model-Based Design with Simulink®, Stateflow®, Fixed-Point Designer™ and DSP System Toolbox™. The Control System design meets a set of requirements.

Open Model

Tetris

A re-visit of the classic tetris game which has been shipping with Stateflow® to use some of the more modern programming paradigms and features. It shows the use of the hasChanged functional operator to query changes in the value of inputs, MATLAB® function to abstract algorithmic sub-components and some useful semantic abstractions such as hierarchical states and inner transitions.

Open Model