hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract)
Rice University, Houston, TX, USA.
Rice University, Houston, TX, USA.
Rice University, Houston, TX, USA.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, TX, USA.ORCID iD: 0000-0003-3160-9188
Show others and affiliations
2014 (English)In: 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) / [ed] Randall Bilof, Piscataway, NJ: IEEE Computer Society, 2014, p. 550-557Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Computer Society, 2014. p. 550-557
Keywords [en]
Mathematical model, Equations, Testing, Semantics, Analytical models, Rotors, Computational modeling
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hh:diva-35720DOI: 10.1109/HPCC.2014.119ISI: 000380560600088Scopus ID: 2-s2.0-84949924020ISBN: 978-1-4799-6123-8 (electronic)OAI: oai:DiVA.org:hh-35720DiVA, id: diva2:1183978
Conference
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
Funder
Knowledge FoundationSwedish Foundation for Strategic Research
Note

An extended version of this manuscript was presented at the DSLRob 2013 Workshop. This abridged manuscript is submitted for review at the conference level. Funding: US NSF CPS award 1136099, Swedish KK-Foundation CERES and CAISR Centres, and the Swedish SSF NG-Test Project.

Available from: 2018-02-20 Created: 2018-02-20 Last updated: 2018-03-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Taha, WalidMasood, JawadPhilippsen, RolandCartwright, Robert

Search in DiVA

By author/editor
Taha, WalidMasood, JawadPhilippsen, RolandCartwright, Robert
By organisation
Centre for Research on Embedded Systems (CERES)Halmstad Embedded and Intelligent Systems Research (EIS)CAISR - Center for Applied Intelligent Systems Research
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 154 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf