Formal Analysis of Steady State Errors in Feedback Control Systems Using HOL-Light
- 1 January 2013
- conference paper
- conference paper
- Published by EDAA in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014
- p. 1423-1426
- https://doi.org/10.7873/date.2013.290