Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Composing Abstractions of Hybrid Systems
| |
|
Composing Abstractions of Hybrid Systems
Paulo Tabuada6 , George J. Pappas6 and Pedro Lima7 
| (6) |
Department of Electrical Engineering, University of Pennsylvania, 19104 Philadelphia, PA |
| (7) |
Instituto de Sistemas e Robótica, Instituto Superior Técnico, 1049-001 Lisboa, Portugal |
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.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|