Hybridization for Stability Analysis of Switched Linear Systems

DOI10.1145/2883817.2883840zbMath1364.93688MaRDI QIDQ2988963

Miriam García Soto, Pavithra Prabhakar

Publication date: 19 May 2017

Published in: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2883817.2883840

zbMATH Keywords

hybrid systems; switched systems; hybridization; stability verification

Mathematics Subject Classification ID

93C05: Linear systems in control theory

93D20: Asymptotic stability in control theory

93C65: Discrete event control/observation systems

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Related Items

Synthesis of hybrid automata with affine dynamics from time-series data

Uses Software

• PPL
• Stabhyli
• Averist