Bibliography :: Stateflow Chart Concepts (Stateflow®)

Product Documentation

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

Contents

Index

• Getting Started

Installation Instructions

Prerequisite Software

Product Dependencies

Setting Up Your Own Target Compiler

Using Stateflow Software on a Laptop Computer

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

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

Build It Yourself or Use the Supplied Model

Design Considerations for Defining State Actions and Variables

Writing an Entry Action

Writing a During Action

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

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

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 State Inconsistencies

Debugging Data Range Violations

• User's Guide

• Stateflow Chart Concepts

• Finite State Machine Concepts

• Stateflow Charts and Simulink Models

Stateflow Chart Objects

Stateflow Hierarchy of Objects

• Stateflow Chart Notation

• Stateflow Chart Semantics

• 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

• Using the API

• API Object Reference

• API Object Properties and Methods

API Method Reference

• Release Notes

Bibliography

[1] Harel, D. "Statecharts: A Visual Formalism for Complex Systems." Science of Computer Programming. Vol. 8, 1987, pp. 231–274.

[2] Hatley, D. J. and I. A. Pirbhai. Strategies for Real-Time System Specification. New York, NY: Dorset House Publishing, 1988.

Stateflow Hierarchy of Objects

Stateflow Hierarchy of Objects

Stateflow Chart Notation

Stateflow Chart Notation

Free Stateflow Interactive Kit

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

Trials Available

Try the latest version of Stateflow.

Get trial software

© 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS