6308 search results - page 172 / 1262 » Modeling Urgency in Timed Systems |
139
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
96
Voted
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
147
click to vote
IJCAI
1993
15 years 5 months ago
1993
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
143
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Many applications would emerge from the development of artificial systems able to accurately localize and identify sound sources. However, one of the main difficulties of such kin...
126
click to vote
APN
2005
Springer
15 years 9 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...