3095 search results - page 159 / 619 » Ubiquitous presence systems |
DALT
2009
Springer
14 years 2 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
TSMC
2008
13 years 10 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
AUTOMATICA
2008
13 years 10 months ago
2008
In this note we show that robustness with respect to additive disturbances implies robustness with respect to state measurement errors and additive disturbances for a class of dis...