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.
My Menu
Saved Items

Composing Abstractions of Hybrid Systems

Paulo TabuadaContact Information, George J. PappasContact Information and Pedro LimaContact Information

(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.

Contact Information Paulo Tabuada
Email: tabuadap@seas.upenn.edu

Contact Information George J. Pappas
Email: pappasg@seas.upenn.edu

Contact Information Pedro Lima
Email: pal@isr.ist.utl.pt
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
2 newer articles

  1. Oishi, Meeko (2008) . IEEE Transactions on Control Systems Technology 16(2)
    [CrossRef]
  2. vanderSchaft, A. (2004) Equivalence of Dynamical Systems by Bisimulation. IEEE Transactions on Automatic Control 49(12)
    [CrossRef]
Remote Address: 38.107.191.105 • Server: mpweb20
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)