| |
Introduction to Stateflow
|
 |
|
Getting Started with Stateflow This video demonstration introduces Stateflow through a simple example of a logic controller that regulates the temperature
of a plant. The demo also covers several key elements of Stateflow such as states, transitions, conditions and functions.
|
| |
Automotive Applications
|
|
|
Modeling of Automatic Transmission Controller In this video demo, SimDriveline™ and Stateflow are used together to model an automatic transmission. SimDriveline is used
to model the powertrain plant while Stateflow is used to model the logic of the controller that instructs the transmission
to either shift up or down.
|
|
|
Automotive Powertrain Control System This video demonstration, presented in several short segments, illustrates Model-Based Design for an automotive powertrain
controller. Stateflow is shown in conjunction with Simulink® Verification and Validation™ to illustrate how to analyze the
amount of model coverage provided by a given set of tests.
|
|
|
Automatic Transmission Control In this demo, Simulink® is used to model an automotive drivetrain. Stateflow enhances the Simulink model with its representation
of the transmission control logic.
|
|
|
Automotive Power Window System In this case study we model an automotive passenger power window system using Model-Based Design with Simulink, Stateflow,
SimMechanics™, and SimPowerSystems™ . We will design the controller from a set of requirements, build a plant model to test
the controller, and finally verify that the controller meets the requirements.
|
|
|
Fault-Tolerant Fuel Control System
 In this demo, we model a fuel control system where Stateflow® is used to handle the fault management of the system.
|
| |
Aerospace Applications
|
|
|
Modeling a Launch Abort System
In this video demonstration, we model a launch abort system. An aircraft is launched into outer space. If an anomaly or fault
occurs during the launch, the operation is aborted, and the aircraft is sent back down to Earth.
|
|
|
Spacecraft Automated Landing System In this video demo, we model an automatic landing system for the HL-20, a spacecraft based on a specification from NASA.
Stateflow is used to model the fault management system of the vehicle.
|
|
|
Designing an Aircraft Elevator Control System In this case study, we use Model-Based Design with Simulink, Stateflow, and Simulink Verification and Validation to design
a fault detection, isolation, and recovery (FDIR) application for a pair of aircraft elevators with redundant actuators. The
system is modeled from a set of requirements. We then use requirements-based testing in order to verify that these requirements
have been met.
|
| |
General Applications
|
|
|
Bang-Bang Control Using Temporal Logic
This demonstration shows how to use Stateflow to model a bang-bang temperature control system for a boiler.
|
|
|
Sequence Recognition Using Mealy and Moore Charts
This demo shows how Mealy and Moore machines can be used in signal processing applications; in this case, for sequence recognition.
|
| |
Graphical Functions
|
|
|
Using Graphical Functions in Stateflow This demonstration shows the concept of a graphical function and how it can be used to simplify your Stateflow model. |
| |
Temporal Logic
|
|
|
Temporal Logic Using the AFTER function This simple demonstration compares the difference between two Stateflow charts: one chart uses temporal logic and the AFTER
function to achieve the goal, and the other chart achieves the same goal without using temporal logic.
|
| |
Zero Crossings and Derivatives in Stateflow
|
|
|
Modeling a Clutch
This model implements the Simulink clutch demo using a combination of Simulink enabled subsystems and a Stateflow chart.
|
Store 
