Modeling and simulation of hybrid systems with SMILE;Modellierung und simulation hybrider systeme mit SMILE

Informatik - Forschung und Entwicklung

Volumn 15, Issue 1, 2000, Pages 33-50

  Ernst, Thilo ^b   Klein Robbenhaar, Clemens ^b   Nordwig, André ^a   Schrag, Tobias ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b FRAUNHOFER FIRST   (Germany)

Author keywords

Development process; Modelling; Simulation; SMILE; UMLh ZimOO

Indexed keywords

EID: 0742294693     PISSN: 01783564     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004500050003     Document Type: Article

References (59)

1. R. Alur, C. Courcoubetis, T.A. Henzinger, P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman et al. [25], pp. 209-229.
2. E. Anderson, Z. Bai, C. Bischof, J. Demmel, J. Dongarra, J. du Croz, A. Greenbaum, S. Hammarling, A. McKenney, S. Ostrouchov, D. So-rensen. LAPACK User's Guide. Philadelphia: SIAM, May 1992.
3. P. Antsaklis, W. Kohn, A. Nerode, S. Sastry (eds.): Hybrid Systems II, volume 999 of LNCS. Berlin: Springer-Verlag, 1995.
4. P.I. Barton, C.C. Pantelides. Modeling of combined discrete/continuous processes. AIChE J., 40:966-979, 1994.
5. G. Bartsch. Abschlußbericht des universitären Forschungsschwerpunktes 4. Technical report, TU Berlin, 1996.
6. M. Biersack, S. Lutz, C. Nytsch, T. Schräg. Trends in Smile. In: Tagungsband zum 7. Symposium Thermische Solarenergie in Staffelstein, OTTI-Technologiekolleg, Regensburg, Mai 1997.
7. M.J. Box. A new method of constrained optimization and a comparison with other methods. The Computer Journal, 1965.
8. A.P.J. Breunese, J.F. Broenink. Modeling mechatronic systems using the SIDOPS+ language. In: Proc. 1997 Western Simulation Multicon-ference, pp. 301-306, 1997.
9. Z. Chaochen, A.P. Ravn, M.R. Hansen. An extended duration calculus for hybrid real-time systems. In: Grossman et al. [25], pp. 36-59.
10. Brad J. Cox. Object-Oriented Programming - an Evolutionary Approach. Reading: Addison-Wesley, 1 edition, 1986.
11. K.-H. Dehmel, C. Klein-Robbenhaar. Teil 2 des Abschlußberichtes des universitären Forschungsschwerpunktes 4, Teilprojekt E. Technical report, TU Berlin, 1994.
12. P. Deuflhard, E. Hairer, J. Zugck One-step and extrapolation methods for differential-algebraic systems. Numerische Mathematik, 51:501-516, 1987.
13. Entfällt.
14. I.S. Duff, A.M. Erisman, J.K. Reid. Direct Methods for Sparse Matrices. Oxford University Press, 1986.
15. E.H. Dürr, N. Plat (eds.): VDM++ Language Reference Manual. Afro-dite (ESPRIT-III project number 6500) document AFRO/CG/ED/LRM/ VI1, Cap Volmac, August 1995.
16. H. Elmqvist. Object-oriented modeling and automatic formula manipulation in Dymola. In: Proc. SIMS '93, Kongsberg, Norway, June 9-11 1993. Scandinavian Simulation Society.
17. H. Elmqvist. Dymola - user's manual. Technical report, Dynasim AB, Lund, Sweden, 1996.
18. G. Erdmann, H. Liebisch, H. Hinrichsen, J. Rädler, T. Schräg. Renewable heat supply through the seasonal coordinated combination of solarthermal and geothermal systems. In: Proceedings of the V. World Renewable Energy Conference, Florence, September 1998.
19. T. Ernst. TRAPing Modelica with Python. In: S. Jähnichen (ed.) Compiler Construction, ETAPS 99, volume 1575 of LNCS, pp. 288-291. Berlin. Springer-Verlag, 1999.
20. T. Ernst, S. Jähnichen, M. Klose. Object-oriented physical systems modeling, modelica, the SMILE/M simulation environment. In: A. Sy-dow (ed.) Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, volume 6, pp. 653-658, 1997.
21. V. Friesen. Objektorientierte Spezifikation hybrider Systeme. Dissertation, TU Berlin, 1997.
22. V. Friesen. A logic for the specification of continuous systems. In: Hybrid Systems: Computation and Control, volume 1386 of LNCS, pp. 143-158. Berlin: Springer-Verlag, 1998.
23. V. Friesen, A. Nordwig, M. Weber. Object-oriented specification of hybrid systems using UMLh and ZimOO. Proceedings of the ZUM'98, Berlin, 1998.
24. P. Fritzson, L. Viklund, D. Fritzon, J. Herber. High-level mathematical modelling and programming. IEEE Software, 12:3, July 1995.
25. R. Grossman, A. Nerode, H. Rischel, A. Ravn (eds.): Hybrid Systems, volume 736 of LNCS. Berlin: Springer-Verlag, 1993.
26. B. Groth, S. Herrmann, S. Jähnichen, W. Koch. Project Integrating Reference Object Library (PIROL): An object-oriented multiple-view SEE. In: Proceedings of the 7th Conference on Software Engineering Environments (SEE'95), Noordwijkerhout, Holland, April 1995. ACM-Press, Malcolm S. Verrall.
27. K. Gustaffson. Object-oriented implementation of software for solving ordinary differential equations. Scientific Programming, pp. 217-225, 1993.
28. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
29. He Jifeng. From CSP to hybrid systems. In: A.W. Roscoe (ed.) A Classical Mind, Essays in Honour of C.A.R. Hoare, pp. 171-189. New York: Prentice Hall, 1994.
30. A. Hohmann. An implementation of extrapolation codes in C++. Technical Report TR 98-103, Berlin: Konrad-Zuse-Zentrum für Informationstechnik, 1993.
31. P. Jochum. Simulation und Optimierung solar unterstützter Heizsysteme mit dem Simulationssystem Smile. Dissertation, TU Berlin, Dezember 1996.
32. R. Köcher, M. Hinze, J. Pfafferott. Ein Konzept zur numerischen Simulation von Wärmenetzen. BWK, 1/2 -97, 1997.
33. Brian W. Kernighan, Dennis M. Ritchie. The C Progamming Language. Englewood Cliffs: Prentice Hall, 1st edition, 1978.
34. Y. Kesten, A. Pnueli. Timed and hybrid Statecharts and their textual representation. In: J. Vytopil (ed.) Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of LNCS, pp. 591-620. Berlin: Springer-Verlag, 1991.
35. C. Klein-Robbenhaar. An object-oriented framework to exploit special structures at subsystem level in solvers for large DAE's. In: Sci-Tools' 98 International Workshop on Modern Software Tools for Scientific Computing, Oslo, Norway, September 1998. SINTEF Applied Mathematics and Numerical Objects AS.
36. M. Kloas, V. Friesen, M. Simons. Smile - A simulation environment for energy systems. In: A. Sydow (ed.) Proceedings of the 5th International IMACS-Symposium on Systems Analysis and Simulation (SAS'95), pp. 503-506. New York: Gordon and Breach Publishers, 1995.
37. L. Lamport. Hybrid systems in TLA+. In: Grossman et al. [25], pp. 77-102.
38. B. Lüdemann, G. Schmitz. Energiebedarf und Komfort gas-und strombetriebener Warmwassersysteme. gwf-Gas/Erdgas, 139:309-321, Juni 1998.
39. The MathWorks, Inc. MATLAB 5 User's Guide. New York: Prentice Hall, 1997.
40. S.E. Matsson, M. Andersson. Omola - an object-oriented modeling language. In: Recent advances in computer-aided control systems engineering, Amsterdam: Elsevier Science Publishers, 1992.
41. G. Mühlthaler, G. Schmitz. Nutzung objektorientierter Werkzeuge zur Modellierung und Simulation von Kraftwerksprozessen. VDI-Bericht: Modellierung und Simulation von Dampferzeugern und Feuerungen, 1390:161-175, 1998.
42. The Modelica Design Group. Modelica - a unified object-oriented language for physical system modeling. http://www.modelica.org/documents.shtml, 1998.
43. J.A. Neider, R. Mead. A simplex method for function minimization. The Computer Journal, 1965.
44. H. Olsson. Runge-Kutta Solutions of Initial Value Problems. PhD thesis, Department of Automatic Control, Lund Institute of Technology, Sweden, 1998.
45. C.C. Pantelides. Speedup - recent advances in process simulation. Computers and chemical Engineering, 12:745-755, 1988.
46. L.R. Petzold. A description of DASSL: A differential/algebraic system solver. In: 10th IMACS World Congress on system simulation and scientific computing, Montreal, Canada, 1982.
47. J. Pfafŕerott, A. Gerber, S. Herkel, C. Nytsch. Ein Planungshilfsmittel zur Auslegung von Erdreichwärmetauschern. In: Tagungsband zum 7. Symposium Thermische Solarenergie in Staffelstein, OTTI-Technolo-giekolleg, Regensburg, Mai 1997.
48. P.C. Piela, T.G. Epperly, K.M. Westerberg, A.W. Westerberg. ASCEND: An object-oriented computer environment for modeling and analysis. Computers and chemical Engineering, 15:53-72, 1991.
49. Rational. Unified Modeling Language, 1. September 1997. Version 1.1.
50. J. Rädler, C. Nytsch. Smile download. http://buran.fblO.tu-berlin. de/~christo/smile/Download/smile-download.html.
51. W. Reisig (Hrsg.). Petrinetze. Berlin: Springer, 1982.
52. P. Sahlin, A. Bring, E.F. Sowell. The neutral modeling format for building simulation, version 3.0. Itm report 1994:4, Dept. of Building Services Engineering, Royal Inst, of Technology, Stockholm, 1994.
53. F.W. Schroeer. The GENTLE Compiler Construction System. München: R. Oldenbourg Verlag, 1997.
54. J.M. Spivey. The Z Notation: A Reference Manual. New York: Prentice Hall, 2nd edition, 1992.
55. D.E. Steward, Z. Leyk. Meschach: Matrix computations in C. Canberra: Australian National University, 1994.
56. H. Tummescheit, R. Pitz-Paal. Simulation of a solar thermal central receiver power plant. In: Proceedings of the 15th IMACS World Congress, Berlin, August 1997.
57. M. Ücker, M. Hampel, M. Krause, A. Ratka, K. Vajen, H. Ackermann. TRNSYS & Smile - A comparison of simulation studies and measur-ments of a medium scale solar thermal system. In: Proceedings of the 2. Eurosun, Portorosz, Slovenia, May 1998.
58. The Python Software Activity. Python website, http://www.python.org/.
59. Y.Y. Yang, D.A. Linkens, S.P. Banks. Modeling of hybrid systems based on extended coloured Petri nets. In: Antsaklis et al. [3], pp. 509-528.