# Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm

> Research article (Energies, 2020) · cited 36× · AI/ML

**Wikidata**: [openalex:W3047595698](https://www.wikidata.org/wiki/openalex:W3047595698)  
**Source**: https://4ort.xyz/entity/formal-verification-and-co-simulation-in-the-design-of-a-synchronous-motor-control-algorithm