Formal verification of control systems' properties with theorem proving
Formal verification of control systems' properties with theorem proving
复制标题
通过定理证明对控制系统的属性进行形式化验证
DOI：
10.1109/control.2014.6915147
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Araiza-Illan D
中科院分区：
文献类型：
--
作者：
Araiza-Illan D
登录
查看更多内容
DOI：
--
发表时间：
2011
期刊：
Towards Autonomous Robotic Systems
影响因子：
--
作者：
C. Dixon;A. Winfield;Michael Fisher
通讯作者：
Michael Fisher
使用 Circus 验证控制系统
DOI：
--
发表时间：
2006
期刊：
IEEE International Conference on Engineering of Complex Computer Systems
影响因子：
--
作者：
Ana Cavalcanti;P. Clayton
通讯作者：
P. Clayton
一种逻辑即可使用所有这些
影响因子：
3.9
作者：
J. Filliâtre
通讯作者：
J. Filliâtre
SimCheck：Simulink 的合约类型系统
影响因子：
1.2
作者：
Pritam Roy;N. Shankar
通讯作者：
N. Shankar