hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Mathematical Equations as Executable Models of Mechanical Systems
Rice University, USA.
Rice University, USA.
Rice University, USA.
Rice University, USA.
Show others and affiliations
2010 (English)In: Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10, New York, NY: ACM Press, 2010, 1-11 p.Conference paper, Published paper (Refereed)
Abstract [en]

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. © 2010 ACM.

Place, publisher, year, edition, pages
New York, NY: ACM Press, 2010. 1-11 p.
Keyword [en]
Analytical model, Analytical modeling, Binding time analysis, Continuous system, Cyber-physical systems, Digital components, Domain experts, Executable codes
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:hh:diva-14413DOI: 10.1145/1795194.1795196Scopus ID: 2-s2.0-77954604308ISBN: 9781450300667 (print)OAI: oai:DiVA.org:hh-14413DiVA: diva2:396150
Conference
1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2010, Stockholm, Sweden, 13-15 April 2010
Available from: 2011-02-08 Created: 2011-02-08 Last updated: 2017-05-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Inoue, JunTaha, Walid
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 97 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf