𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On computational complexity of invalidating structured uncertainty models

✍ Scribed by Onur Toker; Jie Chen


Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
102 KB
Volume
33
Category
Article
ISSN
0167-6911

No coin nor oath required. For personal study only.

✦ Synopsis


In this paper we study a class of uncertainty model validation=invalidation problems for linear discrete-time systems. We consider models described by a linear fractional transformation (LFT) of modeling uncertainties, which are structured, time invariant or time varying, and are bounded in H ∞ or '1 norms. The experimental data available for use in invalidation are either input-output time series observations or frequency response measurements. We analyze the computational complexity associated with these problems. While earlier work showed that for LFT models with an unstructured uncertainty the invalidation problems can be reduced to one of solving linear matrix inequalities, and hence may be tackled readily using well-developed numerical methods, in this paper we provide a simple proof to show that in the presence of structured uncertainties they are all NP-hard with respect to the number of uncertainty blocks, suggesting that the problems are inherently intractable from a computational standpoint. Additionally, we also demonstrate that the problems do become tractable when the LFT model description is changed to an additive one, leading to LMI-based invalidation tests similar to those obtained elsewhere. These results indicate that the main source of the computational di culty lies in the LFT description together with the structured nature of the uncertainties.


πŸ“œ SIMILAR VOLUMES


On computational complexity of contextua
✍ Lucian Ilie πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 726 KB

We consider the following restriction of internal contextual grammars, called local: in any derivation in a grammar, after applying a context, further contexts can be added only inside of or at most adjacent to the previous ones. We further consider a natural restriction of this derivation mode by r