H Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. Rapport de recherche CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, Septembre 2000.
Charger l'article :
Gziped Postscript
Copyright : Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.
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
@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}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.