@proceedings {1765, title = {Acumen: An open-source testbed for cyber-physical systems research}, year = {2015}, month = {10/2015}, attachments = {https://mahilab.rice.edu/sites/default/files/publications/cyclone15Taha.pdf}, author = {Walid Taha and Adam Duracz and Yingfu Zeng and Kevin Atkinson and Ferenc A.Bartha and Paul Brauner and Jan Duracz and Fei Xu and Robert Cartwright and Michal Konecny and Eugenio Moggi and Jawad Masood and Pererik Andreasson and Jun Inoue and Anita Santanna and Roland Philippsen and Alexandre Chapoutot and O{\textquoteright}Malley, M.K. and Aaron Ames and Veronica Gaspes and Lise Hvatum and Shyam Mehta and Henrik Eriksson and Christian Grante} } @proceedings {1704, title = {Modeling Basic Aspects of Cyber-Physical Systems, Part II}, year = {2013}, address = {Tokyo, Japan}, abstract = {
We continue to consider the question of what
language features are needed to effectively model cyber-physical
systems (CPS). In previous work, we proposed using a core
language 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 previously proposed core language
can support larger, more interesting systems than previously
shown. The second one, a serial robot, provides a concrete
example of why we should add language support for static
partial derivatives, namely that it would significantly improve
the way models of rigid body dynamics can be expressed.
}, attachments = {https://mahilab.rice.edu/sites/default/files/publications/paper\%20\%285\%29.pdf}, author = {Yingfu Zeng and Rose, Chad G. and Paul Branner and Walid Taha and Jawad Masood and Roland Philippsen and Marcia K. O{\textquoteright}Malley and Robert Cartwright} }