| Abstract
|
<p>Cyber-physical systems comprise d … <p>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.</p>s could be overcome. © 2010 ACM.</p>
|
| Author
|
Yun Zhu +
, Edwin Westbrook +
, Jun Inoue +
, Alexandre Chapoutot +
, Cherif Salama +
, Marisa Peralta +
, Travis Martin +
, Walid Taha +
, Marcia O’Malley +
, Robert Cartwright +
, Aaron Ames +
, Raktim Bhattacharya +
|
| Conference
|
1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2010, Stockholm, Sweden, 13-15 April 2010
|
| DOI
|
http://dx.doi.org/10.1145/1795194.1795196 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:396150
|
| EndPage
|
11 +
|
| HostPublication
|
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10 +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
ACM Press +
|
| StartPage
|
1 +
|
| Title
|
Mathematical Equations as Executable Models of Mechanical Systems +
|
| Year
|
2010 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
, Publications:Mathematical Equations as Executable Models of Mechanical Systems +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:45:18 +
|
