Jump to : Abstract | Contact | BibTex reference | EndNote reference |
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.
Thierry Jéron
Thierry.Jeron@irisa.fr
Hervé Marchand
hmarchan@irisa.fr
Vlad Rusu
Vlad.Rusu@irisa.fr
Valéry Tschaen
valery.Tschaen@irisa.fr
@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}
}
Get EndNote Reference (.ref)