SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems. - Jian Xie 004; Wenan Tan; Zhibin Yang; Shuming Li; Linquan Xing; Zhiqiu Huang (Connect. Sci., 2022)

Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems. - Zhibin Yang; Linquan Xing; Zonghua Gu 001; Yingmin Xiao; Yong Zhou; Zhiqiu Huang; Lei Xue (IEEE Trans. Ind. Informatics, 2023)