-
Selection by year
-
Selection by authors
-
Complete lists
marchand01b
H. Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. In 40th IEEE Conference on Decision and Control, Pages 2235-2240, Orlando, Florida, USA, December 2001.
Download [help]
Download paper:
Doi page 
Download paper:
Adobe portable document (pdf) 
Copyright notice:
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic
Abstract
We are interested in a new class of optimal control problems for Discrete Event Systems (DES). We adopt the classical 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 & Lafortune, Siam Control and Optimisation, 36(2), 1998] to synthesize an optimal submachine of the observer. This submachine leads to the desired supervisor for the system
Contact
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
BibTex Reference
@InProceedings{marchand01b,
Author = {Marchand, H. and Boivineau, O. and Lafortune, S.},
Title = {Optimal control of discrete event systems under partial observation},
BookTitle = {40th IEEE Conference on Decision and Control},
Pages = {2235--2240},
Address = {Orlando, Florida, USA},
Month = {December},
Year = {2001}
}
EndNote Reference [help]
Get EndNote Reference (.ref)