A Unifying Approach to Maximal Permissiveness in Modular Control of Discrete-Event Systems.

Jan Komenda Feng Lin Jan H. van Schuppen

Published in: CDC (2019)

Keyphrases

discrete event systems
discrete event
petri net
control system
telecommunication networks
failure diagnosis
complex systems
model based diagnosis
control strategy
dynamic systems
timed petri nets
computational complexity
search space
mathematical model
qualitative and quantitative
simulation model