Peixin Wang

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

Collaborative distances:

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

2024

A Dual-Rotor Axial-Flux PM Motor With Equidirectional Toroidal Winding and 3-Slot/4-Pole Unit Block for Torque Density Improvement.

Jikai Si, Sen Li, Rui Nie, Peixin Wang, Shuai Xu, Chun Gan

IEEE Trans. Ind. Electron., December, 2024

Unified Analytical Modeling of Armature Magnetic Field of Slotless PM Motor With Equidirectional Toroidal Winding.

Yanqi Wei, Jikai Si, Rui Nie, Peixin Wang, Shuai Xu, Chun Gan, Jing J. Liang

IEEE Trans. Ind. Electron., September, 2024

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving.

Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong

Proc. ACM Program. Lang., 2024

Opening the black box of Library Hi Tech: a social network and bibliometric analysis.

Guijie Zhang, Fangfang Wei, Peixin Wang

Libr. Hi Tech, 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

EEG Decoding of Auditory Spatial Attention Based on Visibility Graph and Machine Learning.

Peixin Wang, Tasleem Kausar, Heng Li, Siyang Jiang, Yingying Rong, Yun Lu

Proceedings of the International Conference on Computer Vision and Deep Learning, 2024

Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems.

Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Modeling Multiple Adverse Pregnancy Outcomes: Learning from Diverse Data Sources.

Saurabh Mathur, Veerendra P. Gadekar, Rashika Ramola, Peixin Wang, Ramachandran Thiruvengadam, David M. Haas, Shinjini Bhatnagar, Nitya Wadhwa, Garbhini Study Group, Predrag Radivojac, Himanshu Sinha, Kristian Kersting, Sriraam Natarajan

Proceedings of the Artificial Intelligence in Medicine - 22nd International Conference, 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

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