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

DOI10.1080/00207540410001705202zbMath1152.93425OpenAlexW1987562644MaRDI QIDQ4671279

Valéry Tschaen, Thierry Jéron, Vlad Rusu, Hervé Marchand

Publication date: 26 April 2005

Published in: International Journal of Production Research (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00517265/file/2004-IJPR.pdf

zbMATH Keywords

automatically computed supervisor

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Large-scale systems (93A15)

Related Items (2)

Control design for nondeterministic input/output automata ⋮ A supervisory control method for ensuring the conformance of real-time discrete event systems

Uses Software

• UMDES

This page was built for publication: Ensuring the conformance of reactive discrete-event systems by means of supervisory control