2366 search results - page 16 / 474 » Pfaffian Hybrid Systems |
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
HYBRID
2010
Springer
14 years 4 months ago
2010
Springer
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contri...
FORMATS
2006
Springer
14 years 1 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
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1