A Study of Model-Order Reduction Techniques for Verification

DOI10.1007/978-3-319-63501-9_8zbMath1493.93007OpenAlexW2734868194MaRDI QIDQ5086232

Sriram Sankaranarayanan, Yi Chou, Xin Chen

Publication date: 1 July 2022

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

Full work available at URL: https://doi.org/10.1007/978-3-319-63501-9_8

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) System structure simplification (93B11) Networked control (93B70)

This page was built for publication: A Study of Model-Order Reduction Techniques for Verification