Copertina

Minimally Conservative Controlled-Invariant Set Synthesis Using Control Barrier Certificates

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Toulkani, Naeim Ebrahimi, Ghabcheloo, Reza
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Safety Filter Design for Articulated Frame Steering Vehicles In the Presence of Actuator Dynamics Using High-Order Control Barrier Functions
di: Toulkani, Naeim Ebrahimi, et al.
Pubblicazione: (2024)

Autonomous Wheel Loader Navigation Using Goal-Conditioned Actor-Critic MPC
di: Mäki-Penttilä, Aleksi, et al.
Pubblicazione: (2024)

Learning Quasi-LPV Models and Robust Control Invariant Sets with Reduced Conservativeness
di: Mulagaleti, Sampath Kumar, et al.
Pubblicazione: (2025)

Learning to Capture Rocks using an Excavator: A Reinforcement Learning Approach with Guiding Reward Formulation
di: Molaei, Amirmasoud, et al.
Pubblicazione: (2025)

Robust Adaptive Discrete-Time Control Barrier Certificate
di: Liu, Changrui, et al.
Pubblicazione: (2025)

Data-Driven Synthesis of Probabilistic Controlled Invariant Sets for Linear MDPs
di: Hashimoto, Kazumune, et al.
Pubblicazione: (2026)

Safe Control Synthesis Using Environmentally Robust Control Barrier Functions
di: Hamdipoor, Vahid, et al.
Pubblicazione: (2023)

ReLU Barrier Functions for Nonlinear Systems with Constrained Control: A Union of Invariant Sets Approach
di: Samanipour, Pouya, et al.
Pubblicazione: (2026)

Continuous-time Data-driven Barrier Certificate Synthesis
di: Rickard, Luke, et al.
Pubblicazione: (2025)

Data-Driven Permissible Safe Control with Barrier Certificates
di: Mazouz, Rayan, et al.
Pubblicazione: (2024)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
di: Mulagaleti, Sampath Kumar, et al.
Pubblicazione: (2025)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
di: Vaisi, Goli, et al.
Pubblicazione: (2025)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
di: Wooding, Ben, et al.
Pubblicazione: (2024)

Controlled Invariant Sets for Gaussian Process State Space Models
di: Griffioen, Paul, et al.
Pubblicazione: (2024)

Adaptive Control Barrier Functions with Vanishing Conservativeness Under Persistency of Excitation
di: Gutierrez, Ricardo, et al.
Pubblicazione: (2024)

Invariant Set Estimation for Piecewise Affine Dynamical Systems Using Piecewise Affine Barrier Function
di: Samanipour, Pouya, et al.
Pubblicazione: (2024)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
di: Wu, Hao, et al.
Pubblicazione: (2023)

Verification and Synthesis of Discrete-Time Control Barrier Functions
di: Shakhesi, Erfan, et al.
Pubblicazione: (2025)

Monotone Neural Barrier Certificates
di: Jafarpour, Saber, et al.
Pubblicazione: (2025)

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs
di: Vahs, Matti, et al.
Pubblicazione: (2024)

Distributed Predictive Control Barrier Functions: Towards Scalable Safety Certification in Modular Multi-Agent Systems
di: Ohnemus, Jonas, et al.
Pubblicazione: (2026)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
di: Dai, Hongkai, et al.
Pubblicazione: (2024)

Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
di: Tayal, Manan, et al.
Pubblicazione: (2024)

Combined Learning of Linear Parameter-Varying Models and Robust Control Invariant Sets
di: Mulagaleti, Sampath Kumar, et al.
Pubblicazione: (2024)

Set-Based Control Barrier Functions for Scalable Safety Filter Design
di: Wabersich, Kim P., et al.
Pubblicazione: (2025)

Receding-Constraint Model Predictive Control using a Learned Approximate Control-Invariant Set
di: Lunardi, Gianni, et al.
Pubblicazione: (2023)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
di: Mandal, Udayan, et al.
Pubblicazione: (2024)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
di: Kranzlmüller, Miriam, et al.
Pubblicazione: (2026)

Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture
di: Adhikary, Sunandan, et al.
Pubblicazione: (2026)

From Time-Invariant to Uniformly Time-Varying Control Barrier Functions: A Constructive Approach
di: Wiltz, Adrian, et al.
Pubblicazione: (2024)

Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
di: Shakhesi, Erfan, et al.
Pubblicazione: (2025)

Distributed Stability Certification and Control from Local Data
di: Malladi, Surya, et al.
Pubblicazione: (2026)

Verification and Synthesis Methods for High-Order Control Barrier Functions
di: Pond, Ellie, et al.
Pubblicazione: (2025)

Control Barrier Functions with Audio Risk Awareness for Robot Safe Navigation on Construction Sites
di: Mootz, Johannes, et al.
Pubblicazione: (2026)

Optimal Voltage Control Using Online Exponential Barrier Method
di: Zhang, Peng, et al.
Pubblicazione: (2025)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
di: Yang, Shuo, et al.
Pubblicazione: (2023)

Control Closure Certificates
di: Murali, Vishnu, et al.
Pubblicazione: (2025)

Direct Digital-to-Physical Synthesis: From mmWave Transmitter to Qubit Control
di: Ebrahimi, Najme, et al.
Pubblicazione: (2026)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
di: Wiltz, Adrian, et al.
Pubblicazione: (2025)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control
di: Li, Xiao, et al.
Pubblicazione: (2025)