Login / Signup
Computation of minimal diagnosis bases of Discrete-Event Systems using verifiers.
Leonardo P. M. Santoro
Marcos Vicente Moreira
João Carlos Basilio
Published in:
Autom. (2017)
Keyphrases
</>
discrete event systems
model based diagnosis
petri net
failure diagnosis
telecommunication networks
complex systems
discrete event
timed petri nets
temporal constraints
dynamic systems
multi agent
search space
special case
model checking
constraint satisfaction