I. Cervantes, F.J. Perez-Pinal & A. Mendoza-Torres (2009):
Hybrid Control of DC-DC Power Converters.
In: Renewable Energy (Chapter 10).
T J Hammons,
pp. 173,193,
doi:10.5772/7370.
Zhong Du, L.M. Tolbert, B. Ozpineci & J.N. Chiasson (2009):
Fundamental Frequency Switching Strategies of a Seven-Level Hybrid Cascaded H-Bridge Multilevel Inverter.
IEEE Transactions on Power Electronics 24(1),
pp. 25–33,
doi:10.1109/TPEL.2008.2006678.
G. Feld, L. Fribourg, D. Labrousse, B. Revol & R. Soulat (2012):
Correct by design control of 5-level and 7-level converters.
Research Report LSV-12-25.
Laboratoire Spécification et Vérification, ENS Cachan, France.
Laurent Fribourg & Romain Soulat (2013):
Stability Controllers for Sampled Switched Systems.
In: Parosh Aziz Abdulla & Igor Potapov: Proceedings of the 7th Workshop on Reachability Problems in Computational Models (RP'13),
Lecture Notes in Computer Science 8169.
Springer,
Uppsala, Sweden,
pp. 135–145,
doi:10.1007/978-3-642-41036-9_13.
A. Girard, G. Pola & P. Tabuada (2010):
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
IEEE Trans. on Automatic Control 55,
pp. 116–126,
doi:10.1109/TAC.2009.2034922.
W. Kühn (1998):
Zonotope dynamics in numerical quality control.
Mathematical Visualization,
pp. 125–134,
doi:10.1007/978-3-662-03567-2_10.
A. Lesnicar & R. Marquardt (2003):
An innovative modular multilevel converter topology suitable for a wide power range.
In: Power Tech Conference Proceedings, 2003 IEEE Bologna 3,
pp. 6 pp. Vol.3–,
doi:10.1109/PTC.2003.1304403.
T.A. Meynard & H. Foch (1992):
Multi-level conversion: high voltage choppers and voltage-source inverters.
In: 23rd Annual IEEE Power Electronics Specialists Conference (PESC '92) 1,
pp. 397–403,
doi:10.1109/PESC.1992.254717.
MINIMATOR Web Page.
https://bitbucket.org/ukuehne/minimator/.
Octave Web Page.
http://www.gnu.org/software/octave/.
PLECS Web Page.
http://www.plexim.com.
B. Singh, N. Mittal, K.S. Verma, D. Singh, S.P. Singh, R. Dixit, M. Singh & A. Baranwal (2012):
Multi-level inverter: A literature survey on topologies and control strategies.
International Journal of Reviews in Computing 10.
Romain Soulat, Guillaume Hérault, Denis Labrousse, Bertrand Revol, Gilles Feld, Stéphane Lefebvre & Laurent Fribourg (2013):
Use of a full wave correct-by-design command to control a multilevel modular converter.
In: Philippe Lataire: Proceedings of the 15th European Conference on Power Electronics and Applications (EPE'13).
IEEE Power Electronics Society,
Lille, France,
pp. 1,8,
doi:10.1109/EPE.2013.6634448.
Available at http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SHLRFLF-epe13.pdf.
Paulo Tabuada (2009):
Verification and Control of Hybrid Systems: A Symbolic Approach.
Springer Publishing Company, Incorporated,
doi:10.1007/978-1-4419-0224-5.
eptcs@eptcs.org