Wyszukiwarka
Abstrakt
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.
Autorzy (3)
-
Pieter J. Mosterman
- MathWorks MathWorks
-
Gabor Simko
- .. ..
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Tytuł wydania:
- 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
- Język:
- angielski
- Rok wydania:
- 2013
- Opis bibliograficzny:
- 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
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 58 razy
Publikacje, które mogą cię zainteresować
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 autorów