Tool for Diagnosis of Stochastic Automata.

Stefan Kristofík Jana Flochová

Published in: EBCCSP (2020)

Keyphrases

probabilistic automata
diagnostic tool
fault diagnosis
cellular automata
real time
user friendly
monte carlo
lattice gas
finite automata
stochastic optimization
stochastic processes
model based diagnosis
optimal policy
expert systems
knowledge base
information systems
data mining