我想将双精度值转换为整数以在模型的保护中使用它们。为此，我在https://www.it.uu.se/research/group/darts/uppaal/找到了int fint (double)函数download.shtml，现在我使用 uppaal-4.1.24 而不是 uppaal-4.1.19。不幸的是，当我尝试在其中一个模拟器或验证器中执行相应的转换时，我总是收到消息“服务器连接丢失” 。有没有人遇到过类似的问题并知道解决方案？
最好的问候，乔西
问问题
109 次
1 回答
0
不幸的是，Uppaal 4.1.24 模拟器无法处理浮点变量（以及带有 ODE 的模型）。这些功能目前仅适用于使用 SMC 查询的验证者。
有关详细信息，请参阅第 23 期： https ://github.com/UPPAALModelChecker/UPPAAL-Meta/issues/23
于 2021-02-22T14:11:02.850 回答