%0 Conference Proceedings
%F jeron2003b
%A Jéron, T.
%A Marchand, H.
%A Rusu, V.
%A Tschaen, V.
%T Ensuring the conformance of reactive discrete-event systems using supervisory control
%B 42nd IEEE Conference on Decision and Control
%C Hawaii, USA
%X 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
%8 December
%D 2003