Constructive Models of Discrete and Continuous Physical Phenomena
This paper studies the semantics of models for discrete physical phenomena, such as rigid body collisions and switching in electronic circuits. This paper combines generalized functions (specifically the Dirac delta function), superdense time, modal models, and constructive semantics to get a rich,...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2014-01-01
|
| Series: | IEEE Access |
| Online Access: | https://ieeexplore.ieee.org/document/6873221/ |