2 papers
cs.LG2026
Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations
Jun Zhang, Haibo Zhang, Chun Liu +2
Formal verification of neural control barrier functions (NCBFs) remains challenging, especially for neural networks with nonlinear activations like \(\tanh\). Existing CROWN-based…
eess.SY2025
Learning Control for LQR with Unknown Packet Loss Rate Using Finite Channel Samples
Zhenning Zhang, Liang Xu, Yilin Mo +1
This paper studies the linear quadratic regulator (LQR) problem over an unknown Bernoulli packet loss channel. The unknown loss rate is estimated using finite channel samples and a…