2364 search results - page 34 / 473 » On O-Minimal Hybrid Systems |
174
click to vote
ENTCS
2011
14 years 9 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
163
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
176
click to vote
CA
2002
IEEE
15 years 11 months ago
2002
IEEE
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
166
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
172
click to vote
ITP
2010
15 years 4 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...