Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization.

Kwesi Rutledge Necmiye Ozay

Published in: HSCC (2022)

Keyphrases

linear systems
linear equations
dynamical systems
sufficient conditions
sparse linear systems
optimization problems
optimization method
coefficient matrix
evolutionary algorithm
optimization algorithm
global optimization
interior point methods
nearest neighbor
principal component analysis