TY  - RPRT
TI  - Certified Set Convergence for Piecewise Affine Systems via Neural Lyapunov Functions
AU  - Yanliang Huang
AU  - Peng Xie
AU  - Zhen Zhang
AU  - Wenyuan Wu
AU  - Zhuoqi Zeng
AU  - Amr Alanwar
PY  - 2026
UR  - https://arxiv.org/abs/2604.00286
ID  - 2604.00286
ER  -