Date of this Version
Oleg Sokolsky and Hyoung Seok Hong, "Qualitative Modeling of Hybrid Systems", . June 2001.
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.
hybrid systems, abstraction, qualitative reasoning
Date Posted: 12 April 2005
This document has been peer reviewed.