Composing Abstractions of Hybrid Systems

Loading...
Thumbnail Image
Penn collection
Departmental Papers (ESE)
General Robotics, Automation, Sensing and Perception Laboratory
Degree type
Discipline
Subject
GRASP
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Tabuada, Paulo
Lima, Pedro
Contributor
Abstract

The analysis and design of hybrid systems must exploit their hierarchical and compositional nature of in order to tackle complexity. In previous work, we presented a hierarchical abstraction framework for hybrid control systems based on the notions of simulation and bisimulation. In this paper, we build upon our previous work and investigate the compositionality of our abstraction framework. We present a composition operator that allows synchronization on inputs and states of hybrid systems. We then show that the composition operator is compatible with our abstraction framework in the sense that abstracting subsystems will the result in an abstraction of the overall system.

Advisor
Date of presentation
2002-03-25
Conference name
Departmental Papers (ESE)
Conference dates
2023-05-16T23:25:10.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
Journal Issue
Comments
Postprint version. Published in Lecture Notes in Computer Science, Volume 2289, Hybrid Systems: Computation and Control: Proceedings of the 5th International Workshop, HSCC 2002, pages 436-450. Publisher URL: http://springerlink.metapress.com/link.asp?id=105633
Recommended citation
Collection