Peixin Wang
This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.
Bibliography
2026
Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems.
CoRR, April, 2026
Precise Rotor Position Detection for Skewed-PM Axial Flux Motors Using Orthogonal Third-Harmonic Hall Signals.
IEEE Trans. Ind. Electron., March, 2026
CoRR, March, 2026
A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version).
CoRR, February, 2026
CoRR, January, 2026
MaskCtrl: Training mask networks as self-explainable and performant controllers via deep reinforcement learning.
Neural Networks, 2026
Proceedings of the Formal Methods - 27th International Symposium, 2026
2025
CoRR, December, 2025
Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems.
CoRR, December, 2025
DEVAL: A Framework for Evaluating and Improving the Derivation Capability of Large Language Models.
CoRR, November, 2025
Analytical Modeling and Optimal Design of Slotted Axial Flux PM Motor With Equidirectional Toroidal Winding.
IEEE Trans. Ind. Electron., October, 2025
Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems.
CoRR, September, 2025
Multimode Drive and Control for Double-Stator Switched Reluctance Motor by a Three-Switch Symmetrical Converter.
IEEE Trans. Ind. Electron., May, 2025
General Analytical Modeling for Armature Magnetic Field of Equidirectional Toroidal Winding Motor Based on CDMPF Method.
IEEE Trans. Ind. Electron., March, 2025
Proc. ACM Program. Lang., 2025
ATA: An Abstract-Train-Abstract approach for explanation-friendly deep reinforcement learning.
Neural Networks, 2025
Proceedings of the Engineering Trustworthy Software Systems - 7th International School, 2025
A Variable Stiffness Supernumerary Robotic Limb with Pneumatic-Tendon Coupled Actuation <sup>*</sup>.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025
Proceedings of the Intelligent Robotics and Applications - 18th International Conference, 2025
Design and Human-Robot Collaborative Control of Reconfigurable Supernumerary Robotic Limb for Overhead Work.
Proceedings of the Intelligent Robotics and Applications - 18th International Conference, 2025
UIOrchestra: Generating High-Fidelity Code from UI Designs with a Multi-agent System.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2025, 2025
2024
A Dual-Rotor Axial-Flux PM Motor With Equidirectional Toroidal Winding and 3-Slot/4-Pole Unit Block for Torque Density Improvement.
IEEE Trans. Ind. Electron., December, 2024
Unified Analytical Modeling of Armature Magnetic Field of Slotless PM Motor With Equidirectional Toroidal Winding.
IEEE Trans. Ind. Electron., September, 2024
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving.
Proc. ACM Program. Lang., 2024
Opening the black box of Library Hi Tech: a social network and bibliometric analysis.
Libr. Hi Tech, 2024
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
EEG Decoding of Auditory Spatial Attention Based on Visibility Graph and Machine Learning.
Proceedings of the International Conference on Computer Vision and Deep Learning, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Artificial Intelligence in Medicine - 22nd International Conference, 2024
Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Kriging-Assisted Multiobjective Optimization of Embedded Magnetic Encoder in PM Synchronous Machines.
IEEE Trans. Instrum. Meas., 2023
CoRR, 2023
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks.
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.
IEEE Trans. Ind. Electron., 2022
Principle of Flux-Switching Permanent Magnet Machine by Magnetic Field Modulation Theory Part I: Back-Electromotive-Force Generation.
IEEE Trans. Ind. Electron., 2022
Torque Ripple Suppression of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Field Modulation Theory.
IEEE Trans. Ind. Electron., 2022
Inductance Characteristics of Flux-Switching Permanent Magnet Machine Based on General Air-Gap Filed Modulation Theory.
IEEE Trans. Ind. Electron., 2022
Implementation of Embedded Magnetic Encoder for Rotor Position Detection Based on Arbitrary Phase-Shift Phase-Lock Loop.
IEEE Trans. Ind. Electron., 2022
Investigating academic conference publications from provincial administrative regions in the mainland of China.
Learn. Publ., 2022
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.
CoRR, 2022
Stability for the 2D anisotropic surface quasi-geostrophic equation with horizontal dissipation.
Appl. Math. Lett., 2022
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.
Proc. ACM Program. Lang., 2020
Time-of-arrival-based localization algorithm in mixed line-of-sight/non-line-of-sight environments.
Int. J. Distributed Sens. Networks, 2020
2019
Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.
CoRR, 2019
Complex., 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019