Verifying a PI Controller using SoapBox and Stabhyli
Verifying a PI Controller using SoapBox and Stabhyli
复制标题
使用 SoapBox 和 Stabhyli 验证 PI 控制器
DOI：
10.29007/h9hb
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Astrid Rakow
中科院分区：
文献类型：
--
作者：
Eike Möhlmann;Willem Hagemann;Astrid Rakow
我们描述了验证转向控制器规格的实际经验。混合自动机实施PI控制规则，并将车辆的速度作为来自环境的输入。通过结合工具Stabhyli和Soapbox，我们建立了转向控制器的几个安全性和活性性质，包括收敛到一个平衡点。
We describe practical experiences on verifying a steering controller specification. The hybrid automaton implements a PI control rule and considers the vehicle’s velocity as input from the environment. By combining the tools Stabhyli and SoapBox, we establish several safety and liveness properties for the steering controller, including convergence towards an equilibrium.
DOI：
10.1007/978-3-642-00602-9_20
发表时间：
2009-04
期刊：
--
影响因子：
--
作者：
Jens Oehlerking;Oliver E. Theel
通讯作者：
Jens Oehlerking;Oliver E. Theel