C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm.
Zhenqi Huang
Yu Wang
Sayan Mitra
Geir E. Dullerud
Swarat Chaudhuri
Published in:
CoRR (2015)
Keyphrases
</>
linear systems
dynamic programming
learning algorithm
optimal solution
optimization algorithm
objective function
neural network
support vector machine svm
expert systems
search space
linear programming
mathematical model
dynamical systems