UPPAAL - 使用同步器进行强制转换不起作用
作者:Yarik.Yar 提问时间:11/1/2023
完全卡在上面。 基本上,我有加热器、温度传感器和模拟温度升高的过程。 我希望加热器在温度高于某个值时过渡到“禁用”状态。它可以与过渡到异常温度状态同步。 但在模拟中,我只有在条件为真时才有可能进行转换...
uppaal 问答列表
作者:Yarik.Yar 提问时间:11/1/2023
完全卡在上面。 基本上,我有加热器、温度传感器和模拟温度升高的过程。 我希望加热器在温度高于某个值时过渡到“禁用”状态。它可以与过渡到异常温度状态同步。 但在模拟中,我只有在条件为真时才有可能进行转换...