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

Thieny Eron Hervé Marchand Vlad Rusu Valéry Tschaen

Published in: CDC (2003)

Keyphrases

discrete event systems
supervisory control
discrete event
dynamic systems
simulation model
dynamical systems
data acquisition
model based diagnosis
complex systems
real time
petri net
mathematical model
constraint satisfaction