Showing math.OCShow all
2 papers · 1 filter
math.OC2026
Polytopic Inner Approximation of Admissible Sets for Linear Systems
Jean Lévine, Jean Lévine, Philipp Rumschinski +3
This paper presents a method for computing inner polytopic approximations of admissible sets for continuous-time linear control systems subject to multiple affine state constraints…
math.OC2024
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
Grigory Devadze, Victor Magron, Stefan Streif
We provide a computer-assisted approach to ensure that a given continuous or discrete-time polynomial system is (asymptotically) stable. Our framework relies on constructive analys…