Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions

DOI10.1007/978-3-319-24021-3_32zbMath1400.93282OpenAlexW2264941559MaRDI QIDQ3454562

Meilun Li, Dan Song, Zhikun She

Publication date: 25 November 2015

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24021-3_32

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Lyapunov and storage functions (93D30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Bifurcation Analysis of a Predator–Prey System with Ratio-Dependent Functional Response ⋮ Inner-approximating domains of attraction for discrete-time switched systems via multi-step multiple Lyapunov-like functions

This page was built for publication: Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-Like Functions