of Hybrid Systems
Download:
|
|
by Albert Benveniste
ftp://ftp.irisa.fr/local/signal/publis/articles/IEEE-TAC-98:hybrid.ps.gz
Add To MetaCart
Abstract:
Abstract This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely composing hybrid systems. Since hybrid systems are considered, different time indices occur, and modularity calls for considering "time " as local to each module, this is what is called multiform time. The proposed framework is behavioral, hence a way is provided to automatically synthesize proper scheduling constraints for the joint simulation of discrete time, event based, and continuous time components. Finally, the relations of this model with the more traditional state based point of view are discussed. I.
Citations
| 79 | Programming real-time applications with SIGNAL – Guernic, Gautier, et al. - 1991 |
| 49 | Hybrid automata with finite bisim-ulations – Henzinger - 1995 |
| 4 | graph theory and applications – bond - 1991 |
| 3 | Operationalizing engineering models of steady-state equations into efficient simulation programs – Rouquette - 1995 |
| 2 | Aide `a la communication modeleurs/solveurs et contribution `a l'analyse des syst`emes techniques complexes, Thesis Ecole Centrale de Paris and Gaz de – Favret - 1995 |
| 2 | Hierarchical feedback decomposition of steady-state equation models – Rouquette - 1995 |
