| Abstract
|
<p>We consider the question of what … <p>We consider the question of what language features are needed to effectively model cyber-physical systems (CPS). In previous work, we proposed a core language called Acumen 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 Acumen can support larger, more interesting systems than previously shown. The second one, a serial robot, provides a concrete example of why explicit support for static partial derivatives can significantly improve the expressivity of a CPS modeling language.</p>vity of a CPS modeling language.</p>
|
| Author
|
Yingfu Zeng +
, Chad Rose +
, Paul Brauner +
, Walid Taha +
, Jawad Masood +
, Roland Philippsen +
, Marcia O’Malley +
, Robert Cartwright +
|
| Conference
|
4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-13)
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:668809
|
| HostPublication
|
Proceedings DSLRob 2013 +
|
| PublicationType
|
Conference Paper +
|
| Title
|
Modeling Basic Aspects of Cyber-Physical Systems, Part II +
|
| Year
|
2013 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
30 September 2016 20:41:06 +
|
