Abstract: This paper proposes an enhanced sensor fault-tolerant control (FTC) scheme of an interior permanent magnet synchronous motor (IPMSM) drive for the electric vehicle (EV) traction applications ...

Abstract: In this article, we propose an integrated calibration and identification method that can identify kinematic and dynamic parameters at the same time. Only a series of static experiments are ...

The Continuous Reachability Analyzer (CORA) is a MATLAB-based toolbox designed for the formal verification of cyber-physical systems through reachability analysis. It offers a comprehensive suite of ...

Note from Dec 2022: The code here work beautifully and I plan to continue making minor bug fixes maintaining the current functionality. But I no longer will be making any improvements to this project.

We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains. A key insight is that distance computation can be split into two stages: ...