Survey and Evaluation of Automated Model Generation Techniques for High Level Modeling and High Level Fault Modeling

It is known that automated model generation (AMG) techniques for linear systems are sufficiently mature to handle linear systems during high level modeling (HLM). Other AMG techniques have been developed for various levels of nonlinear behavior and to focus on specific issues such as high level fault modeling (HLFM). However, no single nonlinear AMG technique exists which can be confidently adapted for any nonlinear system. In this paper, a survey on AMG techniques over the last two decades is conducted. The techniques are classified into two main areas: system identification (SI) based AMG and model order reduction (MOR) based AMG. Overall, the survey reveals that more advanced research for AMG techniques is required to handle strongly nonlinear systems during HLFM.

[1]  Eduardo F. Camacho,et al.  Model predictive control techniques for hybrid systems , 2010, Annu. Rev. Control..

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

[3]  Ning Dong,et al.  Automated extraction of broadly applicable nonlinear analog macromodels from SPICE-level descriptions , 2004, Proceedings of the IEEE 2004 Custom Integrated Circuits Conference (IEEE Cat. No.04CH37571).

[4]  Salvador Mir,et al.  Parameter identification based diagnosis in linear and non-linear mixed-signal systems , 2005 .

[5]  Jacob K. White,et al.  Efficient Steady-State Analysis Based on Matrix-Free Krylov-Subspace Methods , 1995, 32nd Design Automation Conference.

[6]  Eric James Grimme,et al.  Krylov Projection Methods for Model Reduction , 1997 .

[7]  Stephen James Spinks.  Fault simulation for structural testing of analogue integrated circuits , 1998 .

[8]  Alberto L. Sangiovanni-Vincentelli,et al.  Steady-state methods for simulating analog and microwave circuits , 1990, The Kluwer international series in engineering and computer science.

[9]  T.F. Chan.  Iterative methods for sparse linear systems [Book Review] , 1996, IEEE Computational Science and Engineering.

[10]  Michel S. Nakhla,et al.  Efficient model reduction of linear periodically time-varying systems via compressed transient system function , 2005, IEEE Transactions on Circuits and Systems I: Regular Papers.

[11]  Likun Xia,et al.  Automated macromodel generation for high level modeling , 2008, 2008 3rd International Conference on Design and Technology of Integrated Systems in Nanoscale Era.

[12]  Z. Bai.  Krylov subspace techniques for reduced-order modeling of large-scale dynamical systems , 2002 .

[13]  Jan G. Korvink,et al.  Two-sided Arnoldi Algorithm and Its Application in Order Reduction of MEMS , 2003 .

[14]  G. Goodwin,et al.  On the Estimation of the Parameter of an Optimal Interpolator When the Class of Interpolators is Restricted , 1980 .

[15]  Charles-Henri Bruneau,et al.  Improvement of Reduced Order Modeling based on Proper Orthogonal Decomposition , 2008 .

[16]  Hannu Tenhunen,et al.  Extending systems-on-chip to the third dimension: performance, cost and technological tradeoffs , 2007, ICCAD 2007.

[17]  Karim Arabi.  Special session 6C: New topic mixed-signal test impact to SoC commercialization , 2010, VTS.

[18]  Joel R. Phillips.  Automated extraction of nonlinear circuit macromodels , 2000, Proceedings of the IEEE 2000 Custom Integrated Circuits Conference (Cat. No.00CH37044).

[19]  Graham C. Goodwin,et al.  Digital control and estimation : a unified approach , 1990 .

[20]  Jaijeet S. Roychowdhury.  Reduced-order modelling of time-varying systems , 1999, Proceedings of the ASP-DAC '99 Asia and South Pacific Design Automation Conference 1999 (Cat. No.99EX198).

[21]  Alexandre Megretski,et al.  A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[22]  Jaijeet Roychowdhury,et al.  Reduced-order modeling of time-varying systems , 1999 .

[23]  Edmond A. Jonckheere,et al.  A new set of invariants for linear systems--Application to reduced order compensator design , 1983 .

