Abstract:We consider the problem of locating a nearest descriptor system of prescribed reduced order to a descriptor system with large order with respect to the ${\mathcal L}_\infty$ norm. Widely employed approaches such as the balanced truncation and best Hankel norm approximation for this ${\mathcal L}_\infty$ model reduction problem are usually expensive and yield solutions that are not optimal, not even locally. We propose approaches based on the minimization of the ${\mathcal L}_\infty$ objective by means of smooth optimization techniques. As we illustrate, direct applications of smooth optimization techniques are not feasible, since the optimization techniques converge at best at a linear rate requiring too many evaluations of the costly ${\mathcal L}_\infty$-norm objective to be practical. We replace the original large-scale system with a system of smaller order that interpolates the original system at points on the imaginary axis, and minimize the ${\mathcal L}_\infty$ objective after this replacement. The smaller system is refined by interpolating at additional imaginary points determined based on the local minimizer of the ${\mathcal L}_\infty$ objective, and the optimization is repeated. We argue the framework converges at a quadratic rate under smoothness and nondegeneracy assumptions, and describe how asymptotic stability constraints on the reduced system sought can be incorporated into our approach. The numerical experiments on benchmark examples illustrate that the approach leads to locally optimal solutions to the ${\mathcal L}_\infty$ model reduction problem, and the convergence occurs quickly for descriptors systems of order a few ten thousands.

Frequency Domain Identifiability and Sloppiness of Descriptor Systems with an LFT Structure

Identification of LFT Structured Descriptor Systems with Slow and Non-uniform Sampling

Identifiability of an LFT Structured Descriptor System in the Time Domain

Sloppiness of Structured Systems with a Matrix Fraction Description

Data Informativity and Parameter Sloppiness of an LFT Parameterized System

Partial detectability and generalized functional observer design for linear descriptor systems

Structure Identifiability of an NDS with LFT Parametrized Subsystems

Local Identifiability of an LFT Structured State-Space Model

Finite Sample Frequency Domain Identification

Fault Detection and Isolation for Discrete-Time Descriptor Systems Based on H−/L∞ Observer and Zonotopic Residual Evaluation

Regularity/Controllability/Observability of an NDS with Descriptor Form Subsystems and Generalized LFTs.

Unfalsified model parametrization based on frequency domain noise information

Affine Dependence of Network Observability/Controllability on Its Subsystem Parameters and Connections

A Subspace Framework for ${\mathcal L}_\infty$ Model Reduction

Admissibility Analysis and Robust Stabilization Via State Feedback for Uncertain T-S Fuzzy Descriptor Systems

Observer Design for Discrete-Time Descriptor Systems: an LMI Approach.

Luenberger-like Interval Observer Design for Discrete-Time Descriptor Linear System

Impulse Elimination Via State Feedback In Descriptor Systems

Observer-based Fault-Tolerant Control for Descriptor Systems

On the Consistency Between an LFT Described Model Set and Frequency Domain Data

Necessary and Sufficient Condition for Robust Stability of Discrete-Time Descriptor Polytopic Systems