TY - Generic T1 - Acumen: An open-source testbed for cyber-physical systems research T2 - EAI International Conference on CYber physiCaL systems, iOt and sensors Networks Y1 - 2015 A1 - Walid Taha A1 - Adam Duracz A1 - Yingfu Zeng A1 - Kevin Atkinson A1 - Ferenc A.Bartha A1 - Paul Brauner A1 - Jan Duracz A1 - Fei Xu A1 - Robert Cartwright A1 - Michal Konecny A1 - Eugenio Moggi A1 - Jawad Masood A1 - Pererik Andreasson A1 - Jun Inoue A1 - Anita Santanna A1 - Roland Philippsen A1 - Alexandre Chapoutot A1 - O'Malley, M.K. A1 - Aaron Ames A1 - Veronica Gaspes A1 - Lise Hvatum A1 - Shyam Mehta A1 - Henrik Eriksson A1 - Christian Grante JF - EAI International Conference on CYber physiCaL systems, iOt and sensors Networks ER - 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 -