[24]  Jacob K. White,et al.  Generating nearly optimally compact models from Krylov-subspace based reduced-order models , 2000 .

[25]  Stefano Grivet-Talocia,et al.  Passivity Enforcement via Perturbation of , 2004 .

[26]  Ning Dong,et al.  General-Purpose Nonlinear Model-Order Reduction Using Piecewise-Polynomial Representations , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[27]  Petre Stoica,et al.  Decentralized Control , 2018, The Control Systems Handbook.

[28]  M. Nakhla,et al.  Asymptotic Waveform Evaluation: And Moment Matching for Interconnect Analysis , 1993 .

[29]  Jaijeet Roychowdhury,et al.  Automated macromodel generation for electronic systems , 2003, Proceedings of the 2003 IEEE International Workshop on Behavioral Modeling and Simulation.

[30]  Yan Li,et al.  Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[31]  Eduardo Romero,et al.  An operational amplifier model for evaluating test strategies at behavioural level , 2007, Microelectron. J..

[32]  P. Dooren,et al.  Asymptotic Waveform Evaluation via a Lanczos Method , 1994 .

[33]  Jaijeet S. Roychowdhury,et al.  Algorithmic macromodelling methods for mixed-signal systems , 2004, 17th International Conference on VLSI Design. Proceedings..

[34]  Roland W. Freund,et al.  Efficient linear circuit analysis by Pade´ approximation via the Lanczos process , 1994, EURO-DAC '94.

[35]  C. Lanczos.  An iteration method for the solution of the eigenvalue problem of linear differential and integral operators , 1950 .

[36]  Rik Pintelon,et al.  System Identification: A Frequency Domain Approach , 2012 .

[37]  Lennart Ljung.  Perspectives on System Identification , 2008 .

[38]  Yu-Tsun Chien,et al.  A methodology for analog circuit macromodeling , 2004, Proceedings of the 2004 IEEE International Behavioral Modeling and Simulation Conference, 2004. BMAS 2004..

[39]  A. Nayfeh,et al.  Applied nonlinear dynamics : analytical, computational, and experimental methods , 1995 .

[40]  Serkan Gugercin,et al.  A survey of balancing methods for model reduction , 2003, 2003 European Control Conference (ECC).

[41]  Jerrold E. Marsden,et al.  Empirical model reduction of controlled nonlinear systems , 1999, IFAC Proceedings Volumes.

[42]  Bart De Moor,et al.  N4SID: Subspace algorithms for the identification of combined deterministic-stochastic systems , 1994, Autom..

[43]  Stefan Volkwein,et al.  Galerkin proper orthogonal decomposition methods for parabolic problems , 2001, Numerische Mathematik.

[44]  Andrew T. Yang,et al.  Stable and efficient reduction of substrate model networks using congruence transforms , 1995, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[45]  R. Freund.  Krylov-subspace methods for reduced-order modeling in circuit simulation , 2000 .

[46]  Lawrence T. Pileggi,et al.  Asymptotic waveform evaluation for timing analysis , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[47]  Kwang-Ting Cheng,et al.  Fault macromodeling and a testing strategy for opamps , 1996, J. Electron. Test..

[48]  Roland W. Freund.  SPRIM: structure-preserving reduced-order interconnect macromodeling , 2004, ICCAD 2004.

[49]  J. Roychowdhury.  Analyzing circuits with widely separated time scales using numerical PDE methods , 2001 .

[50]  Ian M. Bell,et al.  Automated Model Generation Algorithm for High-Level Fault Modeling , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[51]  Qi-Jun Zhang,et al.  Artificial neural networks for RF and microwave design - from theory to practice , 2003 .

[52]  Muhammad Umer Farooq,et al.  Local approximation improvement of trajectory piecewise linear macromodels through Chebyshev interpolating polynomials , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

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

[54]  Tien C. Hsia,et al.  System identification: Least-squares methods , 1977 .

[55]  Luís Miguel Silveira,et al.  Guaranteed passive balancing transformations for model order reduction , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[56]  M. Schetzen.  The Volterra and Wiener Theories of Nonlinear Systems , 1980 .

