Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Gziped Postscript (.ps.gz)
Copyright noticeThis 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.
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.
Hervé Marchand
hmarchan@irisa.fr
@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}
}
Get EndNote Reference (.ref)