Weiterführende Informationen über die mathematische Theorie hinter der Software Analog Insydes und seine Anwendungen im Schaltungsdesign und anderen Bereichen finden Sie in folgenden Publikationen:

Artikel und Konferenzpaper

• M. Hauser, C. Salzig. Symbolic model order reduction of systems with parameter variation via sensitivity analysis, 12.GMM/ITG-Fachtagung Analog 2011, Entwicklung von Analogschaltungen mit CAE-Methoden, Schwerpunkt: Entwurf eingebetteter Sensorsysteme, Erlangen, Germany (2011), to appear
• M. Hauser, C. Salzig, A. Dreyer: Fast and Robust Symbolic Model Order Reduction with Analog Insydes, CASC 2011, Lecture Notes in Computer Science 6885, Springer, Heidelberg (2011), pp. 215-225
• C. Salzig, M. Hauser, and A. Venturi: Using sensitivities for symbolic analysis and model order reduction of systems with parameter variation, Proceedings of the European Conference on Mathematics for Industry (ECMI), Wuppertal, Germany (2010), to appear
• J. Lorenz, E. Bär, T. Clees, R. Jancke, C. Salzig, S. Selberherr: Hierarchical Simulation of Process Variations and Their Impact on Circuits and Systems: Methodology, IEEE Transactions on Electron Devices, Vol. 58(8) (2011), pp. 2218-2226
• J. Lorenz, E. Bär, T. Clees, P. Evanschitzky, R. Jancke, C. Kampen, U. Paschen, C. Salzig, S. Selberherr: Hierarchical Simulation of Process Variations and Their Impact on Circuits and Systems: Results, IEEE Transactions on Electron Devices, Vol. 58(8) (2011), pp. 2227-2234

2008-2010

• C. Salzig, M. Hauser, Design of robust electronic circuits for yield optimization, XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD), October 2010, Tunis-Gammarth, Tunesia, pp. 1 -5
• O. Schmidt, T. Halfmann, P. Lang, "Coupling of numerical and symbolic techniques for model order reduction in circuit design", Proc. SyreNe and O'Moore Nice Workshop Model Reduction for Circuit Simulation (Hamburg, Germany, Oct. 2008), Lecture Notes in Electrical Engineering, Springer, 2010
• T. Halfmann, J. Broz, C. Knoth, D. Platte, P. Rotter, "Generation of efficient behavioral models using model compilation and model reduction techniques", Proc. Xth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SMACD 2008), Erfurt, Germany, Oct. 2008.
• R. Sommer, T. Halfmann, J. Broz, "Automated Behavioral Modeling and Analytical Model-Order Reduction by Application of Symbolic Circuit Analysis for Multi-Physical Systems", Simulation Modelling Practice and Theory, Volume 16, Issue 8, Sep. 2008, pp. 1024-1039.
• A. Ciccazzo, T. Halfmann, A. Marotta, S. Rinaudo, A. Venturi, "Introduction of Symbolic Simplified Expressions in Circuit Optimization", Minisymposium: Optimization and Model Order Reduction in Circuit Design, The European Consortium For Mathematics In Industry (ECMI), University College London, UK, Jul. 2008.
• A. Ciccazzo, T. Halfmann, A. Marotta, G. Nicosia, S. Rinaudo, G. Stracquadanio, A. Venturi, "New Coupled EM and Circuit Simulation Flow for Integrated Spiral Inductor by Introducing Symbolic Simplified Expressions", IEEE International Symposium on Industrial Electronics (ISIE08), Cambridge, UK, Jun. 2008.
• C. Knoth, D. Platte, T. Halfmann, J. Broz, P. Rotter, "Generierung effizienter Verhaltensmodelle mittels Modellkompilierung und Modellreduktion", 10. GMM/ITG-Fachtagung Analog '08 : Entwicklung von Analogschaltungen mit CAE-Methoden, Siegen, Germany, Apr. 2008.

2004-2007

