Design and verification for flight control system of launch vehicle 并列题名：Design and verification of powerplant system for regional aircraft 并列题名：Design and verification of autoflight and flight management system 并列题名：Modeling and optimization control of power system for fuel cell hybrid vehicle 并列题名：Design and application for mechatronic systems Formal verification of control system software / 并列题名：Design and implementation of control system 并列题名：Design and verification of dimensionally stable spacecraft structures 并列题名：Resilient control of flight control system