Xiwei Wu

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 12

Top Topics

Tracking Control

Deductive Reasoning

Top Venues

Nat. Mac. Intell.

IEEE Trans. Aerosp. Electron. Syst.

Sci. China Inf. Sci.

Publications

Xiwei Wu, Bing Xiao, Lu Cao, Xiaoxiang Hu
Robust Macroscopic Density Control of Microsatellite Swarm Via Local Measurement. IEEE Trans. Aerosp. Electron. Syst. 60 (1) (2024)
Xiwei Wu, Bing Xiao
Safe path planning and adjustable zonotope-tube model predictive tracking control for autonomous vehicle. J. Frankl. Inst. 361 (3) (2024)
Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan
Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models. CoRR (2023)
Tao Ren, Canping Chen, Alexey V. Danilov, Susan Liu, Xiangnan Guan, Shunyi Du, Xiwei Wu, Mara H. Sherman, Paul T. Spellman, Lisa M. Coussens, Andrew C. Adey, Gordon B. Mills, Ling-Yun Wu, Zheng Xia
Author Correction: Supervised learning of high-confidence phenotypic subpopulations from single-cell data. Nat. Mac. Intell. 5 (6) (2023)
Tao Ren, Canping Chen, Alexey V. Danilov, Susan Liu, Xiangnan Guan, Shunyi Du, Xiwei Wu, Mara H. Sherman, Paul T. Spellman, Lisa M. Coussens, Andrew C. Adey, Gordon B. Mills, Ling-Yun Wu, Zheng Xia
Supervised learning of high-confidence phenotypic subpopulations from single-cell data. Nat. Mac. Intell. 5 (5) (2023)
Qinxiang Cao, Xiwei Wu, Yalun Liang
A Coq Library of Sets for Teaching Denotational Semantics. ThEdu@CADE (2023)
Cihang Wu, Jianguo Yan, Xiwei Wu, Yiming Guo, Peng Mou, Bing Xiao
Predefined-time sliding manifold-based fixed-time attitude stabilization control of receiver aircraft with measurement noises. Trans. Inst. Meas. Control 44 (11) (2022)
Bing Xiao, Xiwei Wu, Lu Cao, Xiaoxiang Hu
Prescribed Time Attitude Tracking Control of Spacecraft With Arbitrary Disturbance. IEEE Trans. Aerosp. Electron. Syst. 58 (3) (2022)
Cihang Wu, Jianguo Yan, Jiahe Shen, Xiwei Wu, Bing Xiao
Predefined-Time Attitude Stabilization of Receiver Aircraft in Aerial Refueling. IEEE Trans. Circuits Syst. II Express Briefs 68 (10) (2021)
Qinxiang Cao, Xiwei Wu
Countability of Inductive Types Formalized in the Object-Logic Level. LFMTP (2021)
Yiming Guo, Jianguo Yan, Cihang Wu, Xiwei Wu, Mengping Chen, Xiaojun Xing
Autonomous Homing Design and Following for Parafoil/Rocket System with High-altitude. J. Intell. Robotic Syst. 101 (4) (2021)
Yaohong Qu, Feng Zhang, Xiwei Wu, Bing Xiao
Cooperative geometric localization for a ground target based on the relative distances by multiple UAVs. Sci. China Inf. Sci. 62 (1) (2019)
Xiwei Wu, T. Gregory Dewey
Cluster Analysis of Dynamic Parameters of Gene Expression. J. Bioinform. Comput. Biol. 1 (3) (2003)