State Transition Table Diagnostics

A state transition table is an alternative way of expressing sequential modal logic. Instead of drawing states and transitions graphically in a Stateflow® chart, use state transition tables to express the modal logic in tabular format. State transition tables are supported only as blocks in a Simulink® model. For more information, see State Transition Tables in Stateflow.

You can run diagnostic checks on a state transition table. From the Stateflow Editor, in the Debug tab, select Update Model > Update Chart.

The diagnostics tool statically parses the table to find errors such as:

  • States with no incoming transitions

  • Transition cells with conditions or actions, but no destination

  • Action text in a condition cell

  • States that are unreachable from the default transition

  • Default transition row without unconditional transition

  • Inner transition row execution order mismatches. The inner transition row for a state must specify destination states from left to right in the same order as the corresponding states appear in the table, from top to bottom.

Each error is reported with a hyperlink to the corresponding object causing the error. These checks are also performed during simulation.

Related Topics