Sciweavers

4971 search results - page 105 / 995
» Observation systems
Sort
View
HYBRID
2007
Springer
14 years 26 days ago
Diagnosability Verification for Hybrid Automata
A notion of diagnosability for hybrid systems is defined, which generalizes the notion of observability. We verify bility properties on a timed automaton abstraction of the origina...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
ICRA
2006
IEEE
185views Robotics» more  ICRA 2006»
14 years 3 months ago
Automatic Self-calibration of a Vision System during Robot Motion
— This paper presents a new technique to estimate the extrinsic parameters of a robot-vision sensor system. More in general, this technique can be adopted to calibrate any robot ...
Agostino Martinelli, Davide Scaramuzza, Roland Sie...
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
14 years 1 months ago
A moving horizon scheme for distributed state estimation
— This paper presents a novel distributed estimation algorithm based on the concept of moving horizon estimation. Under weak observability conditions we prove convergence of the ...
Marcello Farina, Giancarlo Ferrari-Trecate, Riccar...
SE
2007
13 years 10 months ago
Isolating cause-effect chains in computer systems
: One of the major tasks in maintaining software systems is understanding how specific effects came to be. This is especially true for effects that cause major harm, and especiall...
Stephan Neuhaus, Andreas Zeller
ATAL
2006
Springer
13 years 11 months ago
Effect of deceptive referrals on system stability
We study the problem of agents attempting to find quality service providers in a distributed environment. While referrals from other agents can be used to locate high-quality prov...
Ikpeme Erete, Teddy Candale, Sandip Sen