Abstract
Current systems are no longer pure physical systems or information systems but tend to consist of elements from both of these areas. Thus, one modelling technique which considers the behaviour of all the different system elements is elaborated within this paper. Extended Predicate/Transition nets often used for information technology serve as a basis for this modelling. It is shown how differential equations as used for the description of the physical elements can be modelled by this technique. Linear and nonlinear systems are regarded as well as the coupling of these systems. For continuous modelling of the equations a continuous Predicate/Transition net is presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Karl J. åström and B. Wittenmark. Computer Controlled Systems: Theory and Design. Prentice Hall, 1984.
Maria Brielmann and Bernd Kleinjohann. A formal model for coupling computer based systems and physical systems. In Proceedings of the EURO-DAC, pages 158–163, 1993.
Otto Föllinger and Dieter Franke. Einführung in die Zustandsbeschreibung dynamischer Systeme. Oldenbourg Verlag, 1982.
Hartmann J. Genrich. Predicate/transition nets. In G. Rozenberg, editor, Advances in Petri Nets, pages 207–247. Springer-Verlag, 1986.
P. Merlin. A study of the recoverability of computing systems. PhD thesis, University of California, Department of Information and Computer Science, 1974.
C.A. Petri. Kommunikation mit Automaten. Schriften des IIM 2, Institut für Instrumentelle Mathematik, Bonn, 1962. English translation: Technical Report RADC-TR-65-377, Griffiss Air Force Base, New York, Vol. 1, Suppl. 1, 1966.
Krzysztof Sacha. Real-time software specification and validation with transnet. Real-Time Systems, 6:153–172, 1994.
Joachim Schröer. A short description of a model compiler/interpreter for supporting simulation and optimization of nonlinear and linearized dynamic systems. In 5th IFAC/IMACS Symposium on CADCS, Swansea, UK, 1991.
Joachim Schröer. Eine Modellbeschreibungssprache zur Unterstützung der Simulation und Optimierung von nichtlinearen und linearisierten hierarchischen Systemen. PhD thesis, Universität Paderborn, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brielmann, M. (1996). Modelling differential equations by basic information technology means. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034758
Download citation
DOI: https://doi.org/10.1007/BFb0034758
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive