14190 search results - page 37 / 2838 » Abstractions for hybrid systems |
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper reports a novel hybrid method of tracking the position and orientation of robotic medical instruments within the imaging volume of a magnetic resonance imagi...
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
HYBRID
1994
Springer
15 years 3 months ago
1994
Springer
HYBRID
1995
Springer
15 years 3 months ago
1995
Springer
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...