Shaopeng Xing

According to our database, Shaopeng Xing authored at least 6 papers between 2018 and 2022.

Collaborative distances:

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

2022

PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS.

Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2021

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization.

Shaopeng Xing, Jiawan Wang, Lei Bu, Xin Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.

Jiawan Wang, Lei Bu, Shaopeng Xing, Yuming Wu, Xuandong Li

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Scenario-Based Online Reachability Validation for CPS Fault Prediction.

Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2019

Incremental Online Verification of Dynamic Cyber-Physical Systems.

Lei Bu, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang, Xuandong Li

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Research on Clothing Image Classification by Convolutional Neural Networks.

Lili Chen, Runping Han, Shaopeng Xing, Shuiqiang Ru

Proceedings of the 11th International Congress on Image and Signal Processing, 2018