Tabular Expression of Modal Logic

Design operating modes in state transition tables.

Use State Transition Tables (STT) to design your Stateflow® logic. Learn how to design your STT with MATLAB® as the action language, or C as the action language. Detect errors in your STT by running diagnostics, and generate code from your STT using Embedded Coder.


State Transition TableRepresent modal logic in tabular format


What Is a State Transition Table?

A state transition table is an alternative way of expressing sequential modal logic.

Differences Between State Transition Tables and Charts

State transition tables support a subset of the most commonly used elements in Stateflow charts.

Anatomy of a State Transition Table

A state transition table contains the following components:

Create State Transition Table and Specify Properties

At the MATLAB command prompt, enter:

Rules for Using State Transition Tables

Use MATLAB instead of C as action language syntax.

State Transition Table Operations

Use these operations to set up your state transition table.

State Transition Table Diagnostics

You can run diagnostic checks on a state transition table.

Model Bang-Bang Controller with State Transition Table

A state transition table is an alternative way of expressing modal logic.

Generate Diagrams from State Transition Tables

Stateflow software automatically generates a read-only state transition diagram from the state transition table you create.

View State Reactions with State Transition Matrix

Describes generation of an interaction with the state transition matrix.

Highlight Flow of Logic

To visualize a flow of logic, you can highlight one transition cell per row in your state transition table.

Trace Stateflow Elements in Generated Code (Embedded Coder)

Trace different Stateflow elements to corresponding lines in generated code.

Debug Run-Time Errors in a State Transition Table

Use breakpoints to debug state transition tables.

Related Information

Was this topic helpful?