hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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 Electromechanical Aspects of Cyber-Physical Systems
Rice University, Houston, USA. (Effective Modeling Group)
Rice University, Houston, USA. (Department of Computer Science)
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). Rice University, Houston, USA. (Effective Modeling Group)
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES). (Effective Modeling Group)ORCID iD: 0000-0003-4175-4020
Show others and affiliations
2016 (English)In: Journal of Software Engineering for Robotics, ISSN 2035-3928, E-ISSN 2035-3928, Vol. 7, no 1, 100-119 p.Article in journal (Refereed) Published
Abstract [en]

Model-based tools have the potential to significantly improve the process of developing novel cyber-physical systems (CPS). In this paper, we consider the question of what language features are needed to model such systems. We use a small, experimental hybrid systems modeling language to show how a number of basic and pervasive aspects of cyber-physical systems can be modeled concisely using the small set of language constructs. We then consider four, more complex, case studies from the domain of robotics. The first, a quadcopter, illustrates that these constructs can support the modeling of interesting systems. The second, a serial robot, provides a concrete example of why it is important to support static partial derivatives, namely, that it significantly improves the way models of rigid body dynamics can be expressed. The third, a linear solenoid actuator, illustrates the languageā€™s ability to integrate multiphysics subsystems. The fourth and final, a compass gait biped, shows how a hybrid system with non-trivial dynamics is modeled. Through this analysis, the work establishes a strong connection between the engineering needs of the CPS domain and the language features that can address these needs. The study builds the case for why modeling languages can be improved by integrating several features, most notably, partial derivatives, differentiation without duplication, and support for equations. These features do not appear to be addressed in a satisfactory manner in mainstream modeling and simulation tools.

Place, publisher, year, edition, pages
2016. Vol. 7, no 1, 100-119 p.
Keyword [en]
Domain-Specific Language, Cyber-Physical Systems
National Category
Engineering and Technology Computer Science
Identifiers
URN: urn:nbn:se:hh:diva-32091OAI: oai:DiVA.org:hh-32091DiVA: diva2:974862
Funder
Knowledge Foundation
Note

Funding: US NSF CPS award (No.1136099), Swedish KK-Foundation, CERES and CAISR Centres, and the Swedish SSF NG-Test

Available from: 2016-09-27 Created: 2016-09-27 Last updated: 2017-05-23Bibliographically approved

Open Access in DiVA

fulltext(5465 kB)48 downloads
File information
File name FULLTEXT01.pdfFile size 5465 kBChecksum SHA-512
8a357d85561d929add76c232808134f818c988949372678d691cd302c7ae3b2bc21f33e23ea9f48009786263bc223f350a4d8107f110190f8a274c2a6ee00e69
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Taha, WalidDuracz, AdamPhilippsen, Roland
By organisation
Centre for Research on Embedded Systems (CERES)CAISR - Center for Applied Intelligent Systems Research
In the same journal
Journal of Software Engineering for Robotics
Engineering and TechnologyComputer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 48 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 130 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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