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

jeron2003b

T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Ensuring the conformance of reactive discrete-event systems using supervisory control. In 42nd IEEE Conference on Decision and Control, Hawaii, USA, December 2003.

Abstract

We study the problem of controlling an implementation of a system by means of an automatically computed supervisor, in order to ensure a conformance relation between the implementation and its formal specification. The supervisor can be seen as a ``patch'' that automatically fixes errors, which otherwise should have been discovered by testing and fixed by hand

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@InProceedings{jeron2003b,
   Author = {Jéron, T. and Marchand, H. and Rusu, V. and Tschaen, V.},
   Title = {Ensuring the conformance of reactive discrete-event systems using supervisory control},
   BookTitle = {42nd IEEE Conference on Decision and Control},
   Address = {Hawaii, USA},
   Month = {December},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)