Sciweavers

4971 search results - page 105 / 995
» Observation systems
Sort
View
HYBRID
2007
Springer
15 years 6 months 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»
15 years 8 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...
96
Voted
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 7 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...
111
Voted
SE
2007
15 years 4 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
15 years 4 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