Passivity Enforcement for Descriptor Systems Via Matrix Pencil Perturbation

Passivity is an important property of circuits and systems to guarantee stable global simulation. Nonetheless, nonpassive models may result from passive underlying structures due to numerical or measurement error/inaccuracy. A postprocessing passivity enforcement algorithm is therefore desirable to perturb the model to be passive under a controlled error. However, previous literature only reports such passivity enforcement algorithms for pole-residue models and regular systems (RSs). In this paper, passivity enforcement algorithms for descriptor systems (DSs, a superset of RSs) with possibly singular direct term (specifically, D+DT or I-DDT) are proposed. The proposed algorithms cover all kinds of state-space models (RSs or DSs, with direct terms being singular or nonsingular, in the immittance or scattering representation) and thus have a much wider application scope than existing algorithms. The passivity enforcement is reduced to two standard optimization problems that can be solved efficiently. The objective functions in both optimization problems are the error functions, hence perturbed models with adequate accuracy can be obtained. Numerical examples then verify the efficiency and robustness of the proposed algorithms.

[1]  Qing K. Zhu,et al.  Power Distribution Network Design for VLSI , 2004 .

[2]  D. Sorensen,et al.  A Survey of Model Reduction Methods for Large-Scale Systems , 2000 .

[3]  H. Nicholson,et al.  On the cross-Gramian for symmetric MIMO systems , 1985 .

[4]  Ngai Wong,et al.  Efficient Positive-Real Balanced Truncation of Symmetric Systems Via Cross-Riccati Equations , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[5]  Stefano Grivet-Talocia,et al.  Passivity enforcement via perturbation of Hamiltonian matrices , 2004, IEEE Transactions on Circuits and Systems I: Regular Papers.

[6]  Tatjana Stykel,et al.  Gramian-Based Model Reduction for Descriptor Systems , 2004, Math. Control. Signals Syst..

[7]  Athanasios C. Antoulas,et al.  A New Approach to Modeling Multiport Systems From Frequency-Domain Data , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  B. Gustavsen,et al.  Computer Code for Passivity Enforcement of Rational Macromodels by Residue Perturbation , 2007, IEEE Transactions on Advanced Packaging.

[9]  H. Nicholson,et al.  On the structure of balanced and other principal representations of SISO systems , 1983 .

[10]  Zuochang Ye,et al.  Fast and reliable passivity assessment and enforcement with extended Hamiltonian pencil , 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.

[11]  Ngai Wong.  Fast positive-real balanced truncation of symmetric systems using cross Riccati equations , 2007 .

[12]  L. Dai,et al.  Singular Control Systems , 1989, Lecture Notes in Control and Information Sciences.

[13]  Ngai Wong,et al.  An Efficient Projector-Based Passivity Test for Descriptor Systems , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Luís Miguel Silveira,et al.  Guaranteed passive balancing transformations for model order reduction , 2002, DAC '02.

[15]  Shengyuan Xu,et al.  On positive realness of descriptor systems , 2002 .

[16]  Stefano Grivet-Talocia,et al.  On Passivity Characterization of Symmetric Rational Macromodels , 2010, IEEE Transactions on Microwave Theory and Techniques.

[17]  Michel S. Nakhla,et al.  Global passivity enforcement algorithm for macromodels of interconnect subnetworks characterized by tabulated data , 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[18]  Ngai Wong,et al.  Fast sweeping methods for checking passivity of descriptor systems , 2008, APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems.

[19]  Albert E. Ruehli,et al.  Three-dimensional interconnect analysis using partial element equivalent circuits , 1992 .

[20]  Stephen P. Boyd,et al.  A bisection method for computing the H∞ norm of a transfer matrix and related problems , 1989, Math. Control. Signals Syst..

[21]  R. Iravani,et al.  Passivity Enforcement Using an Infeasible-Interior-Point Primal-Dual Method , 2008, IEEE Transactions on Power Systems.

[22]  Stefano Grivet-Talocia,et al.  The Time-Domain Vector Fitting Algorithm for Linear Macromodeling , 2004 .

[23]  Zuochang Ye,et al.  Extended Hamiltonian Pencil for passivity assessment and enforcement for S-parameter systems , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[24]  B. Gustavsen,et al.  A Half-Size Singularity Test Matrix for Fast and Reliable Passivity Assessment of Rational Models , 2009 .

