RT Conference Proceedings
T1 Hybridization for Stability Analysis of Switched Linear Systems
A1 Prabhakar, Pavithra
A1 García Soto, Miriam
AB In this paper, we present a hybridization method for stability analysis of switched linear hybrid system (LHS), that constructs a switched system with polyhedral inclusion dynamics (PHS) using a state-space partition that is specific tostability analysis. We use a previous result based on quantitative predicate abstraction to analyse the stability of PHS. We show completeness of the hybridization based verification technique for the class of asymptotically stable linearsystem and a subclass of switched linear systems whose dynamics are pairwise Lipschitz continuous on the state-space and uniformly converging in time. For this class of systems, we show that by increasing the granularity of the region partition, we eventually reach an abstract switched system with polyhedral inclusion dynamics that is asymptotically stable. On the practical side, we implemented our approach in the tool Averist, and experimentally compared our approach with a state-of-the-art tool for stability analysis of hybrid systems based on Lyapunov functions. Our experimental results illustrate that our method is less prone to numerical errors and scales better than the traditional approaches. Inaddition, our tool returns a counterexample in the event that it fails to prove stability, providing feedback regarding the potential reason for instability. We also examined heuristics for the choice of state-space partition during refinement.
YR 2016
FD 2016-04-12
LK https://hdl.handle.net/20.500.14352/116094
UL https://hdl.handle.net/20.500.14352/116094
LA eng
DS Docta Complutense
RD 5 abr 2025