• R. Sommer, T. Halfmann, J. Broz, "Automated Behavioral Modeling and Analytical Model-Order Reduction by Application of Symbolic Circuit Analysis for Multi-Physical Systems", 6th EUROSIM 2007 Congress, Ljubljana, Slovenia, Sep. 2007.
• R. Gentilini, K. Schneider, A. Dreyer, "Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems", 10. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV '07), Erlangen, Germany, Mar. 2007.
• R. Gentilini, K. Schneider, A. Dreyer, "Three-Valued Automated Reasoning on Analog Properties", 17th ACM Great Lakes Symposium on VLSI (GLSVLSI '07), ACM Press, Stresa-Lago Maggiore, Italy, Mar. 2007.
• J. Broz, T. Halfmann, R. Sommer, "Symbolische Analyse und Reduktion Multi-Physikalischer Systeme", 6. GI/GMM/ITG-Workshop Multi-Nature Systems : Entwicklung von Systemen mit elektronischen und nichtelektronischen Komponenten, Erfurt, Germany, Feb. 2007.
• R. Sommer, D. Platte, J. Broz, A. Dreyer, T. Halfmann, E. Barke, "Automatic Nonlinear Behavioral Model Generation using Sequential Equation Structures", Proc. 9th International Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2006), Florence, Italy, Oct. 2006.
• J. Broz, C. Clauss, T. Halfmann, P. Lang, R. Martin, P. Schwarz, "Automated Symbolic Model Reduction for Mechatronical Systems", IEEE International Symposium on Computer-Aided Control Systems Design (CACSD 2006), Munich, Germany, Oct. 2006.
• A. Dreyer, "Resolving Parameter Dependences for Interval Analysis of Linear Analog Circuits", Proc. 9th International Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2006), Florence, Italy, Oct. 2006.
• D. Platte, R. Sommer, J. Broz, A. Dreyer, T. Halfmann, E. Barke, "Automatische nichtlineare Verhaltensmodellgenerierung mit sequentieller Gleichungsstruktur", 9. ITG/GMM-Fachtagung Analog '06 : Entwicklung von Analogschaltungen mit CAE-Methoden, Dresden, Germany, Sep. 2006.
• A. Dreyer, "Interval Analysis of Linear Analog Circuits", Proc. SCAN 06 - 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics, Duisburg, Germany, Sep. 2006, IEEE Computer Society Order Number E2821, ISBN-13: 978-0-7695-2821-2.

• Online Version

• A. Dreyer, T. Halfmann, J. Broz, J. Kataja, M. Antila, "Simulation Model of an Active Noise Control System", Euronoise 2006 - 6th European Conference on Noise Control, Acta Acustica united with Acustica Vol. 92, (2006) Suppl. 1, S 14, Tampere, Finland, May 2006.
• T. Halfmann, P. Lang, J. Mohring, A. Wirsen, "Systemsimulation zum Design nichtlinearer Regler für integrierte aktive Materialien", Adaptronic Congress 2005, Göttingen, Germany, May/Jun. 2005
• R. Jancke, S. Böhme, C. Clauss, T. Halfmann, P. Schwarz, R. Sommer, P. Trappe, "Modellierungsunterstützung für Mixed-Signal-Systeme durch symbolische Vereinfachung nichtlinearer Blöcke", 8. GMM/ITG-Diskussionssitzung Analog '05 : Entwicklung von Analogschaltungen mit CAE-Methoden, Hanover, Germany, Mar. 2005
• J. Mohring, J. Hoffmann, T. Halfmann, A. Zemitis, G. Basso, P. Lagoni, "Automated Model Reduction of Complex Gas Pipeline Networks", Pipeline Simulation Interest Group (PSIG 2004), Palm Springs, CA, Oct. 2004
• A. Dreyer, "Combination of Symbolic and Interval-Numeric Methods for Analysis of Analog Circuits", in Proc. 8th International Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2004), Wroclaw, Poland, Sep. 2004
• T. Halfmann, T. Wichmann, "Symbolic Methods in Industrial Analog Circuit Design", Scientific Computing in Electrical Engineering (SCEE 2004), Capo D'Orlando, Italy, Sep. 2004

2000-2003

