Login / Signup
Shaopeng Xing
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 6
Top Topics
Convolutional Neural Networks
Image Classification
Derivative Free
Unconstrained Optimization
Top Venues
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
HSCC
DATE
CISP-BMEI
</>
Publications
</>
Jiawan Wang
,
Lei Bu
,
Shaopeng Xing
,
Xuandong Li
PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
41 (2) (2022)
Shaopeng Xing
,
Jiawan Wang
,
Lei Bu
,
Xin Chen
,
Xuandong Li
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization.
HSCC
(2021)
Jiawan Wang
,
Lei Bu
,
Shaopeng Xing
,
Yuming Wu
,
Xuandong Li
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.
FM
(2021)
Lei Bu
,
Qixin Wang
,
Xinyue Ren
,
Shaopeng Xing
,
Xuandong Li
Scenario-Based Online Reachability Validation for CPS Fault Prediction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
39 (10) (2020)
Lei Bu
,
Shaopeng Xing
,
Xinyue Ren
,
Yang Yang
,
Qixin Wang
,
Xuandong Li
Incremental Online Verification of Dynamic Cyber-Physical Systems.
DATE
(2019)
Lili Chen
,
Runping Han
,
Shaopeng Xing
,
Shuiqiang Ru
Research on Clothing Image Classification by Convolutional Neural Networks.
CISP-BMEI
(2018)