695 search results - page 72 / 139 » Control in o-minimal Hybrid Systems |
177
click to vote
MAM
2008
15 years 6 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...
160
click to vote
HYBRID
2007
Springer
15 years 10 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...
157
click to vote
IPPS
2002
IEEE
15 years 11 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...
166
click to vote
HYBRID
1999
Springer
15 years 10 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...
162
click to vote
CDC
2008
IEEE
16 years 24 days 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...