Quantifier-free encoding of invariants for hybrid systems

被引：0
|
作者：
Alessandro Cimatti
Sergio Mover
Stefano Tonetta
机构：
[1] Fondazione Bruno Kessler,
来源：
Formal Methods in System Design | 2014年 / 45卷
关键词：
Satisfiability modulo theory; Hybrid systems; Bounded model checking;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Hybrid systems are a clean modeling framework for embedded systems, which feature integrated discrete and continuous dynamics. A well-known source of complexity comes from the time invariants, which represent an implicit quantification of a constraint over all time points of a continuous transition.
引用
收藏
页码：165 / 188
页数：23
相关论文
共 50 条
12345