Abstract | ||
---|---|---|
We continue to consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed using a core language as a way to study this question, and showed how several basic aspects of CPS can be modeled clearly in a language with a small set of constructs. This paper reports on the result of our analysis of two, more complex, case studies from the domain of rigid body dynamics. The first one, a quadcopter, illustrates that previously proposed core language can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why we should add language support for static partial derivatives, namely that it would significantly improve the way models of rigid body dynamics can be expressed. |
Year | Venue | Keywords |
---|---|---|
2014 | arXiv: Robotics | robotics |
Field | DocType | Volume |
Computer science,Human–computer interaction,Cyber-physical system,Artificial intelligence,Core language,Robotics | Journal | abs/1408.1110 |
Citations | PageRank | References |
2 | 0.42 | 0 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yingfu Zeng | 1 | 11 | 4.03 |
Chad G. Rose | 2 | 7 | 2.35 |
Paul Brauner | 3 | 8 | 1.77 |
Walid Taha | 4 | 1020 | 70.41 |
Jawad Masood | 5 | 11 | 3.16 |
Roland Philippsen | 6 | 14 | 1.51 |
Marcia K. O'Malley | 7 | 456 | 74.32 |
Robert Cartwright | 8 | 529 | 67.27 |