title: How can I used Event-Based Temporal Logic in MATLAB/Simulink Stateflow?
body: <p>I'm looking for a way to use event-based temporal logic in Simulink Stateflow.</p>
  <p>Example: [State_1] --&gt; [after(3,sec) &amp;&amp; e] --&gt; [State_2]</p>
  <p>Scenario:</p>
  <ul>
  <li>0 sec: State_1 is active</li>
  <li>2 sec: e is true</li>
  <li>5 sec: State_2 is active <strong>(only after 3s of e)</strong></li>
  </ul>
  <blockquote>
  <p>Expection: [State_1] --&gt; (after 3s of <strong>e</strong>) --&gt; [State_2]</p>
  <p>Result: [State_1] --&gt; (after 3s of <strong>State_1</strong>) --&gt; [State_2]</p>
  </blockquote>
  <p>Is there a solution for that? I did not found one in official MathWorks documentation (<a href="https://de.mathworks.com/help/stateflow/ug/using-temporal-logic-in-state-actions-and-transitions.html" rel="nofollow noreferrer">MathWorks - Control Chart Execution Using Temporal Logic</a>)</p>
  <p>Thank you</p>