Qualitative Modeling of Hybrid Systems

Simple item page
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorHong, Hyoung Seok
dc.date2023-05-16T22:24:34.000
dc.date.accessioned2023-05-22T12:51:54Z
dc.date.available2023-05-22T12:51:54Z
dc.date.issued2001-06-01
dc.date.submitted2005-03-18T06:58:20-08:00
dc.description.abstractThe 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.
dc.description.commentsPresented at the Monterey Workshop on Engineering Automation for Computer Based Systems, June 2001.
dc.description.comments<br>Presented at the Monterey Workshop on Engineering Automation for Computer Based Systems, June 2001.<br><p>
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6952
dc.legacy.articleid1095
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1095&amp;context=cis_papers&amp;unstamped=1
dc.source.issue87
dc.source.journalDepartmental Papers (CIS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.otherhybrid systems
dc.subject.otherabstraction
dc.subject.otherqualitative reasoning
dc.titleQualitative Modeling of Hybrid Systems
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorHong, Hyoung Seok
digcom.identifiercis_papers/87
digcom.identifier.contextkey51407
digcom.identifier.submissionpathcis_papers/87
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication.latestForDiscovery35e1b18e-15fe-4438-be3b-84593f70a40a
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
SH01.pdf
Size:
247.53 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations