T. Jéron, H. Marchand, V. Rusu and  V. Tschaen.

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

To appear in  42nd IEEE Conference on Decision and Control (CDC'03)

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.