Guaranteed control of switched control systems using model order reduction and state-space bisection

DOI10.4230/OASIcs.SynCoP.2015.33zbMath1432.93043OpenAlexW2182623602MaRDI QIDQ5240150

Adrien Le Coënt, Christian Rey, Ludovic Chamoin, Florian De Vuyst, Laurent Fribourg

Publication date: 24 October 2019

Full work available at URL: https://hal.archives-ouvertes.fr/hal-01241746

zbMATH Keywords

guaranteed controlmodel order reductionstability controlerror boundingreachability control

Mathematics Subject Classification ID

Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) System structure simplification (93B11) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method

Uses Software

• MPT
• PESSOA
• CoSyma

Cites Work

• Unnamed Item
• Unnamed Item
• Finite controlled invariants for sampled switched systems
• \(H_\infty\) model reduction for the distillation column linear system
• Set invariance in control
• Synthesis using approximately bisimilar abstractions
• Numerical solution of large‐scale Lyapunov equations, Riccati equations, and linear‐quadratic optimal control problems
• Verification and Control of Hybrid Systems
• Principal component analysis in linear systems: Controllability, observability, and model reduction
• Stochastic stability of the discrete-time extended Kalman filter
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Stability Controllers for Sampled Switched Systems
• On the Stabilization of Linear Systems Under Assigned I/O Quantization
• Hybrid Systems: Computation and Control

This page was built for publication: Guaranteed control of switched control systems using model order reduction and state-space bisection