Login / Signup
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
Shigemasa Takai
Toshimitsu Ushio
Published in:
IEEE Trans. Autom. Control. (2012)
Keyphrases
</>
discrete event systems
finite automata
petri net
finite state
telecommunication networks
model based diagnosis
complex systems
discrete event
failure diagnosis
model checking
timed petri nets
databases
finite automaton
expert systems
temporal constraints
cellular automata
deterministic automata
regular expressions