Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
From MaRDI portal
Publication:5172651
DOI10.1007/978-3-662-46081-8_18zbMath1435.93142OpenAlexW191072716MaRDI 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
Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (1)
This page was built for publication: Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems