Peixin Wang

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 27

Top Topics

Reinforcement Learning

Reachability Analysis

Top Venues

IEEE Trans. Ind. Electron.

Proc. ACM Program. Lang.

Publications

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
Modeling Multiple Adverse Pregnancy Outcomes: Learning from Diverse Data Sources. AIME (1) (2024)
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)
Peixin Wang, Tasleem Kausar, Heng Li, Siyang Jiang, Yingying Rong, Yun Lu
EEG Decoding of Auditory Spatial Attention Based on Visibility Graph and Machine Learning. CVDL (2024)
Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CoRR (2024)
Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. CAV (2) (2024)
Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang
Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. AAAI (2024)
Yanqi Wei, Jikai Si, Rui Nie, Peixin Wang, Shuai Xu, Chun Gan, Jing J. Liang
Unified Analytical Modeling of Armature Magnetic Field of Slotless PM Motor With Equidirectional Toroidal Winding. IEEE Trans. Ind. Electron. 71 (9) (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)