[25]  Ngai Wong,et al.  An extension of the generalized Hamiltonian method to S-parameter descriptor systems , 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).

[26]  Roswitha März,et al.  Canonical projectors for linear differential algebraic equations , 1996 .

[27]  J. Gawroński.  Amsterdam , 2008, Water in Times of Climate Change.

[28]  Roland W. Freund,et al.  An extension of the positive real lemma to descriptor systems , 2004, Optim. Methods Softw..

[29]  B. Gustavsen,et al.  Enforcing Passivity for Admittance Matrices Approximated by Rational Functions , 2001, IEEE Power Engineering Review.

[30]  A.M. Gole,et al.  Robust Passivity Enforcement Scheme for Time-Domain Simulation of Multi-Conductor Transmission Lines and Cables , 2010, IEEE Transactions on Power Delivery.

[31]  Luís Miguel Silveira,et al.  A convex programming approach for generating guaranteed passive approximations to tabulated frequency-data , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[32]  Ngai Wong,et al.  MFTI: Matrix-format tangential interpolation for modeling multi-port systems , 2010, Design Automation Conference.

[33]  Paul Van Dooren,et al.  A collection of benchmark examples for model reduction of linear time invariant dynamical systems. , 2002 .

[34]  E. Yaz.  Linear Matrix Inequalities In System And Control Theory , 1998, Proceedings of the IEEE.

[35]  Alan J. Laub,et al.  The LMI control toolbox , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[36]  Albert E. Ruehli,et al.  The modified nodal approach to network analysis , 1975 .

[37]  A. Semlyen,et al.  Rational approximation of frequency domain responses by vector fitting , 1999 .

[38]  John Lillis,et al.  Interconnect Analysis and Synthesis , 1999 .

[39]  N. Wong,et al.  An efficient passivity test for descriptor systems via canonical projector techniques , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[40]  Ngai Wong,et al.  GHM: A generalized Hamiltonian method for passivity test of impedance/admittance descriptor systems , 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.

[41]  E. E. Dweck,et al.  Theory of Linear Active Networks , 1968 .

[42]  Roland W. Freund,et al.  Reduced-order modeling of large linear passive multi-terminal circuits using matrix-Pade approximation , 1998, Proceedings Design, Automation and Test in Europe.

[43]  Cheng-Kok Koh,et al.  PEDS: Passivity enforcement for descriptor systems via Hamiltonian-symplectic matrix pencil perturbation , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[44]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[45]  B. Gustavsen,et al.  Fast Passivity Enforcement for S-Parameter Models by Perturbation of Residue Matrix Eigenvalues , 2010, IEEE Transactions on Advanced Packaging.

[46]  Qing K. Zhu.  Power Distribution Network Design For VLSI: Zhu/VLSI , 2005 .

[47]  A. Ruehli.  Equivalent Circuit Models for Three-Dimensional Multiconductor Systems , 1974 .

[48]  Larry Pileggi,et al.  IC Interconnect Analysis , 2002 .

[49]  Lawrence T. Pileggi,et al.  PRIMA: passive reduced-order interconnect macromodeling algorithm , 1997, ICCAD 1997.

[50]  R. Achar,et al.  A fast algorithm and practical considerations for passive macromodeling of measured/simulated data , 2004, IEEE Transactions on Advanced Packaging.

[51]  R. Aldhaheri.  Model order reduction via real Schur-form decomposition , 1991 .

[52]  Ngai Wong,et al.  Passivity Check of $S$-Parameter Descriptor Systems via $S$-Parameter Generalized Hamiltonian Methods , 2010, IEEE Transactions on Advanced Packaging.

[53]  Ngai Wong,et al.  Passivity Test of Immittance Descriptor Systems Based on Generalized Hamiltonian Methods , 2010, IEEE Transactions on Circuits and Systems II: Express Briefs.

[54]  Danny C. Sorensen,et al.  Passivity preserving model reduction via interpolation of spectral zeros , 2003, 2003 European Control Conference (ECC).

[55]  Frank Wang,et al.  An efficient Lyapunov equation-based approach for generating reduced-order models of interconnect , 1999, DAC '99.

[56]  L. Silverman,et al.  Model reduction via balanced state space representations , 1982 .

[57]  Ieee Circuits,et al.  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems information for authors , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.