Sign in
Peixin Wang
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 20
Top Topics
Bayes Nets
Permalloy Films
Reachability Analysis
Reinforcement Learning
Top Venues
CoRR
IEEE Trans. Ind. Electron.
Proc. ACM Program. Lang.
ICCSIE
</>
Publications
</>
Jiaxu Tian
,
Dapeng Zhi
,
Si Liu
,
Peixin Wang
,
Guy Katz
,
Min Zhang
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.
VMCAI (2)
(2024)
Jiaxu Tian
,
Dapeng Zhi
,
Si Liu
,
Peixin Wang
,
Cheng Chen
,
Min Zhang
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks.
NeurIPS
(2023)
Yuchen Wang
,
Hengliang Zhang
,
Junli Zhang
,
Hang Yin
,
Peixin Wang
,
Chao Zhang
,
Wei Hua
Kriging-Assisted Multiobjective Optimization of Embedded Magnetic Encoder in PM Synchronous Machines.
IEEE Trans. Instrum. Meas.
72 (2023)
Dapeng Zhi
,
Peixin Wang
,
Cheng Chen
,
Min Zhang
Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales.
CoRR
(2023)
Peixin Wang
,
Hongfei Fu
,
Tengshun Yang
,
Guanyan Li
,
Luke Ong
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming.
CoRR
(2023)
Peixin Wang
,
Wei Hua
,
Gan Zhang
,
Bo Wang
,
Ming Cheng
Torque Ripple Suppression of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Field Modulation Theory.
IEEE Trans. Ind. Electron.
69 (12) (2022)
Shuo Wen
,
Weiting Huang
,
Qi Wu
,
Jinying Zheng
,
Peixin Wang
,
Zhilong Ye
,
Shangxuan Jiang
Application of Association Rules in Telecommunication Network Fraud Cases.
ICCSIE
(2022)
Guijie Zhang
,
Fangfang Wei
,
Peixin Wang
,
Yikai Liang
Investigating academic conference publications from provincial administrative regions in the mainland of China.
Learn. Publ.
35 (2) (2022)
Jiaxu Tian
,
Dapeng Zhi
,
Si Liu
,
Peixin Wang
,
Guy Katz
,
Min Zhang
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.
CoRR
(2022)
Peixin Wang
,
Wei Hua
,
Gan Zhang
,
Bo Wang
,
Ming Cheng
Principle of Flux-Switching PM Machine by Magnetic Field Modulation Theory Part II: Electromagnetic Torque Generation.
IEEE Trans. Ind. Electron.
69 (3) (2022)
Yuchen Wang
,
Xuguang Bao
,
Wei Hua
,
Kai Liu
,
Peixin Wang
,
Mingjin Hu
,
Hengliang Zhang
Implementation of Embedded Magnetic Encoder for Rotor Position Detection Based on Arbitrary Phase-Shift Phase-Lock Loop.
IEEE Trans. Ind. Electron.
69 (2) (2022)
Peixin Wang
,
Wei Hua
,
Gan Zhang
,
Bo Wang
,
Ming Cheng
Inductance Characteristics of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Filed Modulation Theory.
IEEE Trans. Ind. Electron.
69 (12) (2022)
Peixin Wang
Stability for the 2D anisotropic surface quasi-geostrophic equation with horizontal dissipation.
Appl. Math. Lett.
123 (2022)
Peixin Wang
,
Wei Hua
,
Gan Zhang
,
Bo Wang
,
Ming Cheng
Principle of Flux-Switching Permanent Magnet Machine by Magnetic Field Modulation Theory Part I: Back-Electromotive-Force Generation.
IEEE Trans. Ind. Electron.
69 (3) (2022)
Peixin Wang
,
Hongfei Fu
,
Krishnendu Chatterjee
,
Yuxin Deng
,
Ming Xu
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.
Proc. ACM Program. Lang.
4 (POPL) (2020)
Peixin Wang
,
Youming Li
,
Shengming Chang
,
Xiaoping Jin
,
Xiaoli Wang
Time-of-arrival-based localization algorithm in mixed line-of-sight/non-line-of-sight environments.
Int. J. Distributed Sens. Networks
16 (3) (2020)
Maohua Du
,
Peixin Wang
,
Junhua Wang
,
Zheng Cheng
,
Shensong Wang
Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning.
Complex.
2019 (2019)
Peixin Wang
,
Hongfei Fu
,
Amir Kafshdar Goharshady
,
Krishnendu Chatterjee
,
Xudong Qin
,
Wenjun Shi
Cost analysis of nondeterministic probabilistic programs.
PLDI
(2019)
Peixin Wang
,
Hongfei Fu
,
Krishnendu Chatterjee
,
Kangli He
,
Ming Xu
Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.
CoRR
(2019)
Krishnendu Chatterjee
,
Hongfei Fu
,
Amir Kafshdar Goharshady
,
Peixin Wang
,
Xudong Qin
,
Wenjun Shi
Cost Analysis of Nondeterministic Probabilistic Programs.
CoRR
(2019)