695 search results - page 72 / 139 » Control in o-minimal Hybrid Systems |
MAM
2008
13 years 9 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
HYBRID
2007
Springer
14 years 1 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...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
A new method, namely the Parallel Two-Level Hybrid (PTH) method, is developed to solve tridiagonal systems on parallel computers. PTH is designed based on Parallel Diagonal Domina...
HYBRID
1999
Springer
14 years 1 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we present a feedback control law to make an autonomous vehicle with rigidly mounted range sensors track a desired curve. In particular, we consider a vehicle wh...