Qualitative Modeling of Hybrid Systems
Loading...
Files
Related Collections
Degree type
Discipline
Subject
hybrid systems
abstraction
qualitative reasoning
abstraction
qualitative reasoning
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Hong, Hyoung Seok
Contributor
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.
Advisor
Date of presentation
2001-06-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:24:34.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Comments
Presented at the Monterey Workshop on Engineering Automation for Computer Based Systems, June 2001.
Presented at the Monterey Workshop on Engineering Automation for Computer Based Systems, June 2001.