This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

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.

Was this topic helpful?