Compositional Abstractions of Hybrid Control Systems

Simple item page
dc.contributor.authorTabuada, Paulo
dc.contributor.authorPappas, George J
dc.contributor.authorLima, Pedro
dc.date2023-05-16T22:29:27.000
dc.date.accessioned2023-05-22T19:06:08Z
dc.date.available2023-05-22T19:06:08Z
dc.date.issued2001-12-04
dc.date.submitted2005-05-27T12:07:57-07:00
dc.description.abstractAbstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts an abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. In this paper we present a framework for abstraction that applies to abstract control systems capturing discrete, continuous, and hybrid systems. Parallel composition is presented in a categorical framework and an algorithm is proposed to construct abstractions of hybrid control systems. Finally, we show that our abstractions of hybrid systems are compositional.
dc.description.commentsCopyright 2001 IEEE. Reprinted from Proceedings of the 40th IEEE Conference on Decision and Control 2001, Volume 1, pages 352-357. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
dc.description.commentsCopyright 2001 IEEE. Reprinted from Proceedings of the 40th IEEE Conference on Decision and Control 2001, pages 352-357 vol. 1. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/33301
dc.legacy.articleid1118
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1118&context=ese_papers&unstamped=1
dc.source.issue121
dc.source.journalDepartmental Papers (ESE)
dc.source.statuspublished
dc.subject.otherGRASP
dc.titleCompositional Abstractions of Hybrid Control Systems
dc.typePresentation
digcom.contributor.authorTabuada, Paulo
digcom.contributor.authorisAuthorOfPublication|email:pappasg@seas.upenn.edu|institution:University of Pennsylvania|Pappas, George J
digcom.contributor.authorLima, Pedro
digcom.identifierese_papers/121
digcom.identifier.contextkey73643
digcom.identifier.submissionpathese_papers/121
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication00473ef0-d415-4df9-b027-00f0cf171730
relation.isAuthorOfPublication.latestForDiscovery00473ef0-d415-4df9-b027-00f0cf171730
upenn.schoolDepartmentCenterDepartmental Papers (ESE)
upenn.schoolDepartmentCenterGeneral Robotics, Automation, Sensing and Perception Laboratory
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
g23.pdf
Size:
364.43 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations