2014/08/03 by Joseph A. Ball, Ball, Joseph A., Gilbert J. Groenewald +5
Computer Science · Engineering · Mathematics · #13F25 #47A60 #Advanced Operator Algebra Research #Advanced Optimization Algorithms Research #FOS: Mathematics #Matrix Theory and Algorithms #Optimization and Control (math.OC) #Primary 93D09 #Secondary 93B28 #Stability and Control of Uncertain Systems #math.OC #msc:13F25 #msc:47A60 #msc:93B28 #msc:93D09
paper · pdf · doi:10.48550/arxiv.1408.0519
38 pages
arxiv created 2014/08/03 · openalex publication_date 2014/08/03 · arxiv updated 2014/08/05 · openalex created_date 2022/08/16 · openalex updated_date 2026/07/28
The structured singular value μ was introduced independently by Doyle and Safanov as a tool for analyzing robustness of system stability and performance in the presence of structured uncertainty in the system parameters. While the structured singular value provides a necessary and sufficient criterion for robustness with respect to a structured ball of uncertainty, it is notoriously difficult to actually compute. The method of diagonal (or simply "D") scaling, on the other hand, provides an easily computable upper bound (which we call μ) for the structured singular value, but provides an exact evaluation of μ (or even a useful upper bound for μ) only in special cases. However it was discovered in the 1990s that a certain enhancement of the uncertainty structure (i.e., letting the uncertainty parameters be freely noncommuting linear operators on an infinite-dimensional separable Hilbert space) resulted in the D-scaling procedure leading to an exact evaluation of μenhanced (μenhanced = μ), at least for the tractable special cases which were analyzed in complete detail. On the one hand this enhanced uncertainty has some appeal from the physical point of view: one can allow the uncertainty in the plant parameters to be time-varying, or more generally, one can catch the uncertainty caused by the designer's decision not to model the more complex (e.g. nonlinear) dynamics of the true plant. On the other hand, the precise mathematical formulation of this enhanced uncertainty structure makes contact with developments in the growing theory of analytic functions in freely noncommuting arguments and associated formal power series in freely noncommuting indeterminates. In this article we obtain the \widetilde μ= μ theorem for a more satisfactory general setting.