MATLAB Examples

Absolute Time Temporal Logic in the Presence of Zero Crossings

This model shows the behavior of absolute time temporal logic in the presence of continuous time Stateflow® charts with zero crossings enabled.

The model consists of a single Stateflow chart with two states A and B. The transition is guarded by the expression after(4.2345,sec).

Please note the following:

  1. The chart has the "Update Method" set to "continuous" and the option "Enable zero-crossing detection" checked.
  2. We are using a variable step solver with zero crossings enabled.

When we simulate the model, we see the following output:

If we plot the simulation time-step with respect to the simulation time, we see the following:

As is evident, the solver very accurately finds the time at which the transition from A to B happened.