Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
From MaRDI portal
Publication:5172651
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
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