
Departmental Papers (CIS)
Date of this Version
June 2001
Document Type
Conference Paper
Recommended Citation
Oleg Sokolsky and Hyoung Seok Hong, "Qualitative Modeling of Hybrid Systems", . June 2001.
Abstract
The paper discusses an approach to construct discrete abstractions of hybrid systems by means of qualitative reasoning. The work is performed in the context of a modeling language for hybrid systems CHARON. We introduce a qualitative version of the language and describe the abstraction technique using a motivational example. The resulting abstract model is conservative and can be used to analyze properties of the original hybrid system.
Keywords
hybrid systems, abstraction, qualitative reasoning
Date Posted: 12 April 2005
This document has been peer reviewed.
Comments
Presented at the Monterey Workshop on Engineering Automation for Computer Based Systems, June 2001.