Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

Supported State Machines

Classic, Mealy, and Moore charts

Blocks

Chart Implement control logic with finite state machine

Functions

sfnew Create model containing empty Stateflow block

Topics

Finite State Machine Concepts

Explains what a finite state machine is and how it relates to a Stateflow® chart

Specify Chart Properties

Tells you how to specify properties for your chart. Part of the interface for a chart to its Simulink® model is set when you specify the properties for a chart

Stateflow Hierarchy of Objects

Describes the containment hierarchy of Stateflow objects

Overview of Mealy and Moore Machines

Describes the basic semantics of Mealy and Moore machines

Design Considerations for Mealy Charts

Describes best practices for implementing Mealy semantics in charts

Design Considerations for Moore Charts

Describes best practices for implementing Moore semantics in charts

Effects of Changing the Chart Type

Presents guidelines for when you should and should not change chart types

Set Stateflow Block Update Method

Implementing different Stateflow interfaces in a Simulink model requires you to set the update method for your chart. This section describes each of the settings for the update method of your chart

Create Mealy and Moore Charts

Describes the workflow for creating Mealy and Moore charts

Model a Vending Machine Using Mealy Semantics

The following chart uses Mealy semantics to model a vending machine.

Model a Traffic Light Using Moore Semantics

The following chart uses Moore semantics to model a traffic light:

Debug Mealy and Moore Charts

Explains how diagnostic messages help you debug Mealy and Moore charts

Was this topic helpful?