[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.1145/1795194.1795196acmconferencesArticle/Chapter ViewAbstractPublication PagesiccpsConference Proceedingsconference-collections
research-article

Mathematical equations as executable models of mechanical systems

Published: 13 April 2010 Publication History

Abstract

Cyber-physical systems comprise digital components that directly interact with a physical environment. Specifying the behavior desired of such systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support later stages of developing simulation codes, there is still a large gap between analytical modeling and building running simulators. This gap significantly impedes the ability of scientists and engineers to develop novel cyber-physical systems.
We propose bridging this gap by automating the mapping from analytical models to simulation codes. Focusing on mechanical systems as an important class of physical systems, we study the form of analytical models that arise in this domain, along with the process by which domain experts map them to executable codes. We show that the key steps needed to automate this mapping are 1) a light-weight analysis to partially direct equations, 2) a binding-time analysis, and 3) symbolic differentiation. In addition to producing a prototype modeling environment, we highlight some limitations in the state of the art in tool support of simulation, and suggest ways in which some of these limitations could be overcome.

References

[1]
M. D. Ardema. Analytical Dynamics: Theory and Applications. Kluwer Academic/Plenum, New York, NY, 2005.
[2]
Autodesk. AutoCAD User's Guide, 2009. {http://docs.autodesk.com/ACD/2010/ENU/AutoCAD2010UserDocumentation/; accessed 17-October-2009}.
[3]
S. Balay, K. Buschelman, V. Eijkhout, W. Gropp, D. Kaushik, M. Knepley, L. C. McInnes, B. Smith, and H. Zhang. PETSc Users Manual, 2008. {http://www.mcs.anl.gov/petsc/petsc-as/snapshots/petsc-current/docs/; accessed 17-October-2009}.
[4]
Biopython. Biopython Documentation, 2009. {http://www.biopython.org/wiki/Documentation; accessed 17-October-2009}.
[5]
A. Boeing and T. Bräunl. Evaluation of real-time physics simulation systems. In GRAPHITE '07: Proceedings of the 5th international conference on Computer graphics and interactive techniques in Australia and Southeast Asia, pages 281--288, New York, NY, USA, 2007. ACM.
[6]
A. Bondorf. Improving binding times without explicit CPS-conversion. In 1992 ACM Conference on Lisp and Functional Programming. San Francisco, California, pages 1--10, 1992.
[7]
J. Carette, S. Smith, J. McCutchan, C. K. Anand, and A. Korobkine. Case studies in model manipulation for scientific computing. In S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, and F. Wiedijk, editors, AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, pages 24--37. Springer, 2008.
[8]
F. E. Cellier and K. Ernesto. Continuous System Simulation. Springer, New York, NY, 2005.
[9]
J. J. Dongarra, C. B. Moler, J. R. Bunch, and G. Stewart. LINPACK Users' Guide. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 1979.
[10]
C. Elliott. Modeling interactive 3D and multimedia animation with an embedded language. In Proceedings of the first conference on Domain-Specific Languages, pages 285--296. USENIX, Oct. 1997.
[11]
C. Elliott and P. Hudak. Functional reactive animation. In International Conference on Functional Programming, pages 163--173, June 1997.
[12]
P. A. Fritzson. Principles of object-oriented modeling and simulation with Modelica 2.1. IEEE Press, New York, NY, 2004.
[13]
G. Giorgidze and H. Nilsson. Embedding a functional hybrid modelling language in Haskell. In Implementation and Application of Functional Languages: 20th International Workshop (IFL'08), Hatfield, UK September 2008, Revised Selected Papers. Springer-Verlag, 2009.
[14]
G. Giorgidze and H. Nilsson. Higher-order non-causal modelling and simulation of structurally dynamic systems. In Proceedings of the 7th International Modelica Conference, Linköping Electronic Conference Proceedings, pages 208--218, Como, Italy, Sept. 2009. Linköping University Electronic Press.
[15]
G. Giorgidze and H. Nilsson. Mixed-level embedding and JIT compilation for an iteratively staged DSL. In Proceedings of the 19th Workshop on Functional and (Constraint) Logic Programming (WFLP'10), pages 19--34, Madrid, Spain, Jan. 2010.
[16]
A. Goswami, B. Thuilot, B. Espiau, and L. G. Gravir. A study of the passive gait of a compass-like biped robot: Symmetry and chaos. International Journal of Robotics Research, 17:1282--1301, 1998.
[17]
B. Guenter. Efficient symbolic differentiation for graphics applications. ACM Trans. Graph., 26(3):108, 2007.
[18]
P. Hudak. The Haskell School of Expression -- Learning Functional Programming through Multimedia. Cambridge University Press, New York, 2000.
[19]
N. D. Jones, P. Sestoft, and H. Sondergraard. An experiment in partial evaluation: The generation of a compiler generator. In J.-P. Jouannaud, editor, Rewriting Techniques and Applications, volume 202 of Lecture Notes in Computer Science, pages 124--140. Springer-Verlag, 1985.
[20]
R. Kaiabachev, W. Taha, and A. Zhu. E-frp with priorities. In EMSOFT '07: Proceedings of the 7th ACM & IEEE international conference on Embedded software, pages 221--230, New York, NY, USA, 2007. ACM.
[21]
Maplesoft, a division of Waterloo Maple Inc. Maple User Manual, 2009. {http://www.maplesoft.com/documentation_center; accessed 3-January-2010}.
[22]
P. J. Mosterman. Hybrid dynamic systems: Modeling and execution. In P. A. Fishwick, editor, Handbook of Dynamic System Modeling. CRC Press, 2007.
[23]
F. Nielson and H. R. Nielson. Two-level semantics and code generation. Theoretical Computer Science, 56(1):59--133, 1988.
[24]
H. Nilsson, J. Peterson, and P. Hudak. Functional hybrid modeling. In Proceedings of PADL'03: 5th International Workshop on Practical Aspects of Declarative Languages, volume 2562 of Lecture Notes in Computer Science, pages 376--390, New Orleans, Lousiana, USA, Jan. 2003. Springer-Verlag.
[25]
PTC. Pro/ENGINEER, 2009. {http://www.ptc.com/products/proengineer/; accessed 17-October-2009}.
[26]
The R Development Core Team. The R Manuals, 2009. {http://cran.r-project.org/manuals.html; accessed 17-October-2009}.
[27]
N. Sculthorpe and H. Nilsson. Safe functional reactive programming through dependent types. In Proceedings of the Fourteenth ACM SIGPLAN International Conference on Functional Programming (ICFP'09), pages 23--34, Edinburgh, Scotland, Sept. 2009. ACM Press.
[28]
SolidWorks Corp. SolidWorks, 2009. {http://www.solidworks.com/; accessed 17-October-2009}.
[29]
The MathWorks, Inc. MATLAB Documentation, 2009. {http://www.mathworks.com/access/helpdesk/help/techdoc/matlab.html; accessed 17-October-2009}.
[30]
Z. Wan and P. Hudak. Functional reactive programming from first principles. In the Symposium on Programming Language Design and Implementation (PLDI '00). ACM, 2000.
[31]
Z. Wan, W. Taha, and P. Hudak. Event-driven FRP. In Proceedings of Fourth International Symposium on Practical Aspects of Declarative Languages. ACM, Jan 2002.
[32]
Wolfram Research, Inc. Mathematica Documentation, 2009. {http://reference.wolfram.com/mathematica/guide/Mathematica.html; accessed 3-January-2010}.

Cited By

View all
  • (2022)Cyber-Physical Systems Operation with Guaranteed Survivability and Safety Under Conditions of Uncertainty and Multifactor RisksSystem Analysis & Intelligent Computing10.1007/978-3-030-94910-5_2(21-35)Online publication date: 26-Mar-2022
  • (2021)Coarsening optimization for differentiable programmingProceedings of the ACM on Programming Languages10.1145/34855075:OOPSLA(1-27)Online publication date: 15-Oct-2021
  • (2021)Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation EnvironmentArtificial Intelligence Applications and Innovations10.1007/978-3-030-79150-6_42(531-542)Online publication date: 22-Jun-2021
  • Show More Cited By

Index Terms

  1. Mathematical equations as executable models of mechanical systems

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    ICCPS '10: Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
    April 2010
    208 pages
    ISBN:9781450300667
    DOI:10.1145/1795194
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 13 April 2010

    Permissions

    Request permissions for this article.

    Check for updates

    Qualifiers

    • Research-article

    Funding Sources

    Conference

    ICCPS '10
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 25 of 91 submissions, 27%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)16
    • Downloads (Last 6 weeks)1
    Reflects downloads up to 31 Dec 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)Cyber-Physical Systems Operation with Guaranteed Survivability and Safety Under Conditions of Uncertainty and Multifactor RisksSystem Analysis & Intelligent Computing10.1007/978-3-030-94910-5_2(21-35)Online publication date: 26-Mar-2022
    • (2021)Coarsening optimization for differentiable programmingProceedings of the ACM on Programming Languages10.1145/34855075:OOPSLA(1-27)Online publication date: 15-Oct-2021
    • (2021)Intelligent Techniques and Hybrid Systems Experiments Using the Acumen Modeling and Simulation EnvironmentArtificial Intelligence Applications and Innovations10.1007/978-3-030-79150-6_42(531-542)Online publication date: 22-Jun-2021
    • (2019)Hybrid co-simulationSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0633-618:3(1655-1679)Online publication date: 1-Jun-2019
    • (2019)Cyber-Physical System—An OverviewSmart Intelligent Computing and Applications10.1007/978-981-32-9690-9_54(489-497)Online publication date: 4-Oct-2019
    • (2019)Cyber-Physical Systems Security: Definitions, Methodologies, Metrics, and ToolsSmart Intelligent Computing and Applications10.1007/978-981-32-9690-9_53(477-488)Online publication date: 4-Oct-2019
    • (2018)A Semantic Account of Rigorous SimulationPrinciples of Modeling10.1007/978-3-319-95246-8_13(223-239)Online publication date: 20-Jul-2018
    • (2017)Data-centric middleware based digital twin platform for dependable cyber-physical systems2017 Ninth International Conference on Ubiquitous and Future Networks (ICUFN)10.1109/ICUFN.2017.7993933(922-926)Online publication date: Jul-2017
    • (2015)Including variability of physical models into the design automation of cyber-physical systemsProceedings of the 52nd Annual Design Automation Conference10.1145/2744769.2744857(1-6)Online publication date: 7-Jun-2015
    • (2015)Design Techniques and Applications of Cyberphysical Systems: A SurveyIEEE Systems Journal10.1109/JSYST.2014.23225039:2(350-365)Online publication date: Jun-2015
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media