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)

Full work available at URL https://doi.org/10.1137/24M1658711

zbMATH Keywords

computer-assisted proofsconstrained linear control systemsinterval arithmeticreachability analysis

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)

Cites work

• A first-order primal-dual algorithm for convex problems with applications to imaging
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• Approximate control of parabolic equations with on-off shape controls by Fenchel duality
• Approximation of reachable sets by direct solution methods for optimal control problems
• Constrained controllability of nonlinear systems
• Control and nonlinearity.
• Control issues and linear projection constraints on the control and on the controlled trajectory
• Controllability in Linear Autonomous Systems with Positive Controllers
• Controllability of dynamical systems with constraints
• Controllability properties of constrained linear systems
• Controllability under positivity constraints of multi-d wave equations
• Controllability under positivity constraints of semilinear heat equations
• Convex analysis and monotone operator theory in Hilbert spaces
• Functions of Matrices
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Minimal controllability time for finite-dimensional control systems under state constraints
• Nonnegative control of finite-dimensional linear systems
• On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
• On Ellipsoidal Techniques for Reachability Analysis. Part II: Internal Approximations Box-valued Constraints
• Reachability Analysis of Hybrid Systems Using Support Functions
• Reachability analysis of linear systems using support functions
• Reachable set over-approximation for nonlinear systems using piecewise barrier tubes
• Remarks on approximate controllability
• Robustness under control sampling of reachability in fixed time for nonlinear control systems
• State-constrained controllability of linear reaction-diffusion systems
• Switching control

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)