Xiaozhen Zhang

According to our database, Xiaozhen Zhang authored at least 16 papers between 2001 and 2023.

Collaborative distances:

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

2023

Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., June, 2023

UPG: 3D vision-based prediction framework for robotic grasping in multi-object scenes.

Xiaohan Li, Xiaozhen Zhang, Xiang Zhou, I-Ming Chen

Knowl. Based Syst., 2023

A Distributed Algorithm for Solving A Time-Varying Linear Equation.

Xiaozhen Zhang, Qingkai Yang, Haijiao Wei, Wei Chen, Zhihong Peng, Hao Fang

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

A Novel Reliability-Centered Opportunistic Maintenance Strategy for Metro Train Complex Systems.

Deqiang He, Xiaozhen Zhang, Chao Ge, Erheng Chen

IEEE Intell. Transp. Syst. Mag., 2022

Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Design and Analysis of Truss Aerial Transportation System (TATS): The Lightweight Bar Spherical Joint Mechanism.

Xiaozhen Zhang, Qingkai Yang, Rui Yu, Delong Wu, Shaozhun Wei, Jinqiang Cui, Hao Fang

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Instance Segmentation of Point Cloud Based on Improved DGCNN for Robotic Grasping.

Shenghao Li, Xiang Zhou, Xiaohan Li, Xiaozhen Zhang

Proceedings of the 7th International Conference on Automation, 2022

Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

A New Type of 5G-Oriented Integrated BDS/SON High-Precision Positioning.

Wenhua Tong, Decai Zou, Tao Han, Xiaozhen Zhang, Pengli Shen, Xiaochun Lu, Pengbo Wang, Ting Yin

Remote. Sens., 2021

Self-Triggered Based Coordinate Control With Low Communication for Tethered Multi-UAV Collaborative Transportation.

Xiaozhen Zhang, Fan Zhang, Panfeng Huang, Jiale Gao, Hang Yu, Chongxu Pei, Yizhai Zhang

IEEE Robotics Autom. Lett., 2021

A New Computational Method Based on Probabilistic Linguistic Z-Number With Unbalanced Semantics and Its Application to Multi-Criteria Group Decision Making.

Xiaozhen Zhang, Junjun Mao, Yanan Lu

IEEE Access, 2021

2019

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.

Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Distributed Control for Cooperative Transportation in Presence of Unknown Disturbance.

Xiaozhen Zhang, Fan Zhang, Panfeng Huang, Chen Wang, Yakun Zhao, Ya Liu

Proceedings of the 2019 IEEE International Conference on Real-time Computing and Robotics, 2019

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.

Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

2006

Study of the Collection of Network Performance and Algorithms Based on Active Network.

Yan Ma, Xiaozhen Zhang, Xiaomei Liang, Zijun Wang

Proceedings of the Grid and Cooperative Computing Workshops, 2006

2001

The Tuneup and Integration of Resources in Web-Based Learning.

Xiao Li, Jianguo Li, Xiaozhen Zhang

Proceedings of the Proceedings IEEE International Conference on Advanced Learning Technology: Issues, 2001