Peixin Wang

According to our database, Peixin Wang authored at least 20 papers between 2019 and 2024.

Collaborative distances:

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

2024

Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales.

Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Kriging-Assisted Multiobjective Optimization of Embedded Magnetic Encoder in PM Synchronous Machines.

Yuchen Wang, Hengliang Zhang, Junli Zhang, Hang Yin, Peixin Wang, Chao Zhang, Wei Hua

IEEE Trans. Instrum. Meas., 2023

Robustness Verification of Deep Reinforcement Learning Based Control Systems using Reward Martingales.

Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang

CoRR, 2023

Template-Based Static Posterior Inference for Bayesian Probabilistic Programming.

Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong

CoRR, 2023

Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Principle of Flux-Switching PM Machine by Magnetic Field Modulation Theory Part II: Electromagnetic Torque Generation.

Peixin Wang, Wei Hua, Gan Zhang, Bo Wang, Ming Cheng

IEEE Trans. Ind. Electron., 2022

Principle of Flux-Switching Permanent Magnet Machine by Magnetic Field Modulation Theory Part I: Back-Electromotive-Force Generation.

Peixin Wang, Wei Hua, Gan Zhang, Bo Wang, Ming Cheng

IEEE Trans. Ind. Electron., 2022

Torque Ripple Suppression of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Field Modulation Theory.

Peixin Wang, Wei Hua, Gan Zhang, Bo Wang, Ming Cheng

IEEE Trans. Ind. Electron., 2022

Inductance Characteristics of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Filed Modulation Theory.

Peixin Wang, Wei Hua, Gan Zhang, Bo Wang, Ming Cheng

IEEE Trans. Ind. Electron., 2022

Implementation of Embedded Magnetic Encoder for Rotor Position Detection Based on Arbitrary Phase-Shift Phase-Lock Loop.

Yuchen Wang, Xuguang Bao, Wei Hua, Kai Liu, Peixin Wang, Mingjin Hu, Hengliang Zhang

IEEE Trans. Ind. Electron., 2022

Investigating academic conference publications from provincial administrative regions in the mainland of China.

Guijie Zhang, Fangfang Wei, Peixin Wang, Yikai Liang

Learn. Publ., 2022

BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang

CoRR, 2022

Stability for the 2D anisotropic surface quasi-geostrophic equation with horizontal dissipation.

Peixin Wang

Appl. Math. Lett., 2022

Application of Association Rules in Telecommunication Network Fraud Cases.

Shuo Wen, Weiting Huang, Qi Wu, Jinying Zheng, Peixin Wang, Zhilong Ye, Shangxuan Jiang

Proceedings of the 7th International Conference on Cyber Security and Information Engineering, 2022

2020

Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, Ming Xu

Proc. ACM Program. Lang., 2020

Time-of-arrival-based localization algorithm in mixed line-of-sight/non-line-of-sight environments.

Peixin Wang, Youming Li, Shengming Chang, Xiaoping Jin, Xiaoli Wang

Int. J. Distributed Sens. Networks, 2020

2019

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.

Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Kangli He, Ming Xu

CoRR, 2019

Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning.

Maohua Du, Peixin Wang, Junhua Wang, Zheng Cheng, Shensong Wang

Complex., 2019

Cost analysis of nondeterministic probabilistic programs.

Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019