The Complexity Crisis - Using Modeling and Simulation for System Level Analysis and Design

François E. Cellier, Xenofon Floros, Ernesto Kofman

2013

Abstract

This paper discusses the current state of the art of modeling and simulation environments and proposes a set of enhancements that will be necessary for such environments to meet future demands. Modeling and simulation are categorized in accordance with the size of the models to be handled: component level modeling, device level modeling, and system level modeling. It is shown that the requirements that modeling and simulation environments need to satisfy in order to meet the demands of modelers are vastly different at these three levels.

References

  1. Bergero, F., Floros, X., Fernandez, J., Kofman, E., and Cellier, F. (2012). Simulating Modelica Models with a Stand-alone Quantized State Systems Solver. In Proceedings 9th International Modelica Conference, pages 237-246, Munich, Germany.
  2. Bergero, F., Kofman, E., and Cellier, F. (2013). A Novel Parallelization Technique for DEVS Simulation of Continuous and Hybrid Systems. Simulation.
  3. Braun, W., Gallardo-Yances, S., Link, K., and Bachmann, B. (2012). Fast Simulation of Fluid Models with Colored Jacobians. In Proceedings 9th International Modelica Conference, pages 247-252, Munich, Germany.
  4. Cellier, F. (1979). Combined Continuous/Discrete System Simulation by Use of Digital Computers: Techniques and Tools. PhD thesis, Swiss Federal Institute of Technology.
  5. Cellier, F. (1991). Continuous System Modeling. SpringerVerlag, New York, NY, USA.
  6. Cellier, F. and Elmqvist, H. (1993). Automated Formula Manipulation Supports Object-oriented Continuous System Modeling. IEEE Control Systems, 13(2):28- 38.
  7. Cellier, F. and Kofman, E. (2006). Continuous System Simulation. Springer-Verlag, New York, NY, USA.
  8. Cellier, F., Schooley, L., Zeigler, B., Doser, A., Farrenkopf, G., Kim, J., Pan, Y., and Williams, B. (1992). Watchdog Monitor Prevents Martian Oxygen Production Plant from Shutting Itself Down During Storm. In Proceedings International Symposium on Robotics and Manufacturing, pages 697-704, Santa Fe, NM, USA.
  9. de Albornoz, A. (1996). Inductive Reasoning and Reconstruction Analysis: Two Complementary Tools for Qualitative Fault Monitoring of Large-scale Systems. PhD thesis, Polytechnical University of Barcelona.
  10. Elmqvist, H. (1978). A Structured Model Language for Large Continuous Systems. PhD thesis, Lund Institute of Technology.
  11. Elmqvist, H., Cellier, F., and Otter, M. (1993). Objectoriented Modeling of Hybrid Systems. In Proceedings ESS'93, European Simulation Symposium, pages xxxi-xli, Delft, The Netherlands.
  12. Elmqvist, H. and Otter, M. (1994). Methods for Tearing Systems of Equations in Object-oriented Modeling. In Proceedings European Simulation Multiconference, pages 326-332, Barcelona, Spain.
  13. Grinblat, G., Ahumada, H., and Kofman, E. (2012). Quantized State Simulation of Spiking Neural Networks. Simulation, 88(3):299-313.
  14. Hairer, E. and Wanner, G. (1999). Stiff differential equations solved by Radau methods. Journal of Computational and Applied Mathematics, 111(1-2):93-111.
  15. Kofman, E. (2003). Quantization-based Simulation of Differential Algebraic Equation Systems. Simulation, 79(7):363-376.
  16. Link, K., Steuer, H., and Butterlin, A. (2009). Deficiencies of Modelica and its Simulation Environments for Large Fluid Systems. In Proceedings 7th International Modelica Conference, pages 341-344, Como, Italy.
  17. Mattsson, S., Elmqvist, H., and Broenink, J. (1997). Modelica - An International Effort to Design the Next Generation Modeling Language. Journal A, Benelux Quarterly Journal on Automatic Control, 38(3):16- 19.
  18. Mattsson, S., Olsson, H., and Elmqvist, H. (2000). Dynamic Selection of States in Dymola. In Proceedings Modelica Workshop, pages 61-67, Lund, Sweden.
  19. Migoni, G., Bortolotto, M., Kofman, E., and Cellier, F. (2013). Linearly Implicit Quantization-based Integration Methods for Stiff Ordinary Differential Equations. Simulation Modelling Practice and Theory.
  20. Migoni, G., Kofman, E., and Cellier, F. (2012). Quantization-based New Integration Methods for Stiff ODEs. Simulation, 88(4):387-407.
  21. Mitchell, E. and Gauthier, J. (1986). ACSL: Advanced Continuous Simulation Language - User Guide and Reference Manual. Mitchell & Gauthier Assoc., Concord, MA, USA.
  22. Modelica Association, . (2007). The Modelica Language Specification Version 3.0. Technical report.
  23. Modelica Association, . (2008). The Modelica Standard Library. Technical report.
  24. Olsson, H., Otter, M., Mattsson, S., and Elmqvist, H. (2008). Balanced Models in Modelica 3.0 for Increased Model Quality. In Proceedings 6th International Modelica Conference, pages 21-33, Bielefeld, Germany.
  25. Otter, M., Elmqvist, H., and Mattsson, S. (1999). Hybrid Modeling in Modelica Based On Synchronous Data Flow Principle. In Proceedings IEEE, International Symposium on Computer Aided Control System Design, pages 151-157, Kohala Coast, Hawaii.
  26. Pantelides, C. (1988). The Consistent Initialization of Differential-Algebraic Systems. SIAM Journal of Scientific and Statistical Computing, 9(2):213-231.
  27. Petzold, L. (1983). A Description of DASSL: A Differential/Algebraic Equation Solver. In Stepleman, R., editor, Scientific Computing, pages 65-68. NorthHolland, Amsterdam, The Netherlands.
  28. Pop, A., Sjölund, M., Asghar, A., Fritzson, P., and Casella, F. (2012). Static and Dynamic Debugging of Modelica Models. In Proceedings 9th International Modelica Conference, pages 443-454, Munich, Germany.
  29. Ryan, R. (1990). ADAMS - Multibody System Analysis Software. In Schiehlen, W., editor, Multibody Systems Handbook, pages 361-402. Springer-Verlag.
  30. Sen, S., Moha, N., Baudry, B., and Jézéquel, J. (2009). Meta-model Pruning. In Model Driven Engineering Languages and Systems, pages 32-46. SpringerVerlag, Berlin and Heidelberg, Germany.
  31. Sjölund, M., Braun, R., Fritzson, P., and Krus, P. (2010). Towards Efficient Distributed Simulation in Modelica Using Transmission Line Modeling. In Proceedings 3rd International Workshop on Equation-based Object-oriented Languages and Tools, pages 71-80, Oslo, Norway.
  32. Tuinenga, P. (1995). Spice: A Guide to Circuit Simulation and Analysis Using PSpice - Third Edition. Prentice Hall, Saddle River, NJ, USA.
  33. Zimmer, D. (2010). Equation-based Modeling of Variablestructure Systems. PhD thesis, Swiss Federal Institute of Technology.
Download


Paper Citation


in Harvard Style

E. Cellier F., Floros X. and Kofman E. (2013). The Complexity Crisis - Using Modeling and Simulation for System Level Analysis and Design . In Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-69-3, pages 5-13. DOI: 10.5220/0004986700050013


in Bibtex Style

@conference{simultech13,
author={François E. Cellier and Xenofon Floros and Ernesto Kofman},
title={The Complexity Crisis - Using Modeling and Simulation for System Level Analysis and Design},
booktitle={Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2013},
pages={5-13},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004986700050013},
isbn={978-989-8565-69-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - The Complexity Crisis - Using Modeling and Simulation for System Level Analysis and Design
SN - 978-989-8565-69-3
AU - E. Cellier F.
AU - Floros X.
AU - Kofman E.
PY - 2013
SP - 5
EP - 13
DO - 10.5220/0004986700050013