384 search results - page 15 / 77 » hybrid 2004 |
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
CARS
2004
14 years 11 months ago
2004
In this paper, we present a hybrid method for calibration of an endoscope and its registration with an active optical tracker. Practically, both operations are done simultaneously...
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
65
Voted
CLEF
2004
Springer
15 years 1 months ago
2004
Springer
The main goal of the bilingual and monolingual participation of the MIRACLE team at CLEF 2004 was testing the effect of combination approaches to information retrieval. The starti...