“We are thrilled to become part of the ACM family of journals,” explained THRI Co-Editor-in-Chief Odest Chadwicke Jenkins of the University of Michigan. “ACM’s reputation as a publisher of computing research is unparalleled. At the same time, the broad representation of computing disciplines in the ACM, the organization’s global reach, and platforms such as the Digital Library, are a perfect complement to our own goals for THRI.
Jenkins, along with Co-Editor-in-Chief Selma Šabanović of Indiana University, have set three primary goals for the journal in the coming years, including: 1) Sustaining the intellectual growth of HRI as a field of study (both quantitatively and qualitatively), 2) Enabling timely and productive feedback from readers, and 3) Cultivating new and leading-edge ideas in both robotics and the human-centered sciences
The inaugural issue of the rebranded ACM Transactions on Human-Robot Interaction (THRI) is planned for March 2018. Those seeking to submit for the publication, or who have questions for the editors, are encouraged to visit the current HRI Journal website.
The full article.
The concept of “formal methods”, also know as “correct by construction” is applied to the trajectory planning for mobile robots/small autonomous vehicles. The main challenges are (i) the presence of multiple moving objects (pedestrians, other robots/vehicles), and (ii) plant uncertainties. We aim to address both in our research.
The example publications show a formal design process to deal with multiple moving objects (without considering plant uncertainties). Our method achieves better balance between safety (zero collision!) and performance (the robot does not keep stopping to avoid collisions) compared with other methods from the literature.
Mr. Yuxiao Chen is a U-M graduate student co-advised by Professors Huei Peng and Jessy Grizzle.
CSE graduate students Qi Zhang and Shun Zhang will present exciting research papers at ICAPS 2017, the 27th International Conference on Automated Planning and Scheduling, taking place this June at Carnegie Mellon University in Pittsburgh PA.
Here are the papers:
Minimizing Maximum Regret in Commitment Constrained Sequential Decision Making
Approximately-Optimal Queries for Planning in Reward-Uncertain Markov Decision Processes
The research of Mechanical Engineering and Robotics alum Dr. Alireza Ramezani is featured on the February cover of Science Robotics. Dr. Ramezani defended his dissertation, “Feedback Control Design for MARLO, a 3D-Bipedal Robot,” in 2013.
The U-M Mathematics Department has awarded Hamed Razavi with the 2016 Sumner B. Myers Prize, which honors the best PhD thesis in mathematics. No award is made unless a thesis is judged to be truly distinguished:
Hamed Razavi, “Symmetry Method for Limit Cycle Walking of Legged Robots”, co-advised by Tony Bloch (Math) and Jessy Grizzle (EECS).