Diagnosability of Unambiguous Max-Plus Automata.

Aiwen Lai Jan Komenda Sébastien Lahaye

Published in: IEEE Trans. Syst. Man Cybern. Syst. (2022)

Keyphrases

discrete event systems
fault diagnosis
cellular automata
regular expressions
discrete event
probabilistic automata
lattice gas
finite state
global consistency
markov chain
real time
neural network
tree automata
genetic algorithm
pattern matching