Xiwei Wu

According to our database, Xiwei Wu authored at least 13 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Robust Macroscopic Density Control of Microsatellite Swarm Via Local Measurement.

Xiwei Wu, Bing Xiao, Lu Cao, Xiaoxiang Hu

IEEE Trans. Aerosp. Electron. Syst., February, 2024

Safe path planning and adjustable zonotope-tube model predictive tracking control for autonomous vehicle.

Xiwei Wu, Bing Xiao

J. Frankl. Inst., 2024

2023

Author Correction: Supervised learning of high-confidence phenotypic subpopulations from single-cell data.

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

Nat. Mac. Intell., June, 2023

Supervised learning of high-confidence phenotypic subpopulations from single-cell data.

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

Nat. Mac. Intell., May, 2023

A Coq Library of Sets for Teaching Denotational Semantics.

Qinxiang Cao, Xiwei Wu, Yalun Liang

Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

Towards General Loop Invariant Generation via Coordinating Symbolic Execution and Large Language Models.

Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan

CoRR, 2023

2022

Predefined-time sliding manifold-based fixed-time attitude stabilization control of receiver aircraft with measurement noises.

Cihang Wu, Jianguo Yan, Xiwei Wu, Yiming Guo, Peng Mou, Bing Xiao

Trans. Inst. Meas. Control, 2022

Prescribed Time Attitude Tracking Control of Spacecraft With Arbitrary Disturbance.

Bing Xiao, Xiwei Wu, Lu Cao, Xiaoxiang Hu

IEEE Trans. Aerosp. Electron. Syst., 2022

2021

Predefined-Time Attitude Stabilization of Receiver Aircraft in Aerial Refueling.

Cihang Wu, Jianguo Yan, Jiahe Shen, Xiwei Wu, Bing Xiao

IEEE Trans. Circuits Syst. II Express Briefs, 2021

Autonomous Homing Design and Following for Parafoil/Rocket System with High-altitude.

Yiming Guo, Jianguo Yan, Cihang Wu, Xiwei Wu, Mengping Chen, Xiaojun Xing

J. Intell. Robotic Syst., 2021

Countability of Inductive Types Formalized in the Object-Logic Level.

Qinxiang Cao, Xiwei Wu

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

2019

Cooperative geometric localization for a ground target based on the relative distances by multiple UAVs.

Yaohong Qu, Feng Zhang, Xiwei Wu, Bing Xiao

Sci. China Inf. Sci., 2019

2003

Cluster Analysis of Dynamic Parameters of Gene Expression.

Xiwei Wu, T. Gregory Dewey

J. Bioinform. Comput. Biol., 2003