Hybrid Dynamical Systems
Hybrid Dynamical Systems
复制标题
DOI：
10.1007/978-3-8348-9949-1_2
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Christian Herde
中科院分区：
文献类型：
--
作者：
Christian Herde
我们的目标是提供求解器技术，用于混合动力系统形式验证的工具。我们将支持的验证方法需要所研究系统的精确数学模型才能适用。
We aim at providing solver technology to be used in tools for formal verification of hybrid dynamical systems. The verification methods we are going to support require a precise mathematical model of the system under investigation in order to be applicable.