2026-07-22T11:17:53Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5608 2024-03-06T10:29:42Z ddc:004 open_access

Guaranteed control of switched control systems using model order reduction and state-space bisection Le Coënt, Adrien de Vuyst, Florian Rey, Christian Chamoin, Ludovic Fribourg, Laurent Model Order Reduction guaranteed control stability control reachability control error bounding This paper considers discrete-time linear systems controlled by a quantized law, i.e., a piecewise constant time function taking a finite set of values. We show how to generate the control by, first, applying model reduction to the original system, then using a "state-space bisection" method for synthesizing a control at the reduced-order level, and finally computing an upper bound to the deviations between the controlled output trajectories of the reduced-order model and those of the original model. The effectiveness of our approach is illustrated on several examples of the literature. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Adrien Le Coënt and Florian de Vuyst and Christian Rey and Ludovic Chamoin and Laurent Fribourg 2015 Is Part Of OASIcs, Volume 44, 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) (2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SynCoP.2015.33 urn:nbn:de:0030-drops-56089 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SynCoP.2015.33 eng https://creativecommons.org/licenses/by/3.0/legalcode