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
- Pieter J. Mosterman,
- Gabor Simko,
- dr inż. Justyna Zander link open in new tab
Additional information
- Category
- Aktywność konferencyjna
- Type
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language
- angielski
- Publication year
- 2013
