TY - Generic
T1 - Modeling Basic Aspects of Cyber-Physical Systems, Part II
T2 - The Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'13)
Y1 - 2013
A1 - Yingfu Zeng
A1 - Rose, Chad G.
A1 - Paul Branner
A1 - Walid Taha
A1 - Jawad Masood
A1 - Roland Philippsen
A1 - Marcia K. O'Malley
A1 - Robert Cartwright
AB -
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.
JF - The Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'13)
CY - Tokyo, Japan
ER -