Optimal control of discrete event systems under partial observation

Hervé Marchand 1 Olivier Boivineau 2 Stéphane Lafortune 2
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 EECS - Department of Electrical Engineering and Computer Science
Abstract : 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
Type de document :
Communication dans un congrès
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. IEEE, pp.2235-2240, 2001, 〈10.1109/.2001.980609〉
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00526273
Contributeur : Hervé Marchand <>
Soumis le : jeudi 14 octobre 2010 - 10:50:45
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : samedi 15 janvier 2011 - 02:41:22

Fichier

2001-CDC-Opt.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

INRIA | IRISA | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Hervé Marchand, Olivier Boivineau, Stéphane Lafortune. Optimal control of discrete event systems under partial observation. 40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. IEEE, pp.2235-2240, 2001, 〈10.1109/.2001.980609〉. 〈inria-00526273〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

267

Téléchargements de fichiers

90

Contact


archive-ouverte@inria.fr