Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations.

Shinya Miyajima

Published in: J. Comput. Appl. Math. (2017)

Keyphrases

differential equations
boundary value problem
polynomial equations
optimal solution
solution space
neural network
search space
higher order
benchmark problems
dynamic systems
medial axis
closed form solutions
square root
markov processes
hamilton jacobi