Login / Signup
Minimal Diagnosis and Diagnosability of Discrete-Event Systems Modeled by Automata.
Xiangfu Zhao
Gianfranco Lamperti
Dantong Ouyang
Xiangrong Tong
Published in:
Complex. (2020)
Keyphrases
</>
discrete event systems
model based diagnosis
failure diagnosis
petri net
complex systems
telecommunication networks
discrete event
timed petri nets
cellular automata
temporal constraints
simulation model
finite automata
database
finite state machines
model checking
search space
multi agent systems