Guy on Simulink

Simulink & Model-Based Design

Stateflow Semantics: Shortcut to Default

Today I want to share with you one of the lesser known semantics of Stateflow: the transition that ends on an inner boundary of a state.

Transition that ends on an inner boundary

This is not an inner transition; those start on an inner boundary, not end on one. Rather, these transitions serve as shortcuts back to the default transition path.

Get Back

Here we have a small example, with a state P that has two children, A and B, and four outputs to help us understand what's going on.

  • When the chart is first entered, the top-level default transition directs Stateflow to enter state P. The entry action for that state sets y1 = 1.
  • Stateflow then looks for children of P; finding none already active, it follows the default transition inside P to child A.
  • Now A's entry action sets y2 = 1 as well.
  • At time = 1 second, the transition to B is valid. During that same timestep, Stateflow sets both y2 = 0 and y3 = 1.
  • At time = 2 seconds, the transition going out from B is now valid. Stateflow sets y1 = 2, then y3 = 0 as B is exiting.
  • From there, Stateflow jumps back up to the default transition that leads to A, and does the entry action for A again, setting y2 = 1, all in the same timestep.

Shortcut to default example

And we can look at the outputs on a Scope:

Output signals

In effect, this transition has served as a shortcut to the default transition path of the parent, P. Notice from the screenshot of the Scope above that parent P is not exited and re-entered at time = 2 seconds; y1 = 2 until P is exited for Q at time = 5 seconds.

We could obtain the same result by using a junction on the default path (below), but that can get messy visually, especially if you have a large parent state with many children.

Alternative, though not a perfect match because that initial default transition segment is not traversed

Now it's your turn

Do you have a really interesting application for this Stateflow semantic? Share it in the comments below!

|
  • print

Comments

To leave a comment, please click here to sign in to your MathWorks Account or create a new one.