640 search results - page 1 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
HYBRID
1995
Springer
13 years 8 months ago
1995
Springer
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...
HYBRID
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
HYBRID
2007
Springer
13 years 8 months ago
2007
Springer
JLP
2006
13 years 4 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...