期刊
PROCEEDINGS OF THE IEEE
卷 88, 期 7, 页码 971-984出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/5.871304
关键词
abstraction; decidability; hybrid systems; logic; model checking
A hybrid system is a dynamical system with both discrete and continuous state changes. For analysis purposes, it is often useful to abstract a system in a way that preserves the properties being analyzed while hiding the details that are of no interest. We show that interesting classes of hybrid systems can he abstracted to purely discrete systems while preserving all properties that are definable in temporal logic. The classes that permit discrete abstractions fall into two categories. Either the continuous dynamics must be restricted, as is the case for timed and rectangular hybrid systems, ol the discrete dynamics must be restricted, as is the case for o-minimal hybrid systems. In this paper; we survey and unify results from both areas.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据