hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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.
Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES). Rice University, Houston, USA.
Vise andre og tillknytning
2013 (engelsk)Inngår i: Proceedings DSLRob 2013 / [ed] Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich, 2013Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2013.
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-24056OAI: oai:DiVA.org:hh-24056DiVA, id: diva2:668809
Konferanse
4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-13)
Forskningsfinansiär
VinnovaKnowledge Foundation
Merknad

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.

Tilgjengelig fra: 2013-12-02 Laget: 2013-12-02 Sist oppdatert: 2018-03-22bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

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

Personposter BETA

Taha, WalidMasood, JawadPhilippsen, RolandCartwright, Robert

Søk i DiVA

Av forfatter/redaktør
Taha, WalidMasood, JawadPhilippsen, RolandCartwright, Robert
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 245 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf