Verified stability analysis using the Lyapunov matrix equation
From MaRDI portal
Publication:2450045
zbMath1288.65058MaRDI QIDQ2450045
Behnam Hashemi, Andreas Frommer
Publication date: 14 May 2014
Published in: ETNA. Electronic Transactions on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: http://www.emis.de/journals/ETNA/volumes/2011-2020/vol40/abstract_vol40_pp187-203.html
stability analysisinterval arithmeticLyapunov matrix equationKrawczyk's methodverified computationnegative definite Hermitian matrix
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Linear and parabolic relaxations for quadratic constraints ⋮ Verified computation of matrix gamma function
This page was built for publication: Verified stability analysis using the Lyapunov matrix equation
