Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

marchand97a

H. Marchand, M. Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. Research Report Irisa, No 1125, October 1997.

Download [help]

Download paper: Adobe portable document (pdf) 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

In this paper, we propose computational methods for the synthesis of controllers for Discrete Event Systems modeled as Polynomial Dynamical Systems over finite Galois field. The control objectives are specified as order relations to be checked and as a minimization of a given cost function over the states through the trajectories of the system. The control objectives are then synthesized using algebraic tools such as ideals, varieties and morphisms. The applications of these methods to the safety specification of a power transformer station controller is finally presented.

Keywords: Discrete Event Systems, Polynomial methods, synthesis, Optimal Control

Contact

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

BibTex Reference

@TechReport{marchand97a,
   Author = {Marchand, H. and Le Borgne, M.},
   Title = {Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields},
   Number = {1125},
   Institution = {Irisa},
   Month = {October},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs