如何使用 int fint(双精度)将双精度值转换为整数，而无需在 Uppaal 中获取'Server connection lost'

Question

我想将双精度值转换为整数，以便在模型的保护中使用它们。为此，我找到了int fint (double)函数，现在我使用upaal -4.1.24而不是upaal -4.1.19。不幸的是，我总是得到消息'服务器连接丢失'当我尝试在一个模拟器或验证器中执行相应的转换时。有人遇到过类似的问题并知道解决方案吗?

最好的问候,Josi

Answer 1

不幸的是，upaal 4.1.24模拟器不能处理浮点变量(和带有ode的模型)。这些特性目前只适用于使用SMC查询的验证器。

请参阅第23期了解更多详细信息:https://github.com/UPPAALModelChecker/UPPAAL-Meta/issues/23