Imagen de Portada

Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Shen, Henghua, Wang, Qixin
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing
por: Bansal, Ayoosh, et al.
Publicado: (2023)

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis
por: Mahesh, Karan, et al.
Publicado: (2024)

Improving Functional Reliability of Near-Field Monitoring for Emergency Braking in Autonomous Vehicles
por: Pan, Junnan, et al.
Publicado: (2025)

Safe and Performant Deployment of Autonomous Systems via Model Predictive Control and Hamilton-Jacobi Reachability Analysis
por: Wang, Hao, et al.
Publicado: (2025)

Autonomy Architectures for Safe Planning in Unknown Environments Under Budget Constraints
por: Cherenson, Daniel M., et al.
Publicado: (2025)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis
por: Hafez, Ahmad, et al.
Publicado: (2025)

Safe Navigation using Neural Radiance Fields via Reachable Sets
por: Thapliyal, Omanshu, et al.
Publicado: (2026)

DualGuard MPPI: Safe and Performant Optimal Control by Combining Sampling-Based MPC and Hamilton-Jacobi Reachability
por: Borquez, Javier, et al.
Publicado: (2025)

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

Unifying Complementarity Constraints and Control Barrier Functions for Safe Whole-Body Robot Control
por: Muchacho, Rafael I. Cabral, et al.
Publicado: (2025)

Disturbance Compensation for Safe Kinematic Control of Robotic Systems with Closed Architecture
por: Zhang, Fan, et al.
Publicado: (2025)

A Two-Layer Electrostatic Film Actuator with High Actuation Stress and Integrated Brake
por: Wang, Huacen, et al.
Publicado: (2025)

Bezier Reachable Polytopes: Efficient Certificates for Robust Motion Planning with Layered Architectures
por: Csomay-Shanklin, Noel, et al.
Publicado: (2024)

Safe and Nonconservative Contingency Planning for Autonomous Vehicles via Online Learning-Based Reachable Set Barriers
por: Yang, Rui, et al.
Publicado: (2025)

PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
por: Fronda, Nicole, et al.
Publicado: (2025)

Design and Experimental Validation of Closed-Form CBF-Based Safe Control for Stewart Platform Under Multiple Constraints
por: Cinun, Benedictus C. G., et al.
Publicado: (2025)

Multi-Constraint Safe Reinforcement Learning via Closed-form Solution for Log-Sum-Exp Approximation of Control Barrier Functions
por: Wang, Chenggang, et al.
Publicado: (2025)

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

Safe Collective Control under Noisy Inputs and Competing Constraints via Non-Smooth Barrier Functions
por: Enwerem, Clinton, et al.
Publicado: (2023)

Motion Planning and Control with Unknown Nonlinear Dynamics through Predicted Reachability
por: Zhang, Zhiquan, et al.
Publicado: (2025)

Reachability-Guaranteed Optimal Control for the Interception of Dynamic Targets under Uncertainty
por: Faraci, Tommaso, et al.
Publicado: (2025)

Bridging Model Predictive Control and Deep Learning for Scalable Reachability Analysis
por: Feng, Zeyuan, et al.
Publicado: (2025)

Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
por: Borquez, Javier, et al.
Publicado: (2023)

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

Spring-Brake! Handed Shearing Auxetics Improve Efficiency of Hopping and Standing
por: Sullivan, Joseph, et al.
Publicado: (2025)

Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
por: Shen, Keyi, et al.
Publicado: (2026)

Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints
por: Safari, Amirsaeid, et al.
Publicado: (2024)

ReinVBC: A Model-based Reinforcement Learning Approach to Vehicle Braking Controller
por: Lin, Haoxin, et al.
Publicado: (2026)

Optimizing Energy-Efficient Braking Trajectories with Anticipatory Road Data for Automated Vehicles
por: Prado, Andres Alvarez, et al.
Publicado: (2024)

Hierarchical Motion Planning and Control under Unknown Nonlinear Dynamics via Predicted Reachability
por: Zhang, Zhiquan, et al.
Publicado: (2026)

ACT: Automated CPS Testing for Open-Source Robotic Platforms
por: Krishnan, Aditya A., et al.
Publicado: (2026)

DualShield: Safe Model Predictive Diffusion via Reachability Analysis for Interactive Autonomous Driving
por: Yang, Rui, et al.
Publicado: (2026)

Is Your Safe Controller Actually Safe? A Critical Review of CBF Tautologies and Hidden Assumptions
por: Kim, Taekyung
Publicado: (2026)

On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis
por: Borquez, Javier, et al.
Publicado: (2023)

Constrained Diffusers for Safe Planning and Control
por: Zhang, Jichen, et al.
Publicado: (2025)

Autonomous Navigation at the Nano-Scale: Algorithms, Architectures, and Constraints
por: Zango, Mahmud S., et al.
Publicado: (2026)

Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU
por: Fang, Jeffrey, et al.
Publicado: (2026)

Towards a Theory of Control Architecture: A quantitative framework for layered multi-rate control
por: Matni, Nikolai, et al.
Publicado: (2024)

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance
por: Hui, Larry, et al.
Publicado: (2026)

Reachability-Aware Time Scaling for Path Tracking
por: Gholampour, Hossein, et al.
Publicado: (2026)