21 citations · 29 across the 8 of their papers we have counts for
Showing math.OCShow all
3 papers · 1 filter
math.OC2018
Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems
Assalé Adjé
In this paper, we solve a maximization problem where the objective function is quadratic and the constraints set is the reachable values set of a stable discrete-time affine system…
math.OC2015
Overapproximating the Reachable Values Set of Piecewise Affine Systems Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions
Assalé Adjé
We have recently constructed a piecewise quadratic Lyapunov function to prove the boundedness of the reachable values set of piecewise affine discrete-time systems. The method deve…
math.OC2014
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Assalé Adje, Pierre-Loïc Garoche
Among the various critical systems that worth to be formally analyzed, a wide set consists of controllers for dynamical systems. Those programs typically execute an infinite loop i…