Publications (19)
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
Han Su, Jiyu Zhu, Shenghua Feng +5
A reset controller plays a crucial role in designing hybrid systems. It restricts the initial set and redefines the reset map associated with discrete transitions, in order to guar…
LIRA: A Learning-based Query-aware Partition Framework for Large-scale ANN Search
Ximu Zeng, Liwei Deng, Penghao Chen +3
Approximate nearest neighbor search is fundamental in information retrieval. Previous partition-based methods enhance search efficiency by probing partial partitions, yet they face…
Parameterized Decision-making with Multi-modal Perception for Autonomous Driving
Yuyang Xia, Shuncheng Liu, Quanlin Yu +4
Autonomous driving is an emerging technology that has advanced rapidly over the last decade. Modern transportation is expected to benefit greatly from a wise decision-making framew…
Runtime Enforcement of CPS against Signal Temporal Logic
Han Su, Saumya Shankar, Srinivas Pinisetty +2
Cyber-Physical Systems (CPSs), especially those involving autonomy, need guarantees of their safety. Runtime Enforcement (RE) is a lightweight method to formally ensure that some s…
Convolutional Feature Noise Reduction for 2D Cardiac MR Image Segmentation
Hong Zheng, Nan Mu, Han Su +2
Noise reduction constitutes a crucial operation within Digital Signal Processing. Regrettably, it frequently remains neglected when dealing with the processing of convolutional fea…
Stab-GKnock: Controlled variable selection for partially linear models using generalized knockoffs
Han Su, Panxu Yuan, Qingyang Sun +2
The recently proposed fixed-X knockoff is a powerful variable selection procedure that controls the false discovery rate (FDR) in any finite-sample setting, yet its theoretical ins…