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: | Edward A. Lee |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2014-01-01
|
Series: | IEEE Access |
Online Access: | https://ieeexplore.ieee.org/document/6873221/ |
Similar Items
-
Physics of Continuous Matter – Exotic and Everyday Phenomena in the Macroscopic World
by: Fischer Peter
Published: (2005-12-01) -
Numerical Continuation for Some Physical Phenomena of Bose-Einstein Condensates
by: Sirilak Sriburadet, et al.
Published: (2016) -
Segmentation And Parameter Assignment In Constructing Continuous Model From Discrete Representation
by: Biswas, Arpan
Published: (2012) -
Mathematical models of physical phenomena
by: McKibben, William Pullin
Published: (2009) -
Constructing One-Dimensional Continuous Models from Two-Dimensional Discrete Models of Medical Implants
by: Alicia Prieto-Langarica, et al.
Published: (2012-10-01)