Departmental Papers (CIS)

Date of this Version

June 2001

Document Type

Conference Paper

Comments

Presented at the Monterey Workshop on Engineering Automation for Computer Based 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

Share

COinS
 

Date Posted: 12 April 2005

This document has been peer reviewed.