%0 Conference Proceedings %B EuroHaptics %D 2018 %T Improving Perception Accuracy with Multi-sensory Haptic Cue Delivery %A Dunkelberger, Nathan %A Bradley, Joshua %A Sullivan, Jennifer L. %A Israr, Ali %A Lau, Frances %A Klumb, Keith %A Abnousi, Freddy %A O'Malley, Marcia K. %E Prattichizzo, Domenico %E Shinoda, Hiroyuki %E Tan, Hong Z. %E Ruffaldi, Emanuele %E Frisoli, Antonio %X

This paper presents a novel, wearable, and multi-sensory haptic feedback system intended to support the transmission of large sets of haptic cues that are accurately perceived by the human user. Previous devices have focused on the optimization of haptic cue transmission using a single modality and have typically employed arrays of haptic tactile actuators to maximize information throughput to a user. However, when large cue sets are to be transmitted, perceptual interference between transmitted cues can decrease the efficacy of single-sensory systems. Therefore, we present MISSIVE (Multi-sensory Interface of Stretch, Squeeze, and Integrated Vibration Elements), a wearable system that conveys multi-sensory haptic cues to the user's upper arm, allowing for increased perceptual accuracy compared to a single-sensory vibrotactile array of a comparable size, conveying the same number of cues. Our multi-sensory haptic cues are comprised of concurrently rendered, yet perceptually distinct elements: radial squeeze, lateral skin stretch, and localized cutaneous vibration. Our experiments demonstrate that our approach can increase perceptual accuracy compared to a single-sensory vibrotactile system of comparable size and that users prefer MISSIVE.

%B EuroHaptics %I Springer International Publishing %C Pisa, Italy %V II %P 289-301 %8 June 13-16 %@ 978-3-319-93399-3 %G eng %> https://mahilab.rice.edu/sites/default/files/publications/dunkelberger%202018%20eurohaptics%20compressed.pdf %0 Conference Proceedings %B EuroHaptics %D 2018 %T The Rice Haptic Rocker: Comparing Longitudinal and Lateral Upper-Limb Skin Stretch Perception %A Clark, Janelle P. %A Kim, Sung Y. %A O'Malley, Marcia K. %E Prattichizzo, Domenico %E Shinoda, Hiroyuki %E Tan, Hong Z. %E Ruffaldi, Emanuele %E Frisoli, Antonio %X

Skin stretch, when mapped to joint position, provides haptic feedback using a mechanism similar to our sense of proprioception . Rocker-type skin stretch devices typically actuate in the lateral direction of the arm, though during limb movement stretch about joint angles is in the longitudinal direction. In this paper, human perceptual performance in a target-hitting task is compared for two orientations of the Rice Haptic Rocker. The longitudinal direction is expected to be more intuitive due to the biological similarities, creating a more effective form of haptic feedback. The rockers are placed on the upper arm, and convey the position of a cursor among five vertically aligned targets. The longitudinal orientation results in smaller errors compared to the lateral case. Additionally, the outer targets were reached with less error than the inner targets for the longitudinal rocker. This result suggests longitudinal stretch is more easily discerned than laterally oriented stretch.

%B EuroHaptics %I Springer International Publishing %C Pisa, Italy %V II %P 125-134 %8 06/2018 %@ 978-3-319-93399-3 %G eng %> https://mahilab.rice.edu/sites/default/files/publications/clark%202018%20eurohaptics%20reduced.pdf %0 Journal Article %J Journal of Software Engineering for Robotics (JOSER) %D 2016 %T Modeling Electromechanical Aspects of Cyber-Physical Systems %A Yingfu Zeng %A Rose, Chad G. %A Walid Taha %A Adam Duracz %A Kevin Atkinson %A Roland Philippsen %A Robert Cartwright %A Marcia O'Malley %K Cyber-Physical Systems %K Domain-Specific Language %X

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.

