jeron04a

T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discrete-event systems by means of supervisory control. International Journal of Production Research, 42(14):2809-2826, 2004.

Download [help]

Download paper: Doi page

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 study the problem of controlling a plant of a system by means of an automatically computed supervisor, in order to ensure a certain conformance relation between the plant and its formal specification. The supervisor can be seen as a device that automatically fixes errors, which otherwise should have been discovered by testing and fixed by hand. The resulting controlled plant conforms to the specification and is maximal in terms of observable behavior

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://www.irisa.fr/prive/hmarchan
Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html
Valéry Tschaen http://www.irisa.fr/vertecs/Equipe/Tschaen

BibTex Reference

@article{jeron04a,
   Author = {Jéron, T. and Marchand, H. and Rusu, V. and Tschaen, V.},
   Title = {Ensuring the conformance of reactive discrete-event systems by means of supervisory control},
   Journal = {International Journal of Production Research},
   Volume = {42},
   Number = {14},
   Pages = {2809--2826},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)