Image de couverture de livre

Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Akella, Prithvi, Ahmadi, Mohamadreza, Murray, Richard M., Ames, Aaron D.
Format:	Preprint
Publié:	2023
Sujets:	Systems and Control Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification
par: Akella, Prithvi, et autres
Publié: (2024)

Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
par: Cohen, Max H., et autres
Publié: (2024)

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
par: Cohen, Max H., et autres
Publié: (2024)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
par: Compton, William D., et autres
Publié: (2024)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
par: Sawarkar, Shubham, et autres
Publié: (2025)

Rollover Prevention for Mobile Robots with Control Barrier Functions: Differentiator-Based Adaptation and Projection-to-State Safety
par: Das, Ersin, et autres
Publié: (2024)

Safety-Critical Controller Synthesis with Reduced-Order Models
par: Cohen, Max H., et autres
Publié: (2024)

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
par: Graebener, Josefine B., et autres
Publié: (2024)

Zero-Order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints
par: Tan, Xiao, et autres
Publié: (2024)

Input-to-State Safe Backstepping: Robust Safety-Critical Control with Unmatched Uncertainties
par: Cohen, Max H., et autres
Publié: (2026)

Safety-Critical Control with Bounded Inputs: A Closed-Form Solution for Backup Control Barrier Functions
par: van Wijk, David E. J., et autres
Publié: (2025)

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
par: Upadhyay, Siddhartha, et autres
Publié: (2025)

Compatibility of Multiple Control Barrier Functions for Constrained Nonlinear Systems
par: Cohen, Max H., et autres
Publié: (2025)

Safety Guardrails in the Sky: Realizing Control Barrier Functions on the VISTA F-16 Jet
par: Singletary, Andrew W., et autres
Publié: (2026)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
par: Parwana, Hardik, et autres
Publié: (2024)

Back to Base: Towards Hands-Off Learning via Safe Resets with Reach-Avoid Safety Filters
par: Begzadić, Azra, et autres
Publié: (2025)

Dynamic Safety in Complex Environments: Synthesizing Safety Filters with Poisson's Equation
par: Bahati, Gilbert, et autres
Publié: (2025)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

Bilevel Optimization for Real-Time Control with Application to Locomotion Gait Generation
par: Olkin, Zachary, et autres
Publié: (2024)

Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming
par: Kumar, Athindran Ramesh, et autres
Publié: (2023)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
par: Das, Ratnangshu, et autres
Publié: (2024)

Set-Based Adaptive Safety Control
par: Akella, Prithvi, et autres
Publié: (2019)

Risk-Averse Receding Horizon Motion Planning for Obstacle Avoidance using Coherent Risk Measures
par: Dixit, Anushri, et autres
Publié: (2022)

Reach-Avoid-Stabilize Using Admissible Control Sets
par: Gong, Zheng, et autres
Publié: (2025)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
par: Das, Ratnangshu, et autres
Publié: (2025)

CBF-RL: Safety Filtering Reinforcement Learning in Training with Control Barrier Functions
par: Yang, Lizhi, et autres
Publié: (2025)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
par: Liu, Shuo, et autres
Publié: (2023)

Safety Critical Model Predictive Control Using Discrete-Time Control Density Functions
par: Narayanan, Sriram S. K. S., et autres
Publié: (2025)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
par: Chen, Yu, et autres
Publié: (2025)

Guaranteed Reach-Avoid for Black-Box Systems through Narrow Gaps via Neural Network Reachability
par: Chung, Long Kiu, et autres
Publié: (2024)

Risk-Aware Safety Filters with Poisson Safety Functions and Laplace Guidance Fields
par: Bahati, Gilbert, et autres
Publié: (2025)

Steering with Contingencies: Combinatorial Stabilization and Reach-Avoid Filters
par: Lishkova, Yana, et autres
Publié: (2026)

Neural Backward Reach-Avoid Tubes with MPC Supervision for High-Dimensional Systems: An Application to Safe Spacecraft Docking
par: Thorup, Santiago, et autres
Publié: (2026)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
par: Xue, Bai, et autres
Publié: (2025)

Geometry-Aware Predictive Safety Filters on Humanoids: From Poisson Safety Functions to CBF Constrained MPC
par: Bena, Ryan M., et autres
Publié: (2025)

Bezier Reachable Polytopes: Efficient Certificates for Robust Motion Planning with Layered Architectures
par: Csomay-Shanklin, Noel, et autres
Publié: (2024)

Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment
par: Upadhyay, Siddhartha, et autres
Publié: (2025)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
par: Yin, Xiang, et autres
Publié: (2024)

Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions
par: Molnar, Tamas G., et autres
Publié: (2024)

Safe Navigation under State Uncertainty: Online Adaptation for Robust Control Barrier Functions
par: Das, Ersin, et autres
Publié: (2025)