Automatic verification of stability and safety for delay differential equations
type: Item
instance of: scholarly article
title: Automatic verification of stability and safety for delay differential equations
zbMATH Open document ID: 1381.68188
DOI: 10.1007/978-3-319-21668-3_20
author: Liang Zou
author: Martin Fränzle
author: Naijun Zhan
author: Peter Nazier Mosaad
publication date: 2018-03-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 34K20
Mathematics Subject Classification ID: 93C30
zbMATH DE Number: 6845641
MaRDI profile type: Publication
full work available at URL: 978-3-319-21668-3 20
OpenAlex ID: W2163847201
Recommended article: Efficient and reliable stability analysis of solutions of delay differential equations
Recommended article: Q3641912
Recommended article: Stability and stabilization of delay differential systems
Recommended article: Q4897197
Recommended article: On absolute stability of differential-delay systems
Recommended article: Q4350303
Recommended article: Computing stability of differential equations with bounded distributed delays
Recommended article: Safe over- and under-approximation of reachable sets for delay differential equations
Recommended article: Unbounded-time safety verification of stochastic differential dynamics
Recommended article: Exact stability criteria for delay differential and difference equations
description: scientific article; zbMATH DE number 6845641