Search
Abstract
Multiple time models have been proposed for the formalization of hybrid dynamic system behavior. The superdense notion of time is a well-known time model for describing event-based systems where several events can occur simultaneously. Hyperreals provide a domain for defining the semantics of hybrid models that is elegantly aligned with first principles in physics. This paper discusses the value of both time models and shows how approximating dierent physical effects is best expressed over different domains. Finally, the formalization and interaction of two types of discontinuities observed in hybrid systems, mythical modes and pinnacles, are explored. This analysis helps specify semantics that combine continuous-time behavior with discontinuities in the computational system.
Authors (3)
-
Pieter J. Mosterman
- MathWorks MathWorks
-
Gabor Simko
- .. ..
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Title of issue:
- Proceedings of the 7th International Workshop on Multi-Paradigm Modeling (MPM'13) at the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS) conference strony 1 - 10
- Language:
- English
- Publication year:
- 2013
- Bibliographic description:
- Mosterman P., Simko G., Zander J.: A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models// Proceedings of the 7th International Workshop on Multi-Paradigm Modeling (MPM'13) at the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS) conference/ Miami, FL: , 2013, s.1-10
- Verified by:
- Gdańsk University of Technology
seen 99 times
Recommended for you
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
- J. Zander,
- P. J. Mosterman,
- G. Hamon
- + 1 authors