%B Journal of Software Engineering for Robotics (JOSER) %V 7 %P 100-119 %8 07/2016 %G eng %& 100 %> https://mahilab.rice.edu/sites/default/files/publications/102-585-1-PB.pdf %0 Conference Proceedings %B EAI International Conference on CYber physiCaL systems, iOt and sensors Networks %D 2015 %T Acumen: An open-source testbed for cyber-physical systems research %A Walid Taha %A Adam Duracz %A Yingfu Zeng %A Kevin Atkinson %A Ferenc A.Bartha %A Paul Brauner %A Jan Duracz %A Fei Xu %A Robert Cartwright %A Michal Konecny %A Eugenio Moggi %A Jawad Masood %A Pererik Andreasson %A Jun Inoue %A Anita Santanna %A Roland Philippsen %A Alexandre Chapoutot %A O'Malley, M.K. %A Aaron Ames %A Veronica Gaspes %A Lise Hvatum %A Shyam Mehta %A Henrik Eriksson %A Christian Grante %B EAI International Conference on CYber physiCaL systems, iOt and sensors Networks %8 10/2015 %G eng %> https://mahilab.rice.edu/sites/default/files/publications/cyclone15Taha.pdf %0 Conference Proceedings %B IEEE World Haptics Conference (WHC) %D 2015 %T The role of auxiliary and referred haptic feedback in myoelectric control %A Treadway, Emma %A Gillespie, B %A Bolger, D. %A Blank, A. %A O'Malley, M.K. %A Davis, A. %B IEEE World Haptics Conference (WHC) %P 13-18 %8 06/2015 %G eng %> https://mahilab.rice.edu/sites/default/files/publications/Treadway2015%20-%20Haptic%20feedback%20myoelectric%20control.pdf %0 Conference Proceedings %B The Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'13) %D 2013 %T Modeling Basic Aspects of Cyber-Physical Systems, Part II %A Yingfu Zeng %A Rose, Chad G. %A Paul Branner %A Walid Taha %A Jawad Masood %A Roland Philippsen %A Marcia K. O'Malley %A Robert Cartwright %X
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.
%B The Fourth International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob'13) %C Tokyo, Japan %G eng %> https://mahilab.rice.edu/sites/default/files/publications/paper%20%285%29.pdf %0 Conference Proceedings %B Mobile and Ubiquitous Systems: Computing, Networking, and Services %D 2012 %T Preliminary Results in Virtual Testing for Smart Buildings %A Bruneau, Julien %A Consel, Charles %A O'Malley, Marcia %A Taha, Walid %A Hannourah, Wail Masry %E Sénac, Patrick %E Ott, Max %E Seneviratne, Aruna %X

Smart buildings promise to revolutionize the way we live. Applications ranging from climate control to fire management can have significant impact on the quality and cost of these services. However, a smart building and any technology with direct effect on the safety of its occupants must undergo extensive testing. Virtual testing by means of computer simulation can significantly reduce the cost of testing and, as a result, accelerate the development of novel applications. Unfortunately, building physically-accurate simulation codes can be labor intensive.

%B Mobile and Ubiquitous Systems: Computing, Networking, and Services %I Springer Berlin Heidelberg %C Berlin, Heidelberg %@ 978-3-642-29154-8 %G eng %> https://mahilab.rice.edu/sites/default/files/publications/bruneau2012lnicst.pdf %0 Conference Proceedings %B MMVR18 %D 2011 %T Comparison of Reaching Kinematics During Mirror and Parallel Robot Assisted Movements %A Zahra KADIVAR %A Cynthia SUNG %A Zachary THOMPSON %A Marcia O’MALLEY %A Michael LIEBSCHNER %A Deng, Zhigang %B MMVR18 %C Newport Beach, CA %8 02/2011 %> https://mahilab.rice.edu/sites/default/files/publications/1295-MMVR18-Kadivar_Z.pdf %0 Conference Proceedings %B ASME 2010 Dynamic Systems and Control Conference %D 2010 %T A Fully Automated System for the Preparation of Samples for Cryo-Electron Microscopy %A Thompson, Zachary J %A Johnson, Kevin L %A Overby, Nicolas %A Chidi, Jessica I %A Pryor, William K %A O’Malley, Marcia K %B ASME 2010 Dynamic Systems and Control Conference %I American Society of Mechanical Engineers %G eng %> https://mahilab.rice.edu/sites/default/files/publications/thompson2010asme.pdf %0 Conference Proceedings %D 2010 %T Mathematical Equations as Executable Models of Mechanical Systems %A Angela Yun Zhu %A Edwin Westbrook %A Jun Inoue %A Alexandre Chapoutot %A Cherif Salama %A Marisa Peralta %A Travis Martin %A Walid Taha %A Robert Cartwright %A O'Malley, M.K. %X

Cyber-physical systems comprise digital components that directly interact with a physical environment. Specifying the behavior desired of such systems requires analytical modeling of physical phenomena. Similarly, testing them requires simulation of continuous systems. While numerous tools support later stages of developing simulation codes, there is still a large gap between analytical modeling and building running simulators. This gap significantly impedes the ability of scientists and engineers to develop novel cyber-physical systems. We propose bridging this gap by automating the mapping from analytical models to simulation codes. Focusing on mechanical systems as an important class of models of physical systems, we study the form of analytical models that arise in this domain, along with the process by which domain experts map them to executable codes. We show that the key steps needed to automate this mapping are 1) a light-weight analysis to partially direct equations, 2) a binding-time analysis, and 3) an efficient implementation of symbolic differentiation. As such, our work pinpoints and highlights a number of limitations in the state of the art in tool support of simulation, and shows how some of these limitations can be overcome.

%> https://mahilab.rice.edu/sites/default/files/publications/zhu2010ieee.pdf %0 Conference Proceedings %D 2009 %T Implementing Haptic Feedback Environments from High-level Descriptions %A Angela Yun Zhu %A Jun Inoue %A Marisa Peralta %A Walid Taha %A O'Malley, M.K. %A Powell, Dane %> https://mahilab.rice.edu/sites/default/files/publications/zhu2009shoes.pdf