Formal methods for control engineering: a validated decision procedure for Nichols plot analysis

Ruth Hardy. Formal methods for control engineering: a validated decision procedure for Nichols plot analysis. PhD thesis, University of St Andrews, UK, 2006. [doi]

Abstract

Abstract is missing.