# Ensuring the conformance of reactive discrete-event systems using supervisory control

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
Document type :
Conference papers

https://hal.inria.fr/inria-00520030
Contributor : Hervé Marchand <>
Submitted on : Wednesday, September 22, 2010 - 9:32:21 AM
Last modification on : Thursday, January 7, 2021 - 4:39:58 PM

### Citation

Thierry Jéron, Hervé Marchand, Vlad Rusu, Valérie Tschaen. Ensuring the conformance of reactive discrete-event systems using supervisory control. 42nd IEEE Conference on Decision and Control, Dec 2003, Hawaii, United States. pp.2692 - 2697, ⟨10.1109/CDC.2003.1273030⟩. ⟨inria-00520030⟩

Record views