Stateflow

Introduction

Stateflow^® extends Simulink^® with a design environment for developing state charts and flow graphs. 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, providing an efficient environment for designing embedded systems that contain control, supervisory, and mode logic.

Introduction to Stateflow for Controls Applications 22:01
Regulate the temperature of a plant using a logic controller.

Stateflow charts enable the graphical representation of hierarchical and parallel states and the transitions between them. Stateflow augments traditional state charts with flow charts, MATLAB Coder™ functions, graphical functions, truth tables, temporal operators, directed-event broadcasting, and support for integrating hand-written C code.

You can automatically generate C code from Stateflow charts using Simulink^® Coder (available separately).

Introduction to Stateflow for Communications Applications (Part 1) 8:20
Model a digital receiver that synchronizes to the time code information broadcast by a radio station.

Introduction to Stateflow for Communications Applications (Part 2) 9:13
Model a digital receiver that synchronizes to the time code information broadcast by a radio station.

Key Features

• Provides language elements, hierarchy, parallelism, and deterministic execution semantics for describing complex logic in a natural and understandable form
• Defines functions graphically, using flow diagrams; procedurally, using MATLAB functions; and in tabular form, with truth tables
• Schedules transitions and events using temporal logic
• Supports Mealy and Moore finite-state machines
• Incorporates custom and legacy C code with input and output arguments
• Supports bus signals and vector, matrix, and fixed-point data
• Performs static checks, including checks for ill-specified truth tables
• Performs run-time checks for transition conflicts, cyclic problems, state inconsistencies, data-range violations, and overflow conditions
• Animates Stateflow charts and logs data during simulation to enhance understanding of the system and facilitate debugging
• Includes an integrated debugger for setting graphical breakpoints, stepping through charts, and browsing data

Fault detection, isolation, and recovery system of an aircraft elevator. You can use Simulink and Stateflow to simulate and study the effects of switching modes on the control system and aircraft dynamics.