Copertina

Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lishkova, Yana, Ong, Pio, Tonkens, Sander, Herbert, Sylvia, Ames, Aaron D.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
di: Begzadić, Azra, et al.
Pubblicazione: (2025)

Reach-Avoid-Stabilize Using Admissible Control Sets
di: Gong, Zheng, et al.
Pubblicazione: (2025)

MADR: MPC-guided Adversarial DeepReach
di: Teoh, Ryan, et al.
Pubblicazione: (2025)

Safety Filtering with an Infinite Number of Constraints
di: Cohen, Max H., et al.
Pubblicazione: (2026)

Secure Safety Filter Design for Sampled-data Nonlinear Systems under Sensor Spoofing Attacks
di: Tan, Xiao, et al.
Pubblicazione: (2025)

Combinatorial Control Barrier Functions: Nested Boolean and p-choose-r Compositions of Safety Constraints
di: Ong, Pio, et al.
Pubblicazione: (2025)

From Bundles to Backstepping: Geometric Control Barrier Functions for Safety-Critical Control on Manifolds
di: de Sa, Massimiliano, et al.
Pubblicazione: (2025)

Hierarchical Event-Triggered Systems: Safe Learning of Quasi-Optimal Deadline Policies
di: Ong, Pio, et al.
Pubblicazione: (2024)

Refining Almost-Safe Value Functions on the Fly
di: Tonkens, Sander, et al.
Pubblicazione: (2026)

Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
di: Tonkens, Sander, et al.
Pubblicazione: (2023)

Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability
di: Li, Boyang, et al.
Pubblicazione: (2025)

Input-to-State Safe Backstepping: Robust Safety-Critical Control with Unmatched Uncertainties
di: Cohen, Max H., et al.
Pubblicazione: (2026)

Dual-Objective Reinforcement Learning with Novel Hamilton-Jacobi-Bellman Formulations
di: Sharpless, William, et al.
Pubblicazione: (2025)

Computationally Efficient Safe Control of Linear Systems under Severe Sensor Attacks
di: Tan, Xiao, et al.
Pubblicazione: (2025)

Safety of Linear Systems under Severe Sensor Attacks
di: Tan, Xiao, et al.
Pubblicazione: (2024)

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
di: Akella, Prithvi, et al.
Pubblicazione: (2023)

High-Order Matrix Control Barrier Functions: Well-Posedness and Feasibility via Matrix Relative Degree
di: Gessow, Samuel G., et al.
Pubblicazione: (2026)

Explicit Control Barrier Function-based Safety Filters and their Resource-Aware Computation
di: Mestres, Pol, et al.
Pubblicazione: (2025)

Stability Margins of CBF-QP Safety Filters: Analysis and Synthesis
di: Mousavi, Shima Sadat, et al.
Pubblicazione: (2026)

On the Properties of Optimal-Decay Control Barrier Functions
di: Ong, Pio, et al.
Pubblicazione: (2025)

Rectified Control Barrier Functions for High-Order Safety Constraints
di: Ong, Pio, et al.
Pubblicazione: (2024)

Matrix Control Barrier Functions
di: Ong, Pio, et al.
Pubblicazione: (2025)

Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks
di: Tan, Xiao, et al.
Pubblicazione: (2025)

From Space to Time: Enabling Adaptive Safety with Learned Value Functions via Disturbance Recasting
di: Tonkens, Sander, et al.
Pubblicazione: (2025)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
di: Xue, Bai, et al.
Pubblicazione: (2025)

Layered Nonlinear Model Predictive Control for Robust Stabilization of Hybrid Systems
di: Olkin, Zachary, et al.
Pubblicazione: (2025)

A successive convexification approach for robust receding horizon control
di: Lishkova, Yana, et al.
Pubblicazione: (2023)

SafeSpace: Aggregating Safe Sets from Backup Control Barrier Functions under Input Constraints
di: Ong, Pio, et al.
Pubblicazione: (2026)

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
di: Cao, Zhipeng, et al.
Pubblicazione: (2025)

Structure, Feasibility, and Explicit Safety Filters for Linear Systems
di: Mousavi, Shima Sadat, et al.
Pubblicazione: (2026)

Dynamic Safety in Complex Environments: Synthesizing Safety Filters with Poisson's Equation
di: Bahati, Gilbert, et al.
Pubblicazione: (2025)

Stability of Control Lyapunov Function Guided Reinforcement Learning
di: Olkin, Zachary, et al.
Pubblicazione: (2026)

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

Neural Cooperative Reach-While-Avoid Certificates for Interconnected Systems
di: Zhou, Jingyuan, et al.
Pubblicazione: (2026)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
di: Badings, Thom, et al.
Pubblicazione: (2024)

Solvability of Approximate Reach-Avoid Games
di: Gleirscher, Mario
Pubblicazione: (2025)

Funnel-based Control for Reach-Avoid-Stay Specifications
di: Das, Ratnangshu, et al.
Pubblicazione: (2023)

Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures
di: Schmid, Niklas, et al.
Pubblicazione: (2026)

Topological Obstructions to the Existence of Control Barrier Functions
di: de Sa, Massimiliano, et al.
Pubblicazione: (2026)

Optimal Role Assignment for Multiplayer Reach-Avoid Differential Games in 3D Space
di: Agasti, Abinash, et al.
Pubblicazione: (2023)