https://mw.hh.se/caisr/index.php?action=history&feed=atom&title=Publications%3AModeling_Electromechanical_Aspects_of_Cyber-Physical_Systems 2026-04-04T22:16:09Z Revision history for this page on the wiki MediaWiki 1.35.13 https://mw.hh.se/caisr/index.php?title=Publications:Modeling_Electromechanical_Aspects_of_Cyber-Physical_Systems&diff=3461&oldid=prev 2017-05-23T20:22:01Z

<p>Created page with &quot;&lt;div style=&#039;display: none&#039;&gt; == Do not edit this section == &lt;/div&gt; {{PublicationSetupTemplate|Author=Yingfu Zeng, Rose Chad, Walid Taha, Adam Duracz, Kevin Atkinson, Roland Phi...&quot;</p> <p><b>New page</b></p><div>&lt;div style=&#039;display: none&#039;&gt;<br /> == Do not edit this section ==<br /> &lt;/div&gt;<br /> {{PublicationSetupTemplate|Author=Yingfu Zeng, Rose Chad, Walid Taha, Adam Duracz, Kevin Atkinson, Roland Philippsen, Robert Cartwright, Marcia O&#039;Malley<br /> |PID=974862<br /> |Name=Zeng, Yingfu (Rice University, Houston, USA) (Effective Modeling Group);Chad, Rose (Rice University, Houston, USA) (Department of Computer Science);Taha, Walid (waltah) (Högskolan i Halmstad (2804), Akademin för informationsteknologi (16904), Halmstad Embedded and Intelligent Systems Research (EIS) (3938), Centrum för forskning om inbyggda system (CERES) (6702)) (Rice University, Houston, USA) (Effective Modeling Group);Duracz, Adam (adadur) (0000-0003-4175-4020) (Högskolan i Halmstad (2804), Akademin för informationsteknologi (16904), Halmstad Embedded and Intelligent Systems Research (EIS) (3938), Centrum för forskning om inbyggda system (CERES) (6702)) (Effective Modeling Group);Atkinson, Kevin (Rice University, Houston, USA) (Effective Modeling Group);Philippsen, Roland (rolphi) (0000-0003-3513-8854) (Högskolan i Halmstad (2804), Akademin för informationsteknologi (16904), Halmstad Embedded and Intelligent Systems Research (EIS) (3938), CAISR Centrum för tillämpade intelligenta system (IS-lab) (13650));Cartwright, Robert (Rice University, Houston, USA);O&#039;Malley, Marcia (Rice University, Houston, USA) (Mechatronics and Haptic Interfaces (MAHI) Lab)<br /> |Title=Modeling Electromechanical Aspects of Cyber-Physical Systems<br /> |PublicationType=Journal Paper<br /> |ContentType=Refereegranskat<br /> |Language=eng<br /> |Journal=Journal of Software Engineering for Robotics<br /> |JournalISSN=2035-3928<br /> |Status=published<br /> |Volume=7<br /> |Issue=1<br /> |HostPublication=<br /> |Conference=<br /> |StartPage=100<br /> |EndPage=119<br /> |Year=2016<br /> |Edition=<br /> |Pages=<br /> |City=<br /> |Publisher=<br /> |Series=<br /> |SeriesISSN=<br /> |ISBN=<br /> |Urls=<br /> |ISRN=<br /> |DOI=<br /> |ISI=<br /> |PMID=<br /> |ScopusId=<br /> |NBN=urn:nbn:se:hh:diva-32091<br /> |LocalId=<br /> |ArchiveNumber=<br /> |Keywords=Domain-Specific Language;Cyber-Physical Systems<br /> |Categories=Teknik och teknologier (2);Datavetenskap (datalogi) (10201)<br /> |ResearchSubjects=<br /> |Projects=<br /> |Notes=&lt;p&gt;Funding: US NSF CPS award (No.1136099), Swedish KK-Foundation, CERES and CAISR Centres, and the Swedish SSF NG-Test&lt;/p&gt;<br /> |Abstract=&lt;p&gt;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.&lt;/p&gt;<br /> |Opponents=<br /> |Supervisors=<br /> |Examiners=<br /> |Patent=<br /> |ThesisLevel=<br /> |Credits=<br /> |Programme=<br /> |Subject=<br /> |Uppsok=<br /> |DefencePlace=<br /> |DefenceLanguage=<br /> |DefenceDate=<br /> |CreatedDate=2016-09-27<br /> |PublicationDate=2016-09-27<br /> |LastUpdated=2017-05-23<br /> |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&amp;pid=diva2:974862}}<br /> &lt;div style=&#039;display: none&#039;&gt;<br /> <br /> == Keep all hand-made modifications below ==<br /> &lt;/div&gt;{{PublicationDisplayTemplate}}</div>

Slawek