hh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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.
Visa övriga samt affilieringar
2013 (Engelska)Ingår i: Proceedings DSLRob 2013 / [ed] Christian Schlegel, Ulrik Pagh Schultz, Serge Stinckwich, 2013Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2013.
Nationell ämneskategori
Robotteknik och automation
Identifikatorer
URN: urn:nbn:se:hh:diva-24056OAI: oai:DiVA.org:hh-24056DiVA, id: diva2:668809
Konferens
4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-13)
Forskningsfinansiär
VinnovaKK-stiftelsen
Anmärkning

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.

Tillgänglig från: 2013-12-02 Skapad: 2013-12-02 Senast uppdaterad: 2018-03-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

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

Personposter BETA

Taha, WalidMasood, JawadPhilippsen, RolandCartwright, Robert

Sök vidare i DiVA

Av författaren/redaktören
Taha, WalidMasood, JawadPhilippsen, RolandCartwright, Robert
Av organisationen
Centrum för forskning om inbyggda system (CERES)CAISR Centrum för tillämpade intelligenta system (IS-lab)Halmstad Embedded and Intelligent Systems Research (EIS)
Robotteknik och automation

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 245 träffar
RefereraExporteraLänk till posten
Permanent länk

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