Sciweavers

1721 search results - page 1 / 345
» The fundamentals of hybrid systems modelers
Sort
View
80
Voted
CDC
2010
IEEE
102views Control Systems» more  CDC 2010»
14 years 7 months ago
The fundamentals of hybrid systems modelers
Albert Benveniste, Benoît Caillaud, Marc Pou...
HYBRID
1995
Springer
15 years 4 months ago
Compositional and Uniform Modelling of Hybrid Systems
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 co...
Albert Benveniste
97
Voted
HYBRID
2007
Springer
15 years 6 months ago
The Image Computation Problem in Hybrid Systems Model Checking
André Platzer, Edmund M. Clarke
71
Voted
HYBRID
2004
Springer
15 years 5 months ago
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints
Timothy J. Hickey, David K. Wittenberg