Linquan Xing

Publications

Citations

H-Index

2021

Active since

Affiliations

Nanjing University of Aeronautics and Astronautics(Current)

Linquan Xing is an author at Nanjing University of Aeronautics and Astronautics specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringEducationAutomationVerificationFormal MethodsSafety ScienceSpace RoboticsSpace Vehicles

Publications per year

2021–2022

Publications

SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

Jian Xie, Wenan Tan, Zhibin Yang et al. · Connection Science · 2021 · 21 citations · Full text

Engineering, Verification, Safety Science +21

Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems

Zhibin Yang, Linquan Xing, Zonghua Gu et al. · IEEE Transactions on Industrial Informatics · 2022 · 20 citations

Artificial Intelligence, Spacecraft Rendezvous, Engineering +23

Rows per page

1–2 of 2