Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition

Gilles Feld
(SATIE, ENS Cachan & CNRS, France)
Laurent Fribourg
(LSV, ENS de Cachan & CNRS, France)
Denis Labrousse
(SATIE, ENS Cachan & CNRS, France)
Bertrand Revol
(SATIE, ENS Cachan & CNRS, France)
Romain Soulat
(LSV, ENS de Cachan & CNRS, France)

High-power converters based on elementary switching cells are more and more used in the industry of power electronics owing to various advantages such as lower voltage stress and reduced power loss. However, the complexity of controlling such converters is a major challenge that the power manufacturing industry has to face with. The synthesis of industrial switching controllers relies today on heuristic rules and empiric simulation. The state of the system is not guaranteed to stay within the limits that are admissible for its correct electrical behavior. We show here how to apply a formal method in order to synthesize a correct-by-design control that guarantees that the power converter will always stay within a predefined safe zone of variations for its input parameters. The method is applied in order to synthesize a correct-by-design control for 5-level and 7-level power converters with a flying capacitor topology. We check the validity of our approach by numerical simulations for 5 and 7 levels. We also perform physical experimentations using a prototype built by SATIE laboratory for 5 levels.

In Shang-Wei Lin and Laure Petrucci: Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA 2014), Singapore, 13th May 2014, Electronic Proceedings in Theoretical Computer Science 156, pp. 5–16.
Published: 8th July 2014.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: