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
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;
Conference_Titel :
Decision and Control and European Control Conference (CDC-ECC), 2011 50th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
978-1-61284-800-6
Electronic_ISBN :
0743-1546
DOI :
10.1109/CDC.2011.6160506