如何在MATLAB / Simulink Stateflow中使用基于事件的时间逻辑？

Question

我正在寻找一种在Simulink Stateflow中使用基于事件的时间逻辑的方法。

示例：[状态_1]-> [之后（3，sec）&& e]-> [状态_2]

场景：

• 0秒：State_1处于活动状态
• 2秒：e为真
• 5秒：状态_2处于活动状态（仅在e的3秒后）

  

预期：[State_1]->（在 e 的3秒后）-> [State_2]

     

结果：[State_1]->（在 State_1 的3秒后）-> [State_2]

有解决方案吗？我在MathWorks的官方文档（MathWorks - Control Chart Execution Using Temporal Logic）中找不到一个

谢谢

Answer 1

这是我的方法：

[State_1] --> [ e] --> [State_1_copy]--> (after 3s) --> [State_2]

结合：

[State_1] <-- [ ~e] <-- [State_1_copy]

状态1的Entry和left动作可能需要根据情况进行更改。