Sciweavers

18090 search results - page 75 / 3618
» Computing by Only Observing
Sort
View
ENTCS
2007
100views more  ENTCS 2007»
15 years 6 months ago
Extensionality of Spatial Observations in Distributed Systems
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
Luís Caires, Hugo Torres Vieira
CDC
2009
IEEE
15 years 11 months ago
Multiple-model adaptive control with set-valued observers
— This paper proposes a multiple-model adaptive control methodology, using set-valued observers (MMAC-SVO) for the identification subsystem, that is able to provide robust stabi...
Paulo Andre Nobre Rosa, Carlos Silvestre, Jeff S. ...
ICALP
1997
Springer
15 years 10 months ago
Basic Observables for Processes
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
Michele Boreale, Rocco De Nicola, Rosario Pugliese
IBPRIA
2009
Springer
15 years 3 months ago
Real-Time Motion Detection for a Mobile Observer Using Multiple Kernel Tracking and Belief Propagation
We propose a novel statistical method for motion detection and background maintenance for a mobile observer. Our method is based on global motion estimation and statistical backgro...
Marc Vivet, Brais Martínez, Xavier Binefa
FUIN
2008
83views more  FUIN 2008»
15 years 6 months ago
Fault Diagnosis with Static and Dynamic Observers
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in t...
Franck Cassez, Stavros Tripakis