Login / Signup
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:
CDC (2015)
Keyphrases
</>
linear systems
learning algorithm
dynamic programming
optimal solution
sufficient conditions
support vector
neural network
coefficient matrix
simulated annealing
sparse linear systems
interior point methods
linear model
hybrid algorithm
regression model
linear programming
support vector machine
search space