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
Rice University, Houston, USA. (Effective Modeling Group)
Rice University, Houston, USA.
Rice University, Houston, USA.
Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, USA.ORCID iD: 0000-0003-3160-9188
Show others and affiliations
2013 (English)In: Proceedings DSLRob 2013 / [ed] Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich, 2013Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2013.
National Category
Robotics and automation
Identifiers
URN: urn:nbn:se:hh:diva-24056OAI: oai:DiVA.org:hh-24056DiVA, id: diva2:668809
Conference
4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-13)
Funder
VinnovaKnowledge Foundation
Note

This paper is a followup to a paper presented at the DSLRob 2012 Workshop with the same main title. This second part focuses on modeling rigid body dynamics.

This work was supported by the US NSF CPS award 1136099, Swedish KK-Foundation CERES and CAISR Centres, and the Swedish SSF NG-Test Project.

Available from: 2013-12-02 Created: 2013-12-02 Last updated: 2025-02-09Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

http://www.doesnotunderstand.org/dslrob2013-preliminary-proceedings.pdf

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)CAISR - Center for Applied Intelligent Systems ResearchHalmstad Embedded and Intelligent Systems Research (EIS)
Robotics and automation

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 674 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