| Abstract
|
<p>We continue to consider the quest … <p>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. © 2014 IEEE.</p>s can be expressed. © 2014 IEEE.</p>
|
| Author
|
Yingfu Zeng +
, Chad Rose +
, Paul Brauner +
, Walid Taha +
, Jawad Masood +
, Roland Philippsen +
, Marcia O'Malley +
, Robert Cartwright +
|
| Conference
|
16th IEEE International Conference on High … 16th IEEE International Conference on High Performance Computing and Communications HPCC 2014\11th IEEE International Conference on Embedded Software and Systems ICESS 2014\6th International Symposium on Cyberspace Safety and Security CSS 2014, Paris, France, Aug. 20-22, 2014 CSS 2014, Paris, France, Aug. 20-22, 2014
|
| DOI
|
http://dx.doi.org/10.1109/HPCC.2014.119 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:1183978
|
| EndPage
|
557 +
|
| HostPublication
|
2014 IEEE International Conference on High Performance Computing and Communications, 2014 IEEE 6th International Symposium on Cyberspace Safety and Security, 2014 IEEE 11th International Conference on Embedded Software and Systems (HPCC, CSS, ICESS) +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
IEEE Computer Society +
|
| StartPage
|
550 +
|
| Title
|
Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
|
| Year
|
2014 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
, Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract) +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
20 February 2018 21:22:45 +
|
