Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems

DOI10.1007/978-3-662-46081-8_18zbMath1435.93142MaRDI QIDQ5172651

Pavithra Prabhakar, Miriam García Soto

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_18

zbMATH Keywords

simulation; stability analysis; hybrid systems; bisimulation; abstraction-refinement

Mathematics Subject Classification ID

93D05: Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory

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

Related Items

On stability of discrete-time switched systems