3053 search results - page 251 / 611 » Hybrid Systems Diagnosis |
186
click to vote
HYBRID
2004
Springer
16 years 12 hour ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
169
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...
188
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...
189
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...
176
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 ...