Ensuring the conformance of reactive discrete-event systems using supervisory control - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

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

Résumé

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
Fichier non déposé

Dates et versions

inria-00520030 , version 1 (22-09-2010)

Identifiants

Citer

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⟩
73 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More