• T. Halfmann, "Analogue integrated circuit design with symbolic methods", European Electronics Engineer, July 2003
• T. Wichmann, T. Halfmann, "Transiente Rankingverfahren und nichtlineare Verhaltensmodellgenerierung", 6. GMM/ITG-Diskussionssitzung Analog '02 : Entwicklung von Analogschaltungen mit CAE-Methoden, Bremen, Germany, May 2002
• T. Wichmann, "Transient Ranking Methods for the Simplification of Nonlinear DAE Systems in Analog Circuit Design", in Proc. Annual Scientific Conference GAMM 2002, Augsburg, Germany, Mar. 2002
• T. Wichmann, "Simplification of Nonlinear DAE Systems with Index Tracking", in Proc. ECCTD '01, Vol. II, Espoo, Finland, Aug. 2001
• E. Hennig, R. Sommer, "A Reliable Iterative Error Tracking Method for Approximate Symbolic Pole/Zero Analysis", in Proc. ECCTD '01, Vol. I, Espoo, Finland, Aug. 2001
• J. Praetorius, T. Halfmann, T. Wichmann, "Analog Insydes: Analogschaltungsentwurf mit symbolischen Verfahren", 10th E.I.S.-Workshop (EIS 2001), Dresden, Germany, Apr. 2001
• E. Hennig, R. Sommer, M. Thole, "Symbolische Analyse im industriellen Schaltungs-entwurf mit Analog Insydes 2", 10th E.I.S.-Workshop (EIS 2001), Dresden, Germany, Apr. 2001
• R. Sommer, E. Hennig, M. Thole, T. Halfmann, T. Wichmann, "Analog Insydes 2 - New Features and Applications in Circuit Design", in Proc. 6th International Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2000), Lisbon, Portugal, Oct. 2000
• T. Halfmann, M. Thole, "A Sizing Strategy for Combining DC & AC Constraints in Analog Circuit Design", in Proc. 6th International Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2000), Lisbon, Portugal, Oct. 2000
• T. Wichmann, "Controlling the Index during Nonlinear Behavioral Model Generation", in Proc. 6th International Workshop on Symbolic Methods and Applications in Circuit Design (SMACD 2000), Lisbon, Portugal, Oct. 2000
• E. Hennig, R. Sommer, "Frequency Compensation of Closed-Loop Feedback Amplifier Systems", in Proc. Int. Symposium on Circuits and Systems 2000 (ISCAS2000), Geneva, Switzerland, May 2000
• T. Wichmann, M. Thole, "Computer Aided Generation of Analytic Models for Nonlinear Function Blocks", in Integrated circuit design: power and timing modeling, optimization and simulation: 10th international workshop; Proc. PATMOS 2000, Göttingen, Lecture Notes in Computer Science, Springer, 2000
• T. Wichmann, "Computer Aided Generation of Approximate DAE Systems for Symbolic Analog Circuit Design", in ZAMM, Proc. Annual Meeting GAMM 2000, Göttingen, Göttingen, Germany, 2000

1993-1999

