Cover Image

Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khalife, Elias, Garoche, Pierre-Loic, Farhood, Mazen
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quadratic Characterizations for Reachability Analysis of Neural Networks
by: Khalife, Elias, et al.
Published: (2026)

Adversarial Reinforcement Learning for Robust Control of Fixed-Wing Aircraft under Model Uncertainty
by: Marquis, Dennis J., et al.
Published: (2025)

Finite Horizon Robustness Analysis of LTV Systems Using Integral Quadratic Constraints
by: Seiler, Peter, et al.
Published: (2017)

Scaled Relative Graphs and Dynamic Integral Quadratic Constraints: Connections and Computations for Nonlinear Systems
by: de Groot, Timo, et al.
Published: (2026)

Discrete-Time Stability Analysis of ReLU Feedback Systems via Integral Quadratic Constraints
by: Noori, Sahel Vahedi, et al.
Published: (2025)

Analysis of Gradient Descent with Varying Step Sizes using Integral Quadratic Constraints
by: Padmanabhan, Ram, et al.
Published: (2022)

Reliably Learn to Trim Multiparametric Quadratic Programs via Constraint Removal
by: Hou, Zhinan, et al.
Published: (2024)

Feasibility Evaluation of Quadratic Programs for Constrained Control
by: Rousseas, Panagiotis, et al.
Published: (2025)

Robust Control Design and Analysis Based on Lifting Linearization of Nonlinear Systems Under Uncertain Initial Conditions
by: Sinha, Sourav, et al.
Published: (2025)

A Sequential Quadratic Programming Perspective on Optimal Control
by: Abhijeet, et al.
Published: (2025)

Modified Control Barrier Function for Quadratic Program Based Control Design via Sum-of-Squares Programming
by: Lin, Yankai, et al.
Published: (2025)

Online Convex Optimization and Integral Quadratic Constraints: An automated approach to regret analysis
by: Jakob, Fabian, et al.
Published: (2025)

Optimization with Temporal and Logical Specifications via Generalized Mean-based Smooth Robustness Measures
by: Uzun, Samet, et al.
Published: (2024)

Economic Model Predictive Control for Periodic Operation: A Quadratic Programming Approach
by: Borja-Conde, Jose A., et al.
Published: (2025)

Reformulations of Quadratic Programs for Lipschitz Continuity
by: Agrawal, Devansh R., et al.
Published: (2025)

Control Barrier Function based Quadratic Programs Introduce Undesirable Asymptotically Stable Equilibria
by: Reis, Matheus F., et al.
Published: (2020)

Quadratic Optimal Control of Graphon Q-noise Linear Systems
by: Dunyak, Alex, et al.
Published: (2024)

On Robust Controlled Invariants for Continuous-time Monotone Systems
by: Wembe, Emmanuel Junior Wafo, et al.
Published: (2024)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
by: Wang, Han, et al.
Published: (2022)

Maximum Entropy Density Control of Discrete-Time Linear Systems with Quadratic Cost
by: Ito, Kaito, et al.
Published: (2023)

A High-Performant Multi-Parametric Quadratic Programming Solver
by: Arnström, Daniel, et al.
Published: (2024)

A Quadratic Programming Algorithm with $O(n^3)$ Time Complexity
by: Wu, Liang, et al.
Published: (2025)

Maximal Controlled Invariant-MPC: Enhancing Feasibility and Reducing Conservatism through Terminal CBF Constraint in Safety-Critical Control
by: Dokania, Tanmay, et al.
Published: (2026)

Derivative-Free Data-Driven Control of Continuous-Time Linear Time-Invariant Systems
by: Bosso, Alessandro, et al.
Published: (2024)

Formalizing Neuromorphic Control Systems: A General Proposal and A Rhythmic Case Study
by: Medvedeva, Taisia, et al.
Published: (2025)

Beyond Quadratic Costs in LQR: Bregman Divergence Control
by: Hassibi, Babak, et al.
Published: (2025)

A Discussion on Nonlinear Quadratic Control and Sontag's Formula
by: Lohmann, Boris, et al.
Published: (2023)

Robustness and Consistency in Linear Quadratic Control with Untrusted Predictions
by: Li, Tongxin, et al.
Published: (2021)

Online Actuator Selection and Controller Design for Linear Quadratic Regulation with Unknown System Model
by: Ye, Lintao, et al.
Published: (2022)

Data-Driven Discrepancy Modeling in Higher-Dimensional State Space via Coprime Factorization
by: Sinha, Sourav, et al.
Published: (2025)

Inexact Augmented Lagrangian Methods for Conic Programs: Quadratic Growth and Linear Convergence
by: Liao, Feng-Yi, et al.
Published: (2024)

Hypernetwork-Conditioned Reinforcement Learning for Robust Control of Fixed-Wing Aircraft under Actuator Failures
by: Marquis, Dennis, et al.
Published: (2026)

A variational and symplectic framework for model-free control: preliminary results
by: Michel, Loïc
Published: (2010)

Linear-Quadratic Problems in Systems and Controls via Covariance Representations and Linear-Conic Duality: Finite-Horizon Case
by: Bamieh, Bassam
Published: (2024)

Optimality of Linear Policies in Distributionally Robust Linear Quadratic Control
by: Taşkesen, Bahar, et al.
Published: (2025)

On Poly-Quadratic Stabilizability and Detectability of Polytopic LPV Systems
by: Meijer, T. J., et al.
Published: (2026)

Solving Quadratic Programs with Slack Variables via ADMM without Increasing the Problem Size
by: Lew, Thomas, et al.
Published: (2025)

A Lyapunov Characterization of Robust D-Stability with Application to Decentralized Integral Control of LTI Systems
by: Casasanta, John-Paolo, et al.
Published: (2026)

Safe Zeroth-Order Optimization Using Quadratic Local Approximations
by: Guo, Baiwei, et al.
Published: (2023)

LMI Properties and Applications in Systems, Stability, and Control Theory
by: Caverly, Ryan James, et al.
Published: (2019)