Cover Image

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yin, Xiang, Gao, Bingzhao, Yu, Xiao
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Taylor-Lagrange Control for Safety-Critical Systems
by: Xiao, Wei, et al.
Published: (2025)

Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
by: Cohen, Max H., et al.
Published: (2024)

TeraSim-World: Worldwide Safety-Critical Data Synthesis for End-to-End Autonomous Driving
by: Wang, Jiawei, et al.
Published: (2025)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

Safety-Critical Controller Synthesis with Reduced-Order Models
by: Cohen, Max H., et al.
Published: (2024)

Robust Taylor-Lagrange Control for Safety-Critical Systems
by: Xiao, Wei, et al.
Published: (2026)

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems
by: Cohen, Max H., et al.
Published: (2024)

SafeLink: Safety-Critical Control Under Dynamic and Irregular Unsafe Regions
by: Hu, Songqiao, et al.
Published: (2025)

Diffusion-Based Failure Sampling for Evaluating Safety-Critical Autonomous Systems
by: Delecki, Harrison, et al.
Published: (2024)

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

Agile Decision-Making and Safety-Critical Motion Planning for Emergency Autonomous Vehicles
by: Shu, Yiming, et al.
Published: (2024)

Robust Safety Critical Control Under Multiple State and Input Constraints: Volume Control Barrier Function Method
by: Dong, Jinyang, et al.
Published: (2025)

Safety Controller Synthesis for Collaborative Robots
by: Gleirscher, Mario, et al.
Published: (2020)

Collaborative Safety-Critical Formation Control with Obstacle Avoidance
by: Butler, Brooks A., et al.
Published: (2024)

Safety-Critical Formation Control of Non-Holonomic Multi-Robot Systems in Communication-Limited Environments
by: Bohara, Vishrut, et al.
Published: (2024)

A Generalized Control Revision Method for Autonomous Driving Safety
by: Zhu, Zehang, et al.
Published: (2024)

Towards Data-Driven Model-Free Safety-Critical Control
by: Shen, Zhe, et al.
Published: (2025)

Safety Critical Model Predictive Control Using Discrete-Time Control Density Functions
by: Narayanan, Sriram S. K. S., et al.
Published: (2025)

Safety-Critical Control for Robotic Manipulators using Collision Cone Control Barrier Functions
by: Almeida, Lucas
Published: (2025)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Vehicle-in-Virtual-Environment (VVE) Method for Developing and Evaluating VRU Safety of Connected and Autonomous Driving with Focus on Bicyclist Safety
by: Chen, Haochong, et al.
Published: (2025)

Enhance Planning with Physics-informed Safety Controller for End-to-end Autonomous Driving
by: Zhou, Hang, et al.
Published: (2024)

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

BIDA: A Bi-level Interaction Decision-making Algorithm for Autonomous Vehicles in Dynamic Traffic Scenarios
by: Yu, Liyang, et al.
Published: (2025)

Safety-Critical Control with Bounded Inputs: A Closed-Form Solution for Backup Control Barrier Functions
by: van Wijk, David E. J., et al.
Published: (2025)

Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
by: Nath, Devesh, et al.
Published: (2025)

High Order Control Lyapunov Function - Control Barrier Function - Quadratic Programming Based Autonomous Driving Controller for Bicyclist Safety
by: Chen, Haochong, et al.
Published: (2025)

Safety-Critical Adaptive Impedance Control via Nonsmooth Control Barrier Functions under State and Input Constraints
by: Lawan, Faisal, et al.
Published: (2026)

Generalized Momenta-Based Koopman Formalism for Robust Control of Euler-Lagrangian Systems
by: Singh, Rajpal, et al.
Published: (2025)

LVLM-MPC Collaboration for Autonomous Driving: A Safety-Aware and Task-Scalable Control Architecture
by: Atsuta, Kazuki, et al.
Published: (2025)

Zero-Order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints
by: Tan, Xiao, et al.
Published: (2024)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Adaptive Cruise Control in Autonomous Vehicles: Challenges, Gaps, Comprehensive Review, and, Future Directions
by: Bavalatti, Shradha, et al.
Published: (2025)

Maximal Controlled Invariant-MPC: Enhancing Feasibility and Reducing Conservatism through Terminal CBF Constraint in Safety-Critical Control
by: Dokania, Tanmay, et al.
Published: (2026)

DAG-STL: A Hierarchical Framework for Zero-Shot Trajectory Planning under Signal Temporal Logic Specifications
by: Liu, Ruijia, et al.
Published: (2026)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
by: Compton, William D., et al.
Published: (2024)

Vehicle-in-Virtual-Environment (VVE) Based Autonomous Driving Function Development and Evaluation Methodology for Vulnerable Road User Safety
by: Chen, Haochong, et al.
Published: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

Behavior Trees in Functional Safety Supervisors for Autonomous Vehicles
by: Conejo, Carlos, et al.
Published: (2024)

Autonomous Drifting Based on Maximal Safety Probability Learning
by: Hoshino, Hikaru, et al.
Published: (2024)