Abstract
This paper studies the semantics of models for discrete physical phenomena such as rigid body collisions. The paper combines generalized functions (specifically the Dirac delta function), superdense time, modal models, and constructive semantics to get a rich, flexible, efficient, and rigorous approach to modeling such systems. It shows that many physical scenarios that have been problematic formodeling techniquesmanifest as nonconstructive models, and that constructive versions of some of the models properly reflect uncertainty in the behavior of the physical systems that plausibly arise from the principles of quantum mechanics. The paper argues that these modeling difficulties are not reasonably solved by more detailed continuous models of the underlying physical phenomena. Such more detailed models simply shift the uncertainty to other aspects of the model. Since such detailed models come with a high computational cost, there is little justification in using them unless the goal of modeling is specifically to understand these more detailed physical processes. An implementation of these methods in the Ptolemy II modeling and simulation environment is described.
This work was supported in part by the iCyPhy Research Center (Industrial Cyber-Physical Systems, supported by IBM and United Technologies), and the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley (supported by the National Science Foundation, NSF awards #0720882 (CSR-EHS: PRET), #1035672 (CPS: Medium: Ptides), and #0931843 (ActionWebs), the Naval Research Laboratory (NRL #N0013-12-1-G015), and the following companies: Bosch, National Instruments, and Toyota).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3–34 (1995)
Beer Jr., F., Johnston, E.R.: Vector equations for Engineers: Dynamics, 6th edn. McGraw Hill (1996)
Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 79(9), 1270–1282 (1991)
Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: The fundamentals of hybrid systems modelers. Journal of Computer and System Sciences 78(3), 877–910 (2012)
Berry, G.: The Constructive Semantics of Pure Esterel. Draft version, 3rd edn. (2003)
Cardoso, J., Lee, E.A., Liu, J., Zheng, H.: Continuous-time models. In: Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)
Chatterjee, A., Ruina, A.: A new algebraic rigid body collision law based on impulse space considerations. Journal of Applied Mechanics 65(4), 939–951 (1998)
Davey, B.A., Priestly, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press (2002)
Erleben, K., Sporring, J., Henriksen, K., Dohlmann, H.: Physics-Based Animation. Charles River Media, Inc., Hingham (2005)
Feng, T.H., Lee, E.A., Liu, X., Tripakis, S., Zheng, H., Zhou, Y.: Modal models. In: Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)
Glockner, C.: Scalar force potentials in rigid multibody systems. In: Pfeiffer, F., Glockner, C. (eds.) Multibody Dynamics with Unilateral Contacts. CISM Courses and Lectures, vol. 421. Springer, Vienna (2000)
Lee, E.A.: Modeling concurrent real-time processes using discrete events. Annals of Software Engineering 7, 25–45 (1999)
Lee, E.A.: Constructive models of discrete and continuous physical phenomena. Technical report, EECS Department, UC Berkeley (February 2014)
Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. on Computer-Aided Design of Circuits and Systems 17(12), 1217–1229 (1998)
Lee, E.A., Tripakis, S.: Modal models in Ptolemy. In: 3rd Int. Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), Oslo, Norway, vol. 47, pp. 11–21. Linköping University Electronic Press, Linköping University (2010)
Lee, E.A., Varaiya, P.: Structure and Interpretation of Signals and Systems, 2.0 edn. LeeVaraiya.org (2011)
Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 25–53. Springer, Heidelberg (2005)
Lee, E.A., Zheng, H.: Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. In: EMSOFT, Salzburg, Austria. ACM (2007)
Lindstrøm, T.: An invitation to nonstandard analysis. In: Cutland, N. (ed.) Nonstandard Analysis and Its Applications, pp. 1–105. Cambridge University Press (1988)
Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 447–484. Springer, Heidelberg (1992)
Mosterman, P.J., Biswas, G.: A theory of discontinuities in physical system models. Journal of the Franklin Institute 335(3), 401–439 (1998)
Mosterman, P.J., Simko, G., Zande, J.: A hyperdense semantic domain for discontinuous behavior in physical system models. In: Multi-Paradigm Modeling, MPM (2013)
Otter, M., Elmqvist, H., López, J.D.: Collision handling for the Modelica multibody library. In: Modelica Conference, Hamburg, Germany, pp. 45–53 (2005)
Ptolemaeus, C. (ed.): System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, Berkeley (2014)
Stewart, D.E.: Rigid-body dynamics with friction and impact. SIAM Review 42(1), 3–39 (2000)
Tiller, M.M.: Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, E.A. (2014). Constructive Collisions. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds) From Programs to Systems. The Systems perspective in Computing. Lecture Notes in Computer Science, vol 8415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54848-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-54848-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54847-5
Online ISBN: 978-3-642-54848-2
eBook Packages: Computer ScienceComputer Science (R0)