The d/dt Tool for Verification of Hybrid Systems
The d/dt Tool for Verification of Hybrid Systems
复制标题
DOI：
10.1007/3-540-45657-0_30
复制
发表时间：
2002-07
期刊：
影响因子：
--
通讯作者：
E. Asarin;T. Dang;O. Maler
中科院分区：
文献类型：
--
作者：
E. Asarin;T. Dang;O. Maler
本文介绍了一种用于不确定输入下线性连续动态混杂系统安全性自动验证的工具-old/dt。验证过程是基于正交多面体的过逼近可达集的方法。该工具还允许合成控制器，该控制器在连续模式之间切换系统以满足安全规范。
In this paper we describe the toold/dtwhich provides automatic safety verification of hybrid systems with linear continuous dynamics with uncertain input. The verification procedure is based on a method for overapproximating reachable sets by orthogonal polyhedra. The tool also allows to synthesize a controller which switches the system between continuous modes in order to satisfy a safety specification.