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

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.