• T. Halfmann, R. Sommer, T. Wichmann, "Application of Symbolic Circuit Analysis: An Overview and Recent Results in Nonlinear Model Generation", in Proc. ISTET '99, Magdeburg, Germany, Sep. 1999
• R. Sommer, E. Hennig, M. Thole, T. Halfmann, T. Wichmann, "Symbolic Modeling and Analysis of Analog Integrated Circuits", in Proc. European Conference on Circuit Theory and Design 1999, Stresa, Italy, Sep. 1999
• T. Halfmann, M. Thole, "A Numerical Method to Synthesize the Element Characteristic in Analog Circuit Design", in Proc. 6th IEEE International Conference on Electronics, Circuits, and Systems, Paphos, Cyprus, Sep. 1999
• T. Wichmann, R. Popp, W. Hartong, L. Hedrich, "On the Simplification of Nonlinear DAE Systems in Analog Circuit Design", in Proc. of the Second Workshop on Computer Algebra in Scientific Computing, CASC '99, Springer, 1999
• R. Sommer, M. Thole, "Automatisierter Analogschaltungsentwurf: Gut gerechnet ist halb designt" (in German), Systeme, Ausgabe 8/99
• R. Sommer, "Rechnergestützte symbolische Schaltungsanalyse: Werkzeuge zur Unterstützung eines systematischen Entwurfs analoger elektronischer Schaltungen" (in German), Elektronik, Ausgaben 24/99 und 26/99
• T. Halfmann, M. Thole, "Analogdesign durch numerische Kennlinien-Synthese von Schaltungsblöcken", 5. ITG/GMM-Diskussionssitzung Analog '99 : Entwicklung von Analogschaltungen mit CAE-Methoden, München, Germany, Feb. 1999
• R. Sommer, E. Hennig, "Symbolic Circuit Analysis and Computer Algebra in Engineering Education", in Proc. ICSEE '99, 1999 Western Multi-Conference on Computer Simulation (WMC '99), San Francisco, USA, Jan. 1999
• E. Hennig, M. Wiese, R. Sommer, "Symbolic Pole/Zero Approximation Using Eigenvalue Shift Prediction", in Proc. 5th Int. Workshop on Symbolic Methods and Applications to Circuit Design (SMACD '98), Kaiserslautern, Germany, Oct. 1998
• Y. Drexlmeier, T. Wichmann, E. Hennig, R. Sommer, "An Improved Generalized Eigenvalue Solver for Circuit Analysis", in Proc. 5th Int. Workshop on Symbolic Methods and Applications to Circuit Design (SMACD '98), Kaiserslautern, Germany, Oct. 1998
• E. Hennig, J. M. Tweer, R. Sommer, "Enhanced Symbolic Matrix Approximation Techniques", in Proc. 5th Int. Workshop on Symbolic Methods and Applications to Circuit Design (SMACD '98), Kaiserslautern, Germany, Oct. 1998
• T. Halfmann, E. Hennig, M. Thole, "Behavioral Modeling and Transient Analysis with Analog Insydes", in Proc. 5th Int. Workshop on Symbolic Methods and Applications to Circuit Design (SMACD '98), Kaiserslautern, Germany, Oct. 1998
• R. Sommer, M. Thole, E. Hennig, "A Generic Circuit Modeling Strategy Combining Symbolic and Numeric Analysis", in Proc. 5th Int. Workshop on Symbolic Methods and Applications to Circuit Design (SMACD '98), Kaiserslautern, Germany, Oct. 1998
• E. Hennig, R. Sommer, M. Wiese, "Approximate Symbolic Pole/Zero Extraction Using Equation-based Simplification Driven by Eigenvalue Shift Prediction", in Proc. Int. Symposium on Circuits and Systems 1998 (ISCAS '98), Monterey, USA, June 1998.
• S. Kern, A. Dittrich, R. Vahrmann, M. Eichin, R. Sommer, E. Hennig, "Symbolic Analysis in Analog Integrated Circuit Design: An Application Example", in Proc. Int. Symposium on Circuits and Systems 1997 (ISCAS '97), Hongkong, June 1997
• C. Borchers, R. Sommer, E. Hennig, "On the Symbolic Calculation of Nonlinear Circuits", in Proc. Int. Symposium on Circuits and Systems 1996 (ISCAS '96), Atlanta, USA, May 1996
• R. Sommer, E. Hennig, "Symbolisch Rechnen" (in German), Artikelreihe in ELRAD - Magazin für technische Recheranwendungen, Beginn: April 1996
• E. Hennig, R. Sommer, "Application of Computer Algebra Methods to Analog Circuit Sizing", in Proc. European Conference on Circuit Theory and Design 1995, Istanbul, Turkey, Aug. 1995
• R. Sommer, E. Hennig, G. Dröge, E.-H. Horneber, "Equation-based Symbolic Approximation by Matrix Reduction with Quantitative Error Prediction", Alta Frequenza - Rivista di Elettronica, 6/93, Dec. 1993

Bücher

• O. Schmidt, Structure-Exploiting Coupled Symbolic-Numerical Model Reduction For Electrical Networks, PhD-Thesis, Cuvillier Verlag Göttingen, Germany, 2010
• A. Dreyer, Interval Analysis of Analog Circuits with Component Tolerances, PhD-Thesis, Shaker Verlag, Aachen, Germany, 2005
• T. Wichmann, Symbolische Reduktionsverfahren für nichtlineare DAE-Systeme (in German), PhD-Thesis, Shaker Verlag, Aachen, Germany, 2004
• E. Hennig, Symbolic Approximation and Modeling Techniques for Analysis and Design of Analog Circuits, Shaker Verlag, Aachen, Germany, 2000
• R. Sommer, Konzepte und Verfahren für den rechnergestützten Entwurf von Analogschaltungen (in German), Fortschritt-Berichte, Reihe 20, Nr. 114, VDI-Verlag, Düsseldorf, Germany, 1994

Messebeteiligungen und Konferenzvorträge

• M. Hauser, Symbolische Modellreduktion von Systemen mit Parametervariationen mittels Sensitivitätsanalyse, 12.GMM/ITG-Fachtagung: Entwicklung von Analogschaltungen mit CAE-Methoden (Analog 2011), 7.-9. November 2011, Erlangen
• M. Hauser, Fast and Robust Symbolic Model Order Reduction with Analog Insydes, Computer Algebra in Scientific Computing (CASC 2011), 5.-9. September 2011, Kassel
  
• O. Schmidt, Coupled symbolic-numerical model reduction using the hierarchical structure of nonlinear electrical circuits, Model Reduction for Complex Dynamical Systems (ModRed 2010), 2.-4. Dezember, Berlin
  
• M. Hauser, Design of robust electronic circuits for yield optimization, XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD 2010), 4.-6. Oktober 2010, Tunis-Gammarth
  
• O. Schmidt, Structure-exploiting symbolic-numerical model reduction of nonlinear electrical circuits, The 16-th European Conference on Mathematics for Industry (ECMI 2010), 26.-30. Juli 2010, Wuppertal
  
• A. Venturi, Symbolic model order reduction for circuits with parameter variations, The 16-th European Conference on Mathematics for Industry (ECMI 2010), 26.-30. Juli 2010, Wuppertal