Compositional Modeling for Refinement for Heirarchical Hybrid Systems

Simple item page
dc.contributor.authorAlur, Rajeev
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorGrosu, Radu
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.date2023-05-16T23:44:30.000
dc.date.accessioned2023-05-22T12:47:02Z
dc.date.available2023-05-22T12:47:02Z
dc.date.issued2006-07-01
dc.date.submitted2006-08-15T07:48:32-07:00
dc.description.abstractIn this paper,we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language CHARON that allows modular specification of interacting hybrid systems. For hierarchical description of the system architecture, CHARON supports building complex agents via the operations of instantiation, hiding, and parallel composition. For hierarchical description of the behavior of atomic components, CHARON supports building complex modes via the operations of instantiation, scoping, and encapsulation. We develop an observational trace semantics for agents as well as for modes, and define a notion of refinement for both, based on trace inclusion. We show this semantics to be compositional with respect to the constructs in the language.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6291
dc.legacy.articleid1267
dc.legacy.fields10.1016/j.jlap.2005.10.004
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1267&context=cis_papers&unstamped=1
dc.rightsNOTICE: This is the author’s version of a work that was accepted for publication in <em>The Journal of Logic and Algebraic Programming</em>. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms, may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in <em>The Journal of Logic and Algebraic Programming</em>, Volume 68, Issues 1-2, June-July 2006, DOI: 10.1016/j.jlap.2005.10.004.
dc.source.beginpage105
dc.source.endpage128
dc.source.issue251
dc.source.issue1-2
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitleJournal of Logic and Algebraic Programming
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.source.volume68
dc.subject.otherCPS Real-Time
dc.subject.otherCPS Model-Based Design
dc.subject.otherHybrid Systems
dc.subject.otherFormal Methods
dc.subject.otherCompositional semantics
dc.subject.otherModel refinement
dc.titleCompositional Modeling for Refinement for Heirarchical Hybrid Systems
dc.typeArticle
digcom.contributor.authorisAuthorOfPublication|email:alur@cis.upenn.edu|institution:University of Pennsylvania|Alur, Rajeev
digcom.contributor.authorGrosu, Radu
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.identifiercis_papers/251
digcom.identifier.contextkey192275
digcom.identifier.submissionpathcis_papers/251
digcom.typearticle
dspace.entity.typePublication
relation.isAuthorOfPublication0277bab3-1be2-4f99-9964-92e0ea36014e
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication.latestForDiscovery0277bab3-1be2-4f99-9964-92e0ea36014e
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
oleg_cis1.pdf
Size:
376.83 KB
Format:
Adobe Portable Document Format
Download
Collection
Articles