A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models - Publication - Bridge of Knowledge

Search

A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models

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)

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 60 times

Recommended for you

Meta Tags