Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients.

Published in: RAMiCS (2023)

Keyphrases

control system
finite automata
cellular automata
probabilistic automata
manufacturing process
power plant
finite state machines
finite state
water treatment
real time
tree automata
markov chain
evolutionary algorithm
information retrieval
machine learning
neural network
data sets