CUED Publications database

Guaranteed accuracy computations in systems and control

Kanno, M and Smith, MC (2003) Guaranteed accuracy computations in systems and control. In: UNSPECIFIED pp. 276-281..

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Divisions: Div F > Control
Depositing User: Cron Job
Date Deposited: 09 Jan 2018 02:09
Last Modified: 06 Jul 2021 08:58
DOI: doi:10.23919/ecc.2003.7084967