-
Selection by year
-
Selection by authors
-
Complete lists
marchand99b
H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Research Report Irisa, No 1271, October 1999.
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
This paper regroups various studies achieved around polynomial dynamical system theory. It presents the basic algebraic tools for the study of this particular class of discrete event systems. The polynomial dynamical systems are defined by polynomial equations over \zzz. Their study relies on concept borrowed from elementary algebraic geometry: varieties, ideals and morphisms. They are the basic tools that allow us to translate properties or specifications from a geometric description to suitable polynomial computations. In this paper, we more precisely describe the controller synthesis methodology. We specify the main requirements as simple properties, named control objectives, that the controlled plant has to satisfy.The plant is specified as a polynomial dynamical system over Z/3Z. The control of the plant is performed by restricting the controllable input values to values suitable with respect to the control objectives. This restriction is obtained by incorporating new algebraic equations into the initial polynomial dynamical system, which specifies the plant. Various kind of control objectives are considered, such as ensuring the {\it invariance} or the {\it reachability} of a given set of states, as well as partial order relation to be checked by the controlled plant
Contact
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
BibTex Reference
@TechReport{marchand99b,
Author = {Marchand, H. and Le Borgne, M.},
Title = {The Supervisory Control Problem of Discrete Event Systems using polynomial Methods},
Number = {1271},
Institution = {Irisa},
Month = {October},
Year = {1999}
}
EndNote Reference [help]
Get EndNote Reference (.ref)