Open AccessComposing Abstractions of Hybrid Systems
Author(s) -
Paulo Tabuada,
George J. Pappas,
Pedro U. Lima
Publication year - 2002
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-43321-X
DOI - 10.1007/3-540-45873-5_34
Subject(s) - principle of compositionality , computer science , abstraction , bisimulation , exploit , composition operator , theoretical computer science , hybrid system , synchronization (alternating current) , operator (biology) , distributed computing , programming language , artificial intelligence , multiplication operator , computer network , philosophy , channel (broadcasting) , biochemistry , chemistry , computer security , set (abstract data type) , epistemology , repressor , machine learning , transcription factor , gene
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom