Ensuring the conformance of reactive discrete-event systems by means of supervisory control

Thierry Jéron 1 Hervé Marchand 1 Vlad Rusu 1 Valérie Tschaen 1
1 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
Abstract : We study the problem of controlling a plant of a system by means of an automatically computed supervisor, in order to ensure a certain conformance relation between the plant and its formal specification. The supervisor can be seen as a device that automatically fixes errors that otherwise would have been discovered by testing and fixed by hand. The resulting controlled plant conforms to the specification and is maximal in terms of observable behaviour.
Type de document :
Article dans une revue
International Journal of Production Research, Taylor & Francis, 2004, 42 (14), pp.2809 - 2826. 〈10.1080/00207540410001705202〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00517265
Contributeur : Hervé Marchand <>
Soumis le : mardi 14 septembre 2010 - 09:12:00
Dernière modification le : mercredi 11 avril 2018 - 01:51:52
Document(s) archivé(s) le : mercredi 15 décembre 2010 - 02:34:51

Fichier

2004-IJPR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | IRISA | UR1-UFR-ISTIC

Citation

Thierry Jéron, Hervé Marchand, Vlad Rusu, Valérie Tschaen. Ensuring the conformance of reactive discrete-event systems by means of supervisory control. International Journal of Production Research, Taylor & Francis, 2004, 42 (14), pp.2809 - 2826. 〈10.1080/00207540410001705202〉. 〈inria-00517265〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

213

Téléchargements de fichiers

93

Contact


archive-ouverte@inria.fr