Canonical Projector Techniques for Analyzing Descriptor System

다국어 초록 (Multilingual Abstract)

Physical systems are often naturally formulated as descriptor systems (DSs) which form a superset of the more restrictive standard state spaces. The analysis of a DS, however, is complicated by the algebraic coupling between its proper and improper subsystems. The recently emerging canonical projector technique, stemming from iterative matrix chain construction, provides a theoretically sound and numerically effective way to completely decouple these subsystems and largely facilitates the re-use or adaptation of standard state space techniques for DS analysis. Nonetheless, results concerning canonical projectors are scattered and their potential use is currently less appreciated. The objectives of this paper are twofold: i) It serves as a tutorial that collects distributed results about canonical projectors and presents them in a coherent manner; and more than just a tutorial, it elaborates and provides new/elegant/corrected proofs to some fundamental properties of canonical projectors. An iterative procedure for canonical projector construction, lacking in the literature, is also described. ii) Obvious applications, including some latest development, of projector techniques in practical circuit design problems are succinctly illustrated. By creating a self-contained repository of important canonical projector theories, it is hoped that more interest will be drawn and efficient numerical implementations will follow.

참고문헌 (Reference)

1 J. Demmel, "The generalized Schur decomposition of an arbitrary pencil A-λB : robust software with error bounds and applications. Part I : theory and algorithms" 19 (19): 160-174, 1993

2 Z. Bai, "Templates for the solution of Alge-braic Eigenvalue Problems: A Practical Guide" SIAM 2000

3 W. Cauer, "Synthesis of Linear Communication Networks" McGraw-Hill 1958

4 Y. Wei, "Successive matrix squaring algorithm for computing the Drazin inverse" 108 (108): 67-75, 2000

5 R. Winkler, "Stochastic differential algebraic equa-tions of index 1 and applications in circuit simula-tion" 163 (163): 435-463, 2004

6 T. Piero, "Stability, causality, and passivity in electrical interconnect models" 30 (30): 795-808, 2007

7 L. Dai, "Singular Control Systems, Lecture Notes in Control and Information Sciences 118" Springer-Verlag 1989

8 B. Yan, "Second-order balanced truncation for passive-order reduc-tion of RLCK circuits" 55 (55): 942-946, 2008

9 M. S. Soto, "Scientific Computing in Electrical Engineering, vol. 9" Springer-Verlag 2005

10 Chunyu Yang, "Robustness Analysis of Descriptor Systems with Parameter Uncertainties" 제어·로봇·시스템학회 8 (8): 204-209, 2010

11 C. Coll, "Reacha-bility and observability indices of a discrete-time periodic descriptor system" 153 (153): 485-496, 2004

12 R. März, "Projectors for matrix pencils"

13 T. Reis, "Positive real and bounded real balancing for model reduction of descriptor systems" 83 (83): 74-88, 2010

14 Z. Zhang, "Passivity test of immit-tance descriptor systems based on generalized Ha-miltonian methods" 57 (57): 61-65, 2010

15 Y. Wang, "Passivity enforcement for de-scriptor systems via matrix pencil perturbation" 31 (31): 532-545, 2012

16 Z. Zhang, "Passivity check of S-parameter descriptor systems via S-parameter gene-ralized Hamiltonian methods" 33 (33): 1034-1042, 2010

17 P. Benner, "Partial realization of descriptor systems" 55 (55): 929-938, 2006

18 Y. Wang, "PEDS : passivity enforcement for de-scriptor systems via Hamiltonian-Symplectic ma-trix pencil perturbation" 800-807, 2010

19 T. Reis, "PABTEC : passivity-preserving balanced truncation for electrical cir-cuits" 29 (29): 1354-1367, 2010

20 T. Stykel, "On some norms for descriptor systems" 51 (51): 842-847, 2006

21 O. Schein, "Numerical solution of stochastic differential-algebraic equations with ap-plications to transient noise simulation of micro-electronic circuits" 100 (100): 77-92, 1998

22 M. S. Soto, "Numerical analy-sis of DAEs from coupled circuit and semiconduc-tor simulation" 53 (53): 471-488, 2005

23 오도창, "Model Reduction for the Descriptor Systems by Linear Matrix Inequalities" 제어·로봇·시스템학회 8 (8): 875-881, 2010

24 T. Stykel, "Low-rank iterative methods for pro-jected generalized Lyapunov equations" 30 : 187-202, 2008

25 T. Stykel, "Gramian-based model reduction for descriptor systems" 16 : 297-319, 2004

26 Z. Zhang, "GHM : a generalized Hamiltonian method for passivity test of impedance/admittance descriptor systems" 767-773, 2009

27 R. März, "Fine decouplings of regular differential algebraic equations" 46 (46): 57-72, 2004

28 M. Hou, "Controllability and elimination of impul-sive modes in descriptor systems" 49 (49): 1723-1729, 2004

29 T. Reis, "Circuit synthesis of passive descriptor systems : A modified nodal approach" 38 (38): 44-68, 2010

30 G. Denk, "Circuit Simulation for Nanoelectronics, From Nano to Space" Springer-Verlag 2008

31 M. Hou, "Causal observability of descriptor systems" 44 (44): 158-163, 1999

32 R. März, "Canonical projectors for linear differen-tial algebraic equations" 31 (31): 121-135, 1995

33 E. Griepentrog, "Basic properties of some differential-algebraic equations" 8 (8): 25-40, 1989

34 R. W. Freund, "An extension of the positive real lemma to descriptor systems" 19 (19): 69-87, 2004

35 Z. Zhang, "An extension of the gene-ralized Hamiltonian method to S-parameter de-scriptor systems" 43-47, 2010

36 Z. Zhang, "An efficient projector-based passivity test for descriptor systems" 29 (29): 1203-1214, 2010

37 N. Wong, "An efficient passivity test for descriptor systems via canonical projector techniques" 957-962, 2009

38 R. Riaza, "A simpler construction of the matrix chain defining the tractability index of linear DAEs" 21 (21): 326-331, 2008

39 C. Penski, "A new numerical method for SDEs and its application in circuit simulation" 115 (115): 461-470, 2000

40 Z. Zhang, "A moment-matching scheme for the passivity-preserving model order reduction of indefinite de-scriptor systems with possible polynomial parts" 49-54, 2011

41 A. J. Mayo, "A framework for the solution of the generalized realization prob-lem" 425 (425): 634-662, 2007

42 N. Wong, "A fast passivity test for descriptor systems via skew-Hamiltonian/Hamiltonian matrix pencil transformations" 55 (55): 635-643, 2008

43 A. Varga, "A descriptor systems toolbox for MAT-LAB" 150-155, 2000