More information about the theory behind Analog Insydes and its applications in circuit design and other domains can be found in the following publications.

Conference Papers

1. 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
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. 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.
15. 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
16. 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.
17. 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
18. 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
19. 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
20. 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
21. T. Halfmann, T. Wichmann, "Symbolic Methods in Industrial Analog Circuit Design", Scientific Computing in Electrical Engineering (SCEE 2004), Capo D'Orlando, Italy, Sep. 2004
22. 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
23. 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
24. T. Wichmann, "Simplification of Nonlinear DAE Systems with Index Tracking", in Proc. ECCTD '01, Vol. II, Espoo, Finland, Aug. 2001
25. 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
26. J. Praetorius, T. Halfmann, T. Wichmann, "Analog Insydes: Analogschaltungsentwurf mit symbolischen Verfahren", 10th E.I.S.-Workshop (EIS 2001), Dresden, Germany, Apr. 2001
27. 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
28. 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
29. 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
30. 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
31. 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
32. 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
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
39. 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
40. 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
41. 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
42. 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
43. 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
44. 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
45. 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
46. 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
47. 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
48. 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

Magazine Articles

1. T. Halfmann, "Analogue integrated circuit design with symbolic methods", European Electronics Engineer, July 2003
2. 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

   Für ELEKTRONIK-Leser...

3. R. Sommer, M. Thole, "Automatisierter Analogschaltungsentwurf: Gut gerechnet ist halb designt" (in German), Systeme, Ausgabe 8/99
4. R. Sommer, E. Hennig, "Symbolisch Rechnen" (in German), Artikelreihe in ELRAD - Magazin für technische Recheranwendungen, Beginn: April 1996

Journal Papers

1. 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

Books

1. A. Dreyer, Interval Analysis of Analog Circuits with Component Tolerances, PhD-Thesis, Shaker Verlag, Aachen, Germany, 2005
2. T. Wichmann, Symbolische Reduktionsverfahren für nichtlineare DAE-Systeme (in German), PhD-Thesis, Shaker Verlag, Aachen, Germany, 2004
3. E. Hennig, Symbolic Approximation and Modeling Techniques for Analysis and Design of Analog Circuits , Shaker Verlag , Aachen, Germany, 2000
4. 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