我正在寻找一种在 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 - 使用时序逻辑控制图表执行)
谢谢