4434 search results - page 314 / 887 » On the Composition of Hybrid Systems |
171
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
192
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
This paper addresses the problem of self localization of mobile devices. In particular, each device combines noisy measurements of its absolute position with distance measurements...
190
click to vote
AAAI
1990
15 years 7 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
177
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Visual surveillance using a camera network has imposed new challenges to camera calibration. An essential problem is that a large number of cameras may not have a common field of ...
169
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Multiple-pursuer multiple-evader games raise fundamental and novel problems in control theory and robotics. In this paper, we propose a distributed solution to this problem that si...