1000 search results - page 109 / 200 » Nominal rewriting systems |
KBS
2007
13 years 9 months ago
2007
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...
JOLLI
2002
13 years 9 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
ICRA
2009
IEEE
13 years 7 months ago
2009
IEEE
Quadrotor helicopters have become increasingly important in recent years as platforms for both research and commercial unmanned aerial vehicle applications. This paper extends prev...
IGARSS
2009
13 years 7 months ago
2009
As the operating frequencies of SAR-systems are increasing, the visible distortions due to precipitation in SAR-images are becoming more frequent. This holds especially for the ca...
AUTOMATICA
2010
13 years 7 months ago
2010
We consider a class of continuous-time cooperative systems evolving on the positive orthant Rn +. We show that if the origin is globally attractive, then it is also globally stabl...