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

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
Type de document :
Communication dans un congrès
42nd IEEE Conference on Decision and Control, Dec 2003, Hawaii, United States. IEEE, pp.2692 - 2697, 2003, 〈10.1109/CDC.2003.1273030〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00520030
Contributeur : Hervé Marchand <>
Soumis le : mercredi 22 septembre 2010 - 09:32:21
Dernière modification le : mercredi 11 avril 2018 - 01:54:38

Identifiants

Collections

Citation

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. IEEE, pp.2692 - 2697, 2003, 〈10.1109/CDC.2003.1273030〉. 〈inria-00520030〉

Partager

Métriques

Consultations de la notice

200