Ensuring the conformance of reactive discrete-event systems by means of supervisory control - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles International Journal of Production Research Year : 2004

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

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.
Fichier principal
Vignette du fichier
2004-IJPR.pdf (344.26 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00517265 , version 1 (14-09-2010)

Identifiers

Cite

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, 2004, 42 (14), pp.2809 - 2826. ⟨10.1080/00207540410001705202⟩. ⟨inria-00517265⟩
77 View
108 Download

Altmetric

Share

Gmail Facebook X LinkedIn More