@inproceedings(CPM09,
 author       = "I. Cervantes and F.J. Perez-Pinal and A. Mendoza-Torres",
 year         = "2009",
 title        = "Hybrid {C}ontrol of {DC}-{DC} {P}ower {C}onverters",
 booktitle    = "Renewable {E}nergy (Chapter 10)",
 publisher    = "T J Hammons",
 pages        = "173,193",
 doi          = "10.5772/7370",
)
@article(DTOC09,
 author       = "Zhong Du and L.M. Tolbert and B. Ozpineci and J.N. Chiasson",
 year         = "2009",
 title        = "Fundamental Frequency Switching Strategies of a Seven-Level Hybrid Cascaded H-Bridge Multilevel Inverter",
 journal      = "IEEE Transactions on Power Electronics",
 volume       = "24",
 number       = "1",
 pages        = "25--33",
 doi          = "10.1109/TPEL.2008.2006678",
)
@techreport(rr-lsv-12-16,
 author       = "G. Feld and L. Fribourg and D. Labrousse and B. Revol and R. Soulat",
 year         = "2012",
 title        = "Correct by design control of 5-level and 7-level converters",
 type         = "Research Report",
 number       = "LSV-12-25",
 institution  = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France",
)
@inproceedings(FS-rp13,
 author       = "Laurent Fribourg and Romain Soulat",
 year         = "2013",
 title        = "Stability Controllers for Sampled Switched Systems",
 editor       = "Parosh Aziz Abdulla and Igor Potapov",
 booktitle    = "{P}roceedings of the 7th {W}orkshop on {R}eachability {P}roblems in {C}omputational {M}odels ({RP}'13)",
 series       = "Lecture Notes in Computer Science",
 volume       = "8169",
 publisher    = "Springer",
 address      = "Uppsala, Sweden",
 pages        = "135--145",
 doi          = "10.1007/978-3-642-41036-9\_13",
)
@article(GPT10,
 author       = "A. Girard and G. Pola and P. Tabuada",
 year         = "2010",
 title        = "Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems",
 journal      = "IEEE Trans. on Automatic Control",
 volume       = "55",
 pages        = "116--126",
 doi          = "10.1109/TAC.2009.2034922",
)
@article(K98,
 author       = "W. K\"{u}hn",
 year         = "1998",
 title        = "Zonotope dynamics in numerical quality control",
 journal      = "Mathematical {V}isualization",
 pages        = "125--134",
 doi          = "10.1007/978-3-662-03567-2\_10",
)
@inproceedings(LM03,
 author       = "A. Lesnicar and R. Marquardt",
 year         = "2003",
 title        = "An innovative modular multilevel converter topology suitable for a wide power range",
 booktitle    = "Power Tech Conference Proceedings, 2003 IEEE Bologna",
 volume       = "3",
 pages        = "6 pp. Vol.3--",
 doi          = "10.1109/PTC.2003.1304403",
)
@inproceedings(MF92,
 author       = "T.A. Meynard and H. Foch",
 year         = "1992",
 title        = "Multi-level conversion: high voltage choppers and voltage-source inverters",
 booktitle    = "23rd Annual IEEE Power Electronics Specialists Conference (PESC '92)",
 volume       = "1",
 pages        = "397--403",
 doi          = "10.1109/PESC.1992.254717",
)
@misc(minimator,
 title        = "{MINIMATOR} {W}eb Page",
 howpublished = "{https://bitbucket.org/ukuehne/minimator/}",
)
@misc(octave,
 title        = "{Octave} {W}eb Page",
 howpublished = "{http://www.gnu.org/software/octave/}",
)
@misc(plecs-web,
 title        = "{PLECS} {W}eb Page",
 howpublished = "{http://www.plexim.com}",
)
@article(SMVSSDSB12,
 author       = "B. Singh and N. Mittal and K.S. Verma and D. Singh and S.P. Singh and R. Dixit and M. Singh and A. Baranwal",
 year         = "2012",
 title        = "Multi-level inverter: A literature survey on topologies and control strategies",
 journal      = "International Journal of Reviews in Computing",
 volume       = "10",
)
@inproceedings(SHLRFLF-epe13,
 author       = "Romain Soulat and Guillaume H{\'e}rault and Denis Labrousse and Bertrand Revol and Gilles Feld and St{\'e}phane Lefebvre and Laurent Fribourg",
 year         = "2013",
 title        = "Use of a full wave correct-by-design command to control a multilevel modular converter",
 editor       = "{\relax Ph}ilippe Lataire",
 booktitle    = "{P}roceedings of the 15th {E}uropean {C}onference on {P}ower {E}lectronics and {A}pplications ({EPE}'13)",
 publisher    = "{IEEE} Power Electronics Society",
 address      = "Lille, France",
 pages        = "1,8",
 doi          = "10.1109/EPE.2013.6634448",
 url          = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/SHLRFLF-epe13.pdf",
)
@book(T09,
 author       = "Paulo Tabuada",
 year         = "2009",
 title        = "Verification and Control of Hybrid Systems: A Symbolic Approach",
 publisher    = "Springer Publishing Company, Incorporated",
 doi          = "10.1007/978-1-4419-0224-5",
)