Login / Signup
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems.
Rômulo Meira-Góes
Jack Weitze
Stéphane Lafortune
Published in:
IEEE Trans. Autom. Control. (2022)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
database
model based diagnosis
discrete event
global consistency
timed petri nets
databases
search algorithm
dynamic programming
sensor networks
steady state
failure diagnosis