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
MARLO was traipsing around N. Campus on Saturday, Feb 4, 2017 in a pair of snowshoes. Discovery Channel’s flagship science program, Daily Planet, was on hand to film the event. Discovery Channel has been running a clip based on MARLO in the Mist and a draft of MARLO vs a 22 Degree Slope.
Professor Dimitra Panagou has been awarded the NASA Early CAREER Faculty award, which enables Professor Panagou and her student team to develop the AstroNet: A Swarm of Free-Flying Space Co-robots that are conceived to interact with NASA crew members and assist them in Extra-Vehicular Activities (EVAs) for the inspection, maintenance and repair of spacecraft exteriors. The 3-year project will focus on the development of Guidance, Navigation and Control algorithms that will enable the AstroNet to (i) safely surround the crew member during EVAs, (ii) perceive simple human commands (e.g., gestures) and (iii) respond to human commands by redistributing autonomously in space to dynamically and continuously enhance mission efficacy in a human-centric way.
Cooperative Quadrotors in Action (video).
Enjoy this article describing some highlights of Professor Koren’s contributions to the Robotics field.
Professor Koren’s website.
Two novel feedback control algorithms developed for the bipedal robot MARLO are vastly improving her ability to move over uncertain terrain. The work was done by PhD students Dennis Da and Brent Griffin, in collaboration with PhD students Omar Harib and Ross Hartley, all of whom work with Professor Jessy Grizzle.