Yibo Shi, Chaoli Wang, Shihua Li, Engang Tian: Constructing barrier functions and optimal control for differential games in active defense. Autom. 188: 112942 (2026)