Hybrid models of physical systems and discrete controllers

At-Automatisierungstechnik

Volumn 48, Issue 9, 2000, Pages 426-437

  Otter, Martin ^a   Remelhe, Manuel ^b   Engeil, Sebastian ^b   Mosterman, Pieter ^a  

^a GERMAN AEROSPACE CENTER DLR   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001516575     PISSN: 01782312     EISSN: None     Source Type: Journal    
DOI: 10.1524/auto.2000.48.9.426     Document Type: Article

References (29)

1. M. Andersson. Omola-An Object-Oriented Language for Model Representation. Licencíate thesis tfrt-3208, Department of Automatic Control, Lund Institute of Technology, Lund, Sweden, 1990.
2. P. I. Barton. The Modelling and Simulation of Combined Discrete/Continuous Processes. PhD dissertation, University of London, Imperial College, London, 1992.
3. P. Beater. hylib-Library of Hydraulic Components for Use with Dymola. Dynasim AB, Research Park Ideon, Lund, 1997.
4. C. Clauß, J. Haase, G. Kurth, and P. Schwarz. Extended Amit-tance Description of Nonlinear n-Poles. Archiv für Elektronik und Übertragungstechnik / International journal of Electronics and Communications, 40: 91-97, 1995.
5. International Electrotechnical Commission. International Standard IEC 1131 Programmable Controllers, Part 3, Programming Languages. IEC, Geneva, 1993.
6. CPLEX. Homepage: http://www.cplex.com/.
7. Dymola. Homepage: http://www.dynasim.se/.
8. H. Elmqvist. A Structured Model Language for Large Continuous Systems. PhD dissertation, Depart. of Automatic Control, Lund Institute of Technology, Lund, Schweden, 1978.
9. H. Elmqvist, E E. Cellier, and M. Otter. Object-Oriented Modeling of Hybrid Systems. In Proceedings ESS '93, European Simulation Symposium, pages xxxi-xli, Delft, The Netherlands, Okt. 1993.
10. S. Engell, M. Eritz, and T. Löhl. Referenzmodelle für Chargenprozesse. In S. Wenzel, editor, Referenzmodelle für die Simulation in Produktion und Logistik, pages 170-188. SCS International, Delft, Erlangen usw., 2000.
11. D. Harel. Statecharts: A Visual Eormalism for Complex Systems. Science of Computer Programming, 8: 231-274, 1987.
12. C. Lawson and R. Hanson. Solving Least Squares Problems. Prentice Hall, 1995.
13. P. Lötstedt. Mechanical Systems of Rigid Bodies Subject to Unilateral Constraints. SIAMj. Appl. Math., 42, 1982.
14. G. Mai and M. Schröder. Simulation of a Elight Control Systems’ Redundancy Management System using Statemate. 7. User group meeting STATEMATE, April 1999.
15. Modelica. Homepage: http://www.modelica.org/.
16. D. Moormann, P. J. Mosterman, and G.-J. Looye. Object-Oriented Computational Model Building of Aircraft Elight Dynamics and Systems. Aerospace Science and Technology, 3: 115-126, 1999.
17. P. J. Mosterman and G. Biswas. A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. In Proceedings of AAAI-96, pages 985-990, Portland, USA, Aug. 2-1 1996.
18. P. J. Mosterman, M. Otter, and H. Elmqvist. Modeling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelica. In Proceedings of SCS Summer Simulation Conference, pages 314-319, Reno, Nevada, July 1998.
19. A. Naamad and D. Harel. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5, 1996.
20. M. Otter. Objektorientierte Modellierung Physikalischer Systeme, Teil 4: Transformationsalgorithmen. Automatisierungstechnik, 48: A13-A16, 1999.
21. M. Otter, H. Elmqvist, and S.-E. Mattsson. Hybrid Modeling in Modelica based on the Synchronous Data Flow Principle. In CACSD '99, Hawaii, USA, August 22-26. 1999.
22. F. Pfeiffer and C. Glocker. Multibody Dynamics with Unilateral Contacts. John Wiley, 1996.
23. M. A. P. Remelhe and S. Engell. Structuring Discrete Models in Modelica. accepted for publication for ADPM 2000 in Dortmund, 2000.
24. J. M. Schumacher and A. J. van der Schaft. Complementarity Modeling of Hybrid Systems. IEEE Transactions on Automatic Control, 43(4): 483-190, April 1998.
25. J. Seebeck. Modellierung der Redundanzverwaltung von Flugzeugen am Beispiel des ATD durch Petrinetze und Umsetzung der Schaltlogik in C-Code zur Simulationssteuerung. Diplomarbeit, Arbeitsbereich Flugzeugsystemtechnik, Technische Universität Hamburg-Harburg, 1998.
26. SIMULINK. Homepage: http://www.mathworks.com/.
27. M. von der Beeck. A Comparison of Statecharts Variants. In J. Vytopil, W. P. de Roever, and H. W. S. Langmaack, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 1-18. Springer Verlag, 1994.
28. H. P. Williams. Model Building in Mathematical Programming. John Wiley & Sons, 4th ed., Berlin, Heidelberg, New York, 1999.
29. K. Wöllhaf, M. Fritz, Chr. Schulz, and S. Engell. BaSiP-Batch Process Simulation with Dynamically Reconfigured Process Dynamics. Computers & Chemical Engineering, 20, 1996.