Login / Signup
A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata.
Xiaoguang Han
Zengqiang Chen
Published in:
J. Frankl. Inst. (2018)
Keyphrases
</>
finite state automata
optimal solution
dynamic programming
finite state machines
hybrid automata
computational complexity
worst case
databases
training data
active learning
control system
sufficient conditions
learning tasks
control strategy
control law
linear matrix inequality