0

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

示例:[State_1] --> [after(3,sec) && e] --> [State_2]

设想:

  • 0 秒:State_1 处于活动状态
  • 2 秒:e 为真
  • 5 秒:State_2 处于活动状态(仅在 e 的 3 秒后)

期望:[State_1] -->(在e的 3 秒之后)--> [State_2]

结果: [State_1] --> ( State_1 3s 后) --> [State_2]

有解决方案吗?我在 MathWorks 官方文档中没有找到(MathWorks - 使用时序逻辑控制图表执行

谢谢

4

1 回答 1

-1

This is how I did it:

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

combined with:

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

Entry and left action of state 1 may need to be changed depending on cases.

于 2018-12-13T22:36:05.070 回答