Computer-assisted proofs of nonreachability for finite-dimensional linear control systems

DOI10.1137/24M1658711MaRDI QIDQ6925765zbMATH OpenFDO

Authors Ivan Hasenohr, Camille Pouchol, Yannick Privat, Christophe Zhang

Publication date 25 September 2025

Published in SIAM Journal on Control and Optimization (Search for Journal in Brave)

zbMATH Keywords

interval arithmeticreachability analysiscomputer-assisted proofsconstrained linear control systems

Mathematics Subject Classification ID

Control problems involving ordinary differential equations (34H05) Discrete approximations in optimal control (49M25) Numerical methods involving duality (49M29) Interval and finite arithmetic (65G30)

This page was built for publication: Computer-assisted proofs of nonreachability for finite-dimensional linear control systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6925765)