Proving Properties on PWA Systems Using Copositive and Semidefinite Programming

DOI10.1007/978-3-319-54292-8_2zbMath1429.68138MaRDI QIDQ5213975

Assalé Adjé

Publication date: 6 February 2020

Published in: Numerical Software Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-54292-8_2

Mathematics Subject Classification ID

90C22: Semidefinite programming

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

93B03: Attainable sets, reachability

Related Items

Quadratic maximization of reachable values of affine systems with diagonalizable matrix