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:
- The chart has the "Update Method" set to "continuous" and the option "Enable zero-crossing detection" checked.
- 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.