inria-00526273, version 1
Optimal control of discrete event systems under partial observation
Hervé Marchand a, 1Olivier Boivineau 2Stéphane Lafortune
2
40th IEEE Conference on Decision and Control (2001) 2235-2240
Résumé : We are interested in a class of optimal control problems for discrete event systems (DES). We adopt the formalism of supervisory control theory and model the system as a finite state machine (FSM). Our control problem is characterized by the presence of uncontrollable as well as unobservable events, the notion of occurrence and control costs for events and a worst-case objective function. We first derive an observer for the partially unobservable FSM, which allows us to construct an approximation of the unobservable trajectory costs. We define the performance measure on this observer rather than on the original FSM itself. Further, we use the algorithm of Sengupta and Lafortune (1998) to synthesize an optimal submachine of the observer. This submachine leads to the desired supervisor for the system
- a – INRIA
- 1 : EP-ATR (INRIA - IRISA)
- INRIA – CNRS : UMR6074 – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1
- 2 : Department of Electrical Engineering and Computer Science (EECS)
- University of Michigan
- Domaine : Informatique/Génie logiciel
- inria-00526273, version 1
- http://hal.inria.fr/inria-00526273
- oai:hal.inria.fr:inria-00526273
- Contributeur : Hervé Marchand
- Soumis le : Jeudi 14 Octobre 2010, 10:50:45
- Dernière modification le : Lundi 18 Octobre 2010, 10:12:56