Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00517265
Contributor : Hervé Marchand <>
Submitted on : Tuesday, September 14, 2010 - 9:12:00 AM
Last modification on : Wednesday, April 11, 2018 - 1:51:52 AM
Long-term archiving on: : Wednesday, December 15, 2010 - 2:34:51 AM

File

2004-IJPR.pdf
Files produced by the author(s)

Identifiers

Collections

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⟩

Share

Metrics

Record views

281

Files downloads

252