2377 search results - page 173 / 476 » Hybrid Systems in TLA |
170
click to vote
HYBRID
2007
Springer
16 years 20 days ago
2007
Springer
We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach i...
182
click to vote
HYBRID
2004
Springer
15 years 12 months 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 ...
167
click to vote
HYBRID
2003
Springer
15 years 11 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...
186
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...
185
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...