DocumentCode :
3427412
Title :
A framework for optimization of sensor activation using most permissive observers
Author :
Dallal, Eric ; Lafortune, Stéphane
Author_Institution :
Dept. of EECS, Univ. of Michigan, Ann Arbor, MI, USA
fYear :
2011
fDate :
12-15 Dec. 2011
Firstpage :
2711
Lastpage :
2717
Abstract :
This paper considers the problem of finding dynamic sensor activation policies that satisfy the property of K-diagnosability for discrete event systems modeled by finite state automata. We begin by choosing a suitable information state for the problem and defining a controller. We then define a structure called the most permissive observer, which provides all feasible solutions for the controller (i.e., for sensor activations). By formulating the problem as a state disambiguation problem, we prove a number of monotonicity properties about the information state. Finally, we show that this formulation allows us to efficiently compute the set of all satisfactory control decisions at all points in the system´s execution.
Keywords :
discrete event systems; finite state machines; observers; optimisation; sensors; K-diagnosability; discrete event systems; dynamic sensor activation; finite state automata; most permissive observer; optimization; state disambiguation problem; Automata; Computational modeling; Discrete event systems; Monitoring; Observers; Optimization; Safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on
Conference_Location :
Orlando, FL
ISSN :
0743-1546
Print_ISBN :
978-1-61284-800-6
Electronic_ISBN :
0743-1546
Type :
conf
DOI :
10.1109/CDC.2011.6160506
Filename :
6160506
Link To Document :
بازگشت