Imagen de Portada

Latent Representations for Control Design with Provable Stability and Safety Guarantees

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lutkus, Paul, Wang, Kaiyuan, Lindemann, Lars, Tu, Stephen
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control Optimization and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Incremental Composition of Learned Control Barrier Functions in Unknown Environments
por: Lutkus, Paul, et al.
Publicado: (2024)

Reinforcement Learning for Distributed Transient Frequency Control with Stability and Safety Guarantees
por: Yuan, Zhenyi, et al.
Publicado: (2022)

Control Barrier Function based Attack-Recovery with Provable Guarantees
por: Garg, Kunal, et al.
Publicado: (2022)

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions
por: Lutkus, Paul, et al.
Publicado: (2025)

Learning Soft Constrained MPC Value Functions: Efficient MPC Design and Implementation providing Stability and Safety Guarantees
por: Chatzikiriakos, Nicolas, et al.
Publicado: (2024)

Optimal Control with Lyapunov Stability Guarantees for Space Applications
por: Abhijeet, et al.
Publicado: (2025)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
por: Liu, Shuo, et al.
Publicado: (2023)

Aggressiveness-Aware Learning-based Control of Quadrotor UAVs with Safety Guarantees
por: Colombo, Leonardo, et al.
Publicado: (2026)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
por: Liu, Shuo, et al.
Publicado: (2025)

Finite Control Set Model Predictive Control with Limit Cycle Stability Guarantees
por: Xu, Duo, et al.
Publicado: (2024)

High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees
por: Izadi, Maedeh, et al.
Publicado: (2024)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
por: Kordabad, Arash Bahari, et al.
Publicado: (2024)

Novel Multi-objective Switched Model Predictive Control with Feasibility and Stability Guarantees
por: Niepötter, Elias, et al.
Publicado: (2025)

Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees
por: Serry, Mohamed, et al.
Publicado: (2024)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
por: Kordabad, Arash Bahari, et al.
Publicado: (2025)

Distributed Truncated Predictive Control for Networked Systems under Uncertainty: Stability and Near-Optimality Guarantee
por: Xu, Eric, et al.
Publicado: (2023)

Deep Koopman Iterative Learning and Stability-Guaranteed Control for Unknown Nonlinear Time-Varying Systems
por: Zhang, Hengde, et al.
Publicado: (2026)

Incremental Policy Iteration for Unknown Nonlinear Systems with Stability and Performance Guarantees
por: Meng, Qingkai, et al.
Publicado: (2025)

On Suboptimal Safety-Critical Tracking Controller Design
por: Batmani, Yazdan, et al.
Publicado: (2025)

A Converse Control Lyapunov Theorem for Joint Safety and Stability
por: Quartz, Thanin, et al.
Publicado: (2025)

Stabilization of Strictly Pre-Dissipative Receding Horizon Linear Quadratic Control by Terminal Costs
por: Zanon, Mario, et al.
Publicado: (2025)

Adaptive Output Feedback MPC with Guaranteed Stability and Robustness
por: Dey, Anchita, et al.
Publicado: (2025)

Proxy Control Barrier Functions: Integrating Barrier-Based and Lyapunov-Based Safety-Critical Control Design
por: Wang, Yujie, et al.
Publicado: (2025)

Distributed Safe Control Design and Probabilistic Safety Verification for Multi-Agent Systems
por: Wang, Han, et al.
Publicado: (2023)

Negative Imaginary Neural ODEs: Learning to Control Mechanical Systems with Stability Guarantees
por: Shi, Kanghong, et al.
Publicado: (2025)

Bootstrapping Guarantees: Stability and Performance Analysis for Dynamic Encrypted Control
por: Schlor, Sebastian, et al.
Publicado: (2024)

Learning-Based Optimal Control with Performance Guarantees for Unknown Systems with Latent States
por: Lefringhausen, Robert, et al.
Publicado: (2023)

Time-Discretized Simulation of Vehicle Platoons for Safety Analysis with Guaranteed Error Bounds
por: Chen, Yuhao, et al.
Publicado: (2025)

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs
por: Nishimura, Yuki, et al.
Publicado: (2022)

On Finite- and Fixed-Time Stabilization of Abstract Nonlinear Systems with Well-Posedness Guarantees
por: Fenza, Kamal, et al.
Publicado: (2025)

Converse Theorems for Certificates of Safety and Stability
por: Mestres, Pol, et al.
Publicado: (2024)

Provably Safe Control for Constrained Nonlinear Systems with Bounded Input
por: Kumar, Saurabh, et al.
Publicado: (2025)

Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
por: de Jong, Thomas, et al.
Publicado: (2024)

Invariance Guarantees using Continuously Parametrized Control Barrier Functions
por: Jang, Inkyu, et al.
Publicado: (2025)

Scenario Reduction with Guarantees for Stochastic Optimal Control of Linear Systems
por: Cordiano, Francesco, et al.
Publicado: (2024)

Continuous-Time Zeroth-Order Dynamics with Projection Maps: Model-Free Feedback Optimization with Safety Guarantees
por: Chen, Xin, et al.
Publicado: (2023)

Adaptive Economic Model Predictive Control: Performance Guarantees for Nonlinear Systems
por: Degner, Maximilian, et al.
Publicado: (2024)

Closed-loop Performance Optimization of Model Predictive Control with Robustness Guarantees
por: Zuliani, Riccardo, et al.
Publicado: (2024)

Towards Fast and Safety-Guaranteed Trajectory Planning and Tracking for Time-Varying Systems
por: Siriya, Seth, et al.
Publicado: (2024)

Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs
por: Omidi, Saber, et al.
Publicado: (2025)