Modeling Basic Aspects of Cyber-Physical Systems, Part II

TitleModeling Basic Aspects of Cyber-Physical Systems, Part II
Publication TypeConference Proceedings
Year of Conference2013
AuthorsZeng, Y, Rose, CG, Branner, P, Taha, W, Masood, J, Philippsen, R, O'Malley, MK, Cartwright, R
Conference NameThe Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'13)
Conference LocationTokyo, Japan
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.

File attachments: