Login / Signup
Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems.
Gianfranco Lamperti
Marina Zanella
Giovanni Chiodi
Lorenzo Chiodi
Published in:
KES (1) (2008)
Keyphrases
</>
model based diagnosis
finite automata
discrete event systems
physical systems
digital circuits
dynamic systems
complex systems
petri net
databases
diagnostic reasoning
reasoning systems
telecommunication networks
model based reasoning
fault models
tree automata
regular expressions
building blocks
search algorithm