Paper Info
Title
A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities
Abstract
The physics of technical systems, such as embedded and cyber-physical systems, is frequently modeled using the notion of continuous time. The underlying continuous phenomena may, however, occur at a time scale much faster than the system behavior of interest. In such situations, it is desirable to approximate the detailed continuous-time behavior by discontinuous change. Two classes of discontinuous change can be identified: pinnacles and mythical modes. This work shows how pinnacles are well modeled using a hyperreal notion of time while a superdense notion of time applies well to mythical modes. Thus, the combination, called hyperdense time, is proposed to allow for the expression of the semantics of both pinnacles and mythical modes. Further, the hyperdense semantic domain is translated into a computational representation as a three-dimensional model of time. In particular, continuous-time behavior is mapped onto floating point numbers, while the mythical mode and pinnacle event iterations each map onto an integer dimension. A modified Newton's cradle is used as a case study and to illustrate the computational implementation.
Year
DOI
Venue
2014
10.1145/2562059.2562135
HSCC
Keywords
Field
DocType
hyperreal notion,hyperdense time,continuous time,detailed continuous-time behavior,system behavior,discontinuous change,different class,time scale,mythical mode,continuous-time behavior,hybrid dynamic system,hyperdense semantic domain,superdense notion,semantics,modeling,physical systems,hybrid systems,simulation,physics
Integer,Classification of discontinuities,Semantic domain,Physical system,Floating point,Computer science,Algorithm,Theoretical computer science,Hybrid system,Semantics,Dynamical system
Conference
Citations 
PageRank 
References 
2
0.51
10
Authors
4
Name
Order
Citations
PageRank
Pieter J. Mosterman142953.18
Gabor Simko2427.06
Justyna Zander311910.75
Zhi Han422518.58