marchand00e

H Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. Research Report CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, September 2000.

Download [help]

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 formalism of supervisory control theory [ramadge89 and model the system as the marked language generated by a finite state machine (FSM). Our control problem follows the theory in [sengupta98] and is characterized by the presence of uncontrollable events, the notion of occurrence and control costs for events and a worst-case objective function. However, compared to the work in [sengupta98], we wish to take into account partial observability. Our solution approach consists of two steps. The first step is the derivation of an observer for the partially unobservable FSM, called a C-observer, which allows us to mask the underlying nondeterminism and to construct an approximation of the unobservable trajectory costs. We then define the performance measure on this observer rather than on the original FSM itself. In the second step, we use the algorithm presented in [sengupta98] to synthesize an optimal submachine of the C-observer. This submachine leads to the desired supervisor for the system

Contact

Hervé Marchand http://www.irisa.fr/prive/hmarchan

BibTex Reference

@TechReport{marchand00e,
   Author = {Marchand, H and Boivineau, O. and Lafortune, S.},
   Title = {Optimal control of discrete event systems under partial observation},
   Institution = {CGR-00-10, Control Group, College of Engineering, University of Michigan, USA},
   Month = {September},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)