Qualitative Modeling of Hybrid Systems
Oleg V. Sokolsky, Hyoung Seok Hong · ScholarlyCommons (University of Pennsylvania) · 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.Weintroduce a qualitativeversion 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.