Complex Logic

Model complex logic using Stateflow^® diagrams

To model complex logic in a Simulink^® model, consider using Stateflow software.

Stateflow extends Simulink with a design environment for developing state transition diagrams and flow charts. Stateflow provides the language elements required to describe complex logic in a natural, readable, and understandable form. It is tightly integrated with MATLAB^® and Simulink products, providing an efficient environment for designing embedded systems that contain control, supervisory, and mode logic.

Topics

Model Finite State Machines (Stateflow)

Model dynamic systems as finite state machines in Stateflow.

Construct and Run a Stateflow Chart (Stateflow)

Build state transition diagrams in the Stateflow graphical programming editor.

Share Data with Simulink and the MATLAB Workspace (Stateflow)

Define data to share with Simulink models and the MATLAB base workspace.

Monitor State Activity Through Active State Data (Stateflow)

Automatically track which state is active during simulation.

Access Bus Signals Through Stateflow Structures (Stateflow)

Define Stateflow structures for input, output, and local access to bus signals.

Synchronize Model Components by Broadcasting Events (Stateflow)

Use events to communicate with Simulink and MATLAB.

Communicate with Stateflow Charts by Sending Messages (Stateflow)

Synchronize model components and share data by sending messages between Stateflow charts.

Related Information

Getting Started with Stateflow

Featured Examples

Model a Power Window Controller

Design an automotive power window system by using local events.

Model a Fitness Tracker

Implement a fitness tracker by using temporal logic and messages.

Model an Elevator System by Using Atomic Subcharts

Model a two-car elevator system by using linked atomic subcharts in Stateflow®. The elevator system consists of a Simulink® model and a user interface (UI). The model contains two Stateflow charts: Elevator System models the core logic that delegates incoming requests from the UI to the nearest available elevator car. This chart contains a pair of atomic subcharts that implement identical logic for the cars.

Model a Distributed Traffic Control System by Using Messages

Model a distributed control system for an intersection of one-way roads. To coordinate the state of the traffic lights, the two charts communicate with each other by using messages. The design of the two charts is identical.

Model the Dynamics of Moving Billiard Balls

Model the opening shot in a billiards game by using continuous-time matrix variables. In the model, a Stateflow® chart simulates the dynamics of a hybrid system that has a large number of discontinuities. For more information, see Continuous-Time Modeling in Stateflow (Stateflow).

Modeling Newton's Cradle with Virtual Reality

Model a popular toy called "Newton's cradle" which consists of a row of seven identical balls which are hung from a common height. At rest they are arranged such that they just touch each other. One or more balls from one end are then raised from their rest position and released.

Documentation