Sign in
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis.
Rong Su
Jan H. van Schuppen
Jacobus E. Rooda
Published in:
IEEE Trans. Autom. Control. (2010)
Keyphrases
</>
finite state automata
high level
theoretical analysis
finite state machines
databases
reinforcement learning
objective function
active learning
probability distribution
object oriented
computational model
conceptual model
computational models