Guaranteed accuracy computations in systems and control
Guaranteed accuracy computations in systems and control
复制标题
保证系统和控制的计算精度
DOI：
10.23919/ecc.2003.7084967
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
Malcolm C. Smith
中科院分区：
文献类型：
--
作者：
M. Kanno;Malcolm C. Smith
This paper is concerned with the problem of validation in the context of numerical computations in control. We explore the possibility of using computer algebra tools and interval methods to compute solutions which have guarantees on accuracy, e.g. which are not subject to unknown errors due to rounding or approximation. We demonstrate that this is possible for two common norms of a linear system (L2 and L∞) and H2-optimal controller synthesis. We further discuss some of the issues involved in achieving a validation property for other problems of controller synthesis.
