As quantum computing hardware advances, the demand for scalable, precise, and fully automated verification techniques for ...

Abstract: In this brief, we present a set of techniques for finding a cost function to the time-invariant linear quadratic regulator (LQR ... In addition, we propose a gradient-based, least-squares ...

Abstract: This paper describes experiences with mixed integer linear programming (MILP) based approaches on the short-term hydro scheduling (STHS) function. The STHS is used to determine the optimal ...

LinearSolve.jl: High-Performance Unified Interface for Linear Solvers in Julia. Easily switch between factorization and Krylov methods, add preconditioners, and all in one interface.