[57]  Gwilym M. Jenkins,et al.  Time series analysis, forecasting and control , 1972 .

[58]  Alexandre Megretski,et al.  Convex relaxation approach to the identification of the Wiener-Hammerstein model , 2008, 2008 47th IEEE Conference on Decision and Control.

[59]  Y. Kiliç,et al.  Behavioral Fault Modeling and Simulation Using VHDL-AMS to Speed-Up Analog Fault Simulation , 2004 .

[60]  L. Ljung,et al.  Asymptotic normality of prediction error estimators for approximate system models , 1978, 1978 IEEE Conference on Decision and Control including the 17th Symposium on Adaptive Processes.

[61]  Alexandre Megretski,et al.  Passive reduced order modeling of multiport interconnects via semidefinite programming , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[62]  Baolin Yang,et al.  An essentially non-oscillatory (ENO) high-order accurate adaptive table model for device modeling , 2004, Proceedings. 41st Design Automation Conference, 2004..

[63]  D. Enns.  Model reduction with balanced realizations: An error bound and a frequency weighted generalization , 1984, The 23rd IEEE Conference on Decision and Control.

[64]  Luca Daniel,et al.  Guaranteed stable projection-based model reduction for indefinite and unstable linear systems , 2008, ICCAD 2008.

[65]  Jacob K. White,et al.  A trajectory piecewise-linear approach to model order reduction and fast simulation of nonlinear circuits and micromachined devices , 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

[66]  Luca Daniel,et al.  Automated compact dynamical modeling: An enabling tool for analog designers , 2010, Design Automation Conference.

[67]  Kenji Fujimoto,et al.  Model reduction for nonlinear systems based on the differential eigenstructure of Hankel operators , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[68]  A. Haddad.  Discrete techniques of parameter estimation--The equation error formulation , 1974 .

[69]  Mattan Kamon,et al.  A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits , 1999 .

[70]  Lawrence T. Pileggi,et al.  NORM: compact model order reduction of weakly nonlinear systems , 2003, DAC '03.

[71]  Ning Dong,et al.  Automated nonlinear macromodelling of output buffers for high-speed digital applications , 2005, Proceedings. 42nd Design Automation Conference, 2005..

[72]  J. Phillips,et al.  Model reduction of time-varying linear systems using approximate multipoint Krylov-subspace projectors , 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

[73]  Josef Stoer,et al.  Numerische Mathematik 1 , 1989 .

[74]  Andreas Steinbrecher.  Model Order Reduction of Nonlinear Circuits , 2010 .

[75]  Likun Xia,et al.  A robust approach for automated model generation , 2009, 2009 4th International Conference on Design & Technology of Integrated Systems in Nanoscal Era.

[76]  B. Gustavsen.  Fast Passivity Enforcement for Pole-Residue Models by Perturbation of Residue Matrix Eigenvalues , 2008, IEEE Transactions on Power Delivery.

[77]  Luís Miguel Silveira,et al.  A convex programming approach to positive real rational approximation , 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

[78]  Luca Daniel,et al.  A Piecewise-Linear Moment-Matching Approach to Parameterized Model-Order Reduction for Highly Nonlinear Systems , 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[79]  B. Moore.  Principal component analysis in linear systems: Controllability, observability, and model reduction , 1981 .

[80]  J. Roychowdhury,et al.  Algorithmic methods for bottom-up generation of system-level RF macromodels , 2004, First International Symposium on Control, Communications and Signal Processing, 2004..

[81]  A. Nayfeh,et al.  Applied nonlinear dynamics : analytical, computational, and experimental methods , 1995 .

[82]  Ning Dong,et al.  Piecewise polynomial nonlinear model reduction , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[83]  Timo Reis,et al.  Model Reduction for a Class of Nonlinear Electrical Circuits by Reduction of Linear Subcircuits , 2010 .

[84]  Jacob K. White,et al.  A TBR-based trajectory piecewise-linear algorithm for generating accurate low-order models for nonlinear analog circuits and MEMS , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).