TY  - RPRT
TI  - Emergency-Brake Simplex: Toward A Verifiably Safe Control-CPS Architecture for Abrupt Runtime Reachability Constraint Changes
AU  - Henghua Shen
AU  - Qixin Wang
PY  - 2025
UR  - https://arxiv.org/abs/2501.01831
ID  - 2501.01831
ER  -