Fully Automated Stability Verification for Piecewise Affine Systems

DOI10.1007/978-3-540-71493-4_74zbMath1221.93206OpenAlexW1495650726MaRDI QIDQ3613025

Oliver Theel, Henning Burchardt, Jens Oehlerking

Publication date: 11 March 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_74

Mathematics Subject Classification ID

Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Asymptotic stability in control theory (93D20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once

Uses Software

• CSDP

This page was built for publication: Fully Automated Stability Verification for Piecewise Affine Systems