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