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

Publié le 8 juillet 2014 - Electronic Proceedings in Theoretical Computer Science

Auteurs : Romain Soulat, Bertrand Revol, Laurent Fribourg, Denis Labrousse, Gilles Feld