Taming delays in dynamical systems. Unbounded verification of delay differential equations

DOI10.1007/978-3-030-25540-4_37MaRDI QIDQ6194599

Shenghua Feng, Mingshuai Chen, Martin Fränzle, Bai Xue, Naijun Zhan

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

zbMATH Keywords

stability; linearization; safety; delay differential equations; spectral analysis; unbounded verification

Mathematics Subject Classification ID

34K20: Stability theory of functional-differential equations

68Q60: Specification and verification (program logics, model checking, etc.)

93C15: Control/observation systems governed by ordinary differential equations