文章基本信息

标题：Constructive analysis of control system stability
本地全文：下载
作者：Pavel Osinenko ; Grigory Devadze ; Stefan Streif 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2017
卷号：50
期号：1
页码：7467-7474
DOI：10.1016/j.ifacol.2017.08.1520
语种：English
出版社：Elsevier
摘要：AbstractStability of control systems is one of the central subjects in control theory. The classical asymptotic stability theorem states that the norm of the residual between the state trajectory and the equilibrium is zero in the limit. Unfortunately, it does not in general allow computing a rate of convergence, whereas proving exponential stability is notoriously complicated. This work proposes to revisit the asymptotic stability theory with the aim of computing convergence rates using constructive analysis which is a mathematical tool that realizes equivalence between certain theorems and computational algorithms. The overall goal of the current study matches with the trend for introducing formal verification tools into control theory. Besides existing approaches, constructive analysis, suggested within this work, can also be considered for formal verification of control systems. A computational example is provided that demonstrates extraction of a convergence certificate for a dynamical system.
关键词：KeywordsDynamic stabilitycomputational methodsformal verification