DocumentCode :
3105467
Title :
Decentralized Observation Problems
Author :
Tripakis, Stavros
Author_Institution :
CNRS and Verimag Laboratory, Centre Equation, 2, avenue de Vignate, 38610 Gières, France, tripakis@imag.fr
fYear :
2005
fDate :
12-15 Dec. 2005
Firstpage :
6
Lastpage :
11
Abstract :
A fundamental observation problem is, given a model of the system to be observed and a specification of the property to be observed, to check whether the property is observable (i.e., the observer can resolve potential ambiguities due to partial observation capabilities) and if so to (automatically) synthesize an observer. We consider a simple case of the above setting, namely, where the system model and specifications are expressed as regular languages over a finite alphabet. In this setting, and in the case of one observer (centralized observation), both checking observability and synthesizing an observer can be done automatically, and the observer is guaranteed to be finite-state. The situation is more complicated in the case of more than one observers (decentralized observation). Here, many definitions are possiblle, depending on where the decisions are taken, as well as on whether the observers are required to be finite-state. We examine some of these possibilities, surveying recent results on the topic and providing some new results as well.
Keywords :
Clocks; Control systems; Distributed control; Information analysis; Laboratories; Manufacturing; Monitoring; Observability; Synchronization; Vehicles;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN :
0-7803-9567-0
Type :
conf
DOI :
10.1109/CDC.2005.1582122
Filename :
1582122
Link To Document :
بازگشت