{"paper":{"title":"Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.SY","authors_text":"Bertrand Revol (SATIE, Denis Labrousse (SATIE, ENS Cachan & CNRS, ENS de Cachan & CNRS, France), Gilles Feld (SATIE, Laurent Fribourg (LSV, Romain Soulat (LSV","submitted_at":"2014-07-15T06:40:28Z","abstract_excerpt":"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 form"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.3890","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}