Automatic verification of stability and safety for delay differential equations

DOI10.1007/978-3-319-21668-3_20zbMath1381.68188MaRDI QIDQ1702900

Naijun Zhan, Martin Fränzle, Liang Zou, Peter Nazier Mosaad

Publication date: 1 March 2018

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

Mathematics Subject Classification ID

34K20: Stability theory of functional-differential equations

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

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)