Synthesis of safety certificates for discrete-time uncertain systems via convex optimization
Fuente:
arXiv
Salvato in:
| Autori principali: | Fochesato, Marta, Wang, Han, Papachristodoulou, Antonis, Goulart, Paul |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Robustness certificates in data-driven non-convex optimization with additively-uncertain constraints
di: Gallo, Alexander J, et al.
Pubblicazione: (2026)
di: Gallo, Alexander J, et al.
Pubblicazione: (2026)
Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
di: Wang, Han, et al.
Pubblicazione: (2022)
di: Wang, Han, et al.
Pubblicazione: (2022)
Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
di: Wang, Han, et al.
Pubblicazione: (2023)
di: Wang, Han, et al.
Pubblicazione: (2023)
Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
di: Wang, Han, et al.
Pubblicazione: (2024)
di: Wang, Han, et al.
Pubblicazione: (2024)
Loss-aware distributionally robust optimization via trainable optimal transport ambiguity sets
di: Ohnemus, Jonas, et al.
Pubblicazione: (2025)
di: Ohnemus, Jonas, et al.
Pubblicazione: (2025)
Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints
di: Wang, Han, et al.
Pubblicazione: (2024)
di: Wang, Han, et al.
Pubblicazione: (2024)
Model Predictive Control with Multiple Constraint Horizons
di: Nascimento, Allan Andre do, et al.
Pubblicazione: (2025)
di: Nascimento, Allan Andre do, et al.
Pubblicazione: (2025)
Constraint Horizon in Model Predictive Control
di: Nascimento, Allan Andre Do, et al.
Pubblicazione: (2025)
di: Nascimento, Allan Andre Do, et al.
Pubblicazione: (2025)
Acceleration of Moment Bound Optimization for Stochastic Chemical Reactions Using Reaction-wise Sparsity of Moment Equations
di: Sadatoshi, Tomoki, et al.
Pubblicazione: (2026)
di: Sadatoshi, Tomoki, et al.
Pubblicazione: (2026)
Joint Chance Constrained Optimal Control via Linear Programming
di: Schmid, Niklas, et al.
Pubblicazione: (2024)
di: Schmid, Niklas, et al.
Pubblicazione: (2024)
Statistically consistent inverse optimal control for discrete-time indefinite linear-quadratic systems
di: Zhang, Han, et al.
Pubblicazione: (2022)
di: Zhang, Han, et al.
Pubblicazione: (2022)
Energy-optimal control of discrete-time port-Hamiltonian systems
di: Sarkar, Arijit, et al.
Pubblicazione: (2025)
di: Sarkar, Arijit, et al.
Pubblicazione: (2025)
Towards optimal control of ensembles of discrete-time systems
di: Fiedler, Christian, et al.
Pubblicazione: (2025)
di: Fiedler, Christian, et al.
Pubblicazione: (2025)
Achieving distributed convex optimization within prescribed time for high-order nonlinear multiagent systems
di: Zuo, Gewei, et al.
Pubblicazione: (2024)
di: Zuo, Gewei, et al.
Pubblicazione: (2024)
Distributionally Robust LQG with Kullback-Leibler Ambiguity Sets
di: Fochesato, Marta, et al.
Pubblicazione: (2025)
di: Fochesato, Marta, et al.
Pubblicazione: (2025)
Approximate solution of stochastic infinite horizon optimal control problems for constrained linear uncertain systems
di: Joa, Eunhyek, et al.
Pubblicazione: (2024)
di: Joa, Eunhyek, et al.
Pubblicazione: (2024)
Online convex optimization for constrained control of nonlinear systems
di: Nonhoff, Marko, et al.
Pubblicazione: (2024)
di: Nonhoff, Marko, et al.
Pubblicazione: (2024)
Computing Optimal Joint Chance Constrained Control Policies
di: Schmid, Niklas, et al.
Pubblicazione: (2023)
di: Schmid, Niklas, et al.
Pubblicazione: (2023)
Online convex optimization for robust control of constrained dynamical systems
di: Nonhoff, Marko, et al.
Pubblicazione: (2024)
di: Nonhoff, Marko, et al.
Pubblicazione: (2024)
Certainty-equivalent adaptive MPC for uncertain nonlinear systems
di: Köhler, Johannes
Pubblicazione: (2026)
di: Köhler, Johannes
Pubblicazione: (2026)
Robust stabilization of polytopic systems via fast and reliable neural network-based approximations
di: Fabiani, Filippo, et al.
Pubblicazione: (2022)
di: Fabiani, Filippo, et al.
Pubblicazione: (2022)
A contract negotiation scheme for safety verification of interconnected systems
di: Tan, Xiao, et al.
Pubblicazione: (2023)
di: Tan, Xiao, et al.
Pubblicazione: (2023)
Decentralized non-convex optimization via bi-level SQP and ADMM
di: Stomberg, Gösta, et al.
Pubblicazione: (2022)
di: Stomberg, Gösta, et al.
Pubblicazione: (2022)
Multiparametric continuous-time optimal control via Pontryagin's Maximum Principle: explicit solutions and comparisons with discrete-time formulations
di: Lamakani, Lida, et al.
Pubblicazione: (2026)
di: Lamakani, Lida, et al.
Pubblicazione: (2026)
On the Design of Rational Polynomial State Feedback Controllers
di: Newton, Matthew, et al.
Pubblicazione: (2025)
di: Newton, Matthew, et al.
Pubblicazione: (2025)
Model-Free Verification for Neural Network Controlled Systems
di: Wang, Han, et al.
Pubblicazione: (2023)
di: Wang, Han, et al.
Pubblicazione: (2023)
Data-Driven Stable Neural Feedback Loop Design
di: Xiong, Zuxun, et al.
Pubblicazione: (2024)
di: Xiong, Zuxun, et al.
Pubblicazione: (2024)
Set-membership identification of continuous-time MIMO systems via Tustin discretization
di: Cerone, Vito, et al.
Pubblicazione: (2025)
di: Cerone, Vito, et al.
Pubblicazione: (2025)
Online convex optimization for constrained control of linear systems using a reference governor
di: Nonhoff, Marko, et al.
Pubblicazione: (2022)
di: Nonhoff, Marko, et al.
Pubblicazione: (2022)
An accelerated proximal bundle method for convex optimization
di: Liao, Feng-Yi, et al.
Pubblicazione: (2025)
di: Liao, Feng-Yi, et al.
Pubblicazione: (2025)
Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems
di: Masti, Daniele, et al.
Pubblicazione: (2023)
di: Masti, Daniele, et al.
Pubblicazione: (2023)
Approximate predictive control barrier function for discrete-time systems
di: Didier, Alexandre, et al.
Pubblicazione: (2024)
di: Didier, Alexandre, et al.
Pubblicazione: (2024)
Non-convex optimization problems for maximum hands-off control
di: Ikeda, Takuya
Pubblicazione: (2024)
di: Ikeda, Takuya
Pubblicazione: (2024)
A feedback control approach to convex optimization with inequality constraints
di: Cerone, V., et al.
Pubblicazione: (2024)
di: Cerone, V., et al.
Pubblicazione: (2024)
Fast Online Distributionally Robust Optimization via Data Compression
di: Wang, Irina, et al.
Pubblicazione: (2025)
di: Wang, Irina, et al.
Pubblicazione: (2025)
Linear quadratic control for discrete-time systems with stochastic and bounded noises
di: Ma, Xuehui, et al.
Pubblicazione: (2025)
di: Ma, Xuehui, et al.
Pubblicazione: (2025)
Parameter identification for an uncertain reaction-diffusion equation via setpoint regulation
di: Besançon, Gildas, et al.
Pubblicazione: (2024)
di: Besançon, Gildas, et al.
Pubblicazione: (2024)
Boundary adaptive observer design for semilinear hyperbolic rolling contact ODE-PDE systems with uncertain friction
di: Romano, Luigi, et al.
Pubblicazione: (2026)
di: Romano, Luigi, et al.
Pubblicazione: (2026)
Digital control of negative imaginary systems: a discrete-time hybrid integrator-gain system approach
di: Shi, Kanghong, et al.
Pubblicazione: (2024)
di: Shi, Kanghong, et al.
Pubblicazione: (2024)
A multiobjective approach to robust predictive control barrier functions for discrete-time systems
di: Didier, Alexandre, et al.
Pubblicazione: (2025)
di: Didier, Alexandre, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Robustness certificates in data-driven non-convex optimization with additively-uncertain constraints
di: Gallo, Alexander J, et al.
Pubblicazione: (2026) -
Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
di: Wang, Han, et al.
Pubblicazione: (2022) -
Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
di: Wang, Han, et al.
Pubblicazione: (2023) -
Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier -- Lyapunov Condition
di: Wang, Han, et al.
Pubblicazione: (2024) -
Loss-aware distributionally robust optimization via trainable optimal transport ambiguity sets
di: Ohnemus, Jonas, et al.
Pubblicazione: (2025)