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

Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri and Sergio Saponara
Additional contact information
Cinzia Bernardeschi: Department of Information Engineering, University of Pisa, Via G. Caruso 16, 56127 Pisa, Italy
Pierpaolo Dini: Department of Information Engineering, University of Pisa, Via G. Caruso 16, 56127 Pisa, Italy
Andrea Domenici: Department of Information Engineering, University of Pisa, Via G. Caruso 16, 56127 Pisa, Italy
Maurizio Palmieri: Department of Information Engineering, University of Pisa, Via G. Caruso 16, 56127 Pisa, Italy
Sergio Saponara: Department of Information Engineering, University of Pisa, Via G. Caruso 16, 56127 Pisa, Italy

Energies, 2020, vol. 13, issue 16, 1-23

Abstract: Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging. This paper introduces a development method based on model-based design, co-simulation and formal verification. The objective of this paper is to show the applicability of the method in an industrial setting. An application case study comes from the field of precision servo-motors, where formal verification has been used to find acceptable intervals of values for design parameters of the motor controller, which have been further explored using co-simulation to find optimal values. The reported results show that the method has been applied successfully to the case study, augmenting the current model-driven development processes by formal verification of stability, formal identification of acceptable parameter ranges, and automatic design-space exploration.

Keywords: synchronous motor; cogging torque; power drive system; model-based design; co-simulation; formal verification; theorem proving (search for similar items in EconPapers)
JEL-codes: Q Q0 Q4 Q40 Q41 Q42 Q43 Q47 Q48 Q49 (search for similar items in EconPapers)
Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (4)

Downloads: (external link)
https://www.mdpi.com/1996-1073/13/16/4057/pdf (application/pdf)
https://www.mdpi.com/1996-1073/13/16/4057/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jeners:v:13:y:2020:i:16:p:4057-:d:394976

Access Statistics for this article

Energies is currently edited by Ms. Agatha Cao

More articles in Energies from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().