Sokolsky, OlegHong, Hyoung Seok2023-05-222023-05-222001-06-012005-03-18https://repository.upenn.edu/handle/20.500.14332/6952The 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 systemsabstractionqualitative reasoningPresentation