Product Documentation

Search MATLAB Documentation
R2011b Documentation → Stateflow
View documentation for other releases	Learn more about Stateflow

Contents

Index

• Getting Started

• Benefits of Stateflow Usage

Models Event-Driven Systems

Extends the Capabilities of Traditional State Charts

Provides Debugging Capabilities

Supports Code Generation in Multiple Languages

What Does a Stateflow Chart Look Like?

How Stateflow Software Works with Simulink Software

Basic Tutorial for Modeling Event-Driven Systems

• Installing Stateflow Software

Installation Instructions

Prerequisite Software

Product Dependencies

Setting Up Your Own Target Compiler

Using Stateflow Software on a Laptop Computer

Related Products

The Stateflow Chart

How the Stateflow Chart Works with the Simulink Model

A Look at the Physical Plant

Running the Model

• Implementing the Interface with Simulink

Build It Yourself or Use the Supplied Model

Design Considerations for Defining the Interface

Adding a Stateflow Block to a Simulink Model

Defining the Inputs and Outputs

Connecting the Stateflow Block to the Simulink Subsystem

• Implementing the States to Represent Operating Modes

Build It Yourself or Use the Supplied Model

Design Considerations for Defining the States

Adding the Power On and Power Off States

Adding and Configuring Parallel States

Adding the On and Off States for the Fans

• Implementing State Actions

Build It Yourself or Use the Supplied Model

Design Considerations for Defining State Actions and Variables

Writing an Entry Action

Writing a During Action

• Adding the Transitions

Build It Yourself or Use the Supplied Model

Design Considerations for Defining Transitions Between States

Drawing the Transitions Between States

Adding Default Transitions

Adding Conditions to Guard Transitions

Adding Events to Guard Transitions

• Implementing the Triggers

Build It Yourself or Use the Supplied Model

Design Considerations for Triggering Stateflow Charts

Defining the CLOCK Event

Connecting the Edge-Triggered Events to the Input Signals

• Setting Simulation Parameters and Breakpoints

Prepare the Chart Yourself or Use the Supplied Model

Checking That Your Chart Conforms to Best Practices

Setting the Length of the Simulation

Configuring Animation for the Chart

Setting Breakpoints to Observe Chart Behavior

Simulating the Air Controller Chart

• Debugging Common Modeling Errors

Debugging State Inconsistencies

Debugging Data Range Violations

• User's Guide

• Stateflow Chart Concepts

• Stateflow Chart Notation

• Stateflow Chart Semantics

• What Do Semantics Mean for Stateflow Charts?

What Are Chart Semantics?

Common Graphical and Nongraphical Constructs

References for Chart Semantics

• How Chart Constructs Interact During Execution

Overview of the Example Model

Model of the Check-In Process for a Hotel

How the Chart Interacts with Simulink Blocks

Phases of Chart Execution

Modeling Guidelines for Stateflow Charts

• How Events Drive Chart Execution

How Stateflow Charts Respond to Events

Sources for Stateflow Events

How Charts Process Events

• Types of Chart Execution

Lifecycle of a Stateflow Chart

Execution of an Inactive Chart

Execution of an Active Chart

Execution of a Chart with Super Step Semantics

Execution of a Chart at Initialization

• Process for Grouping and Executing Transitions

Transition Flow Graph Types

Order of Execution for a Set of Flow Graphs

• Evaluation Order for Outgoing Transitions

What Does Ordering Mean for Outgoing Transitions?

Detection of Transition Shadowing

Explicit Ordering of Outgoing Transitions

Implicit Ordering of Outgoing Transitions

What Happens When You Switch Between Explicit and Implicit Ordering

Transition Testing Order in Multilevel State Hierarchy

• Process for Entering, Executing, and Exiting States

Steps for Entering a State

Steps for Executing an Active State

Steps for Exiting an Active State

State Execution Example

• Execution Order for Parallel States

What Does Ordering Mean for Parallel States?

Explicit Ordering of Parallel States

Implicit Ordering of Parallel States

How a Chart Maintains Order of Parallel States

How a Chart Assigns Execution Priorities to Restored States

What Happens When You Switch Between Explicit and Implicit Ordering

How a Chart Orders Parallel States in Boxes and Subcharts

• Early Return Logic for Event Broadcasts

Guidelines for Proper Chart Behavior

How Early Return Logic Works

Example of Early Return Logic

• Creating Stateflow Charts

• Modeling Logic Patterns and Iterative Loops Using Flow Graphs

• Building Mealy and Moore Charts

• Techniques for Streamlining Chart Design

• Defining Data

• Defining Events

• Using Actions in Stateflow Charts

• Making States Reusable with Atomic Subcharts

• Saving and Restoring Simulations with SimState

• Using Vectors and Matrices in Stateflow Charts

• Using Variable-Size Data in Stateflow Charts

• Using Enumerated Data in Stateflow Charts

• Modeling Continuous-Time Systems in Stateflow Charts

• Using Fixed-Point Data in Stateflow Charts

• Using Complex Data in Stateflow Charts

• Defining Interfaces to Simulink Models and the MATLAB Workspace

• Working with Structures and Bus Signals in Stateflow Charts

• Stateflow Design Patterns

• Truth Table Functions for Decision-Making Logic

• Using MATLAB Functions in Stateflow Charts

• Using Simulink Functions in Stateflow Charts

• Building Targets

• Debugging and Testing Stateflow Charts

• Exploring and Modifying Charts

• Semantic Rules Summary

• Semantic Examples

Glossary

• Using the API

• API Object Reference

• API Object Properties and Methods

API Method Reference

• Blocks

• Functions

Examples

• Release Notes

Stateflow Chart Semantics

When to Use Reusable Functions in State Charts

What Do Semantics Mean for Stateflow Charts?

Free Stateflow Interactive Kit

Learn how engineers use Stateflow to model state machines in their Simulink models.

Get free kit

Trials Available

Try the latest version of Stateflow.

Get trial software