4434 search results - page 1 / 887 » On the Composition of Hybrid Systems |
HYBRID
1998
Springer
13 years 9 months ago
1998
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
DEDS
1998
13 years 5 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
FORMATS
2006
Springer
13 years 9 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 9 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...