Taming delays in dynamical systems. Unbounded verification of delay differential equations
From MaRDI portal
Publication:6194599
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)
Full work available at URL: https://doi.org/10.1007/978-3-030-25540-4_37
stability; linearization; safety; delay differential equations; spectral analysis; unbounded verification
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