Mechatronics looked a little different this year. Instead of the semester ending in a class-wide robotics competition, students designed and built their own devices as part of an open-ended final project with motors, circuits, and sensors, from their own homes.

Full Article

Hadas Kress-Gazit, professor in the Sibley School of Mechanical and Aerospace Engineering, was elected a fellow of the Institute of Electrical and Electronics Engineers (IEEE), one of the most difficult and prestigious professional societies in which to be selected as a fellow.

Full Article

Professor Hadas Kress-Gazit was selected by the College of Engineering for an Outstanding Research Award! Her significant contributions to reactive software, theory, and algorithms allow robots to perform high-level tasks with established performance guarantees.

Full Article

Hadas Kress-Gazit’s tremendous efforts in formal methods have resulted in significant contributions to reactive software, theory, and algorithms that allow robots to perform high-level tasks with established performance guarantees.

Full Article

Kress-Gazit, who has been on the faculty at Cornell Engineering since 2009, works to create verifiable robot controllers for complex high-level tasks using logic, verification, synthesis, hybrid systems theory and computational linguistics.

Full Article

The paper “automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Rebresentations” by Adam Pacheck, George Konidaris, and Hadas Kress-Gazit was accepted to The International Symposium on Robotics Research (ISRR 2019).

Our collaborative paper “An integrated system for perception-driven autonomy with modular robots” was published in Science Robotics and recieved quite a lot of media attention. A few examples:

• https://www.theregister.co.uk/2018/11/02/transformer_robot/
• http://news.cornell.edu/stories/2018/10/shape-shifting-modular-robot-mor…
• https://techcrunch.com/2018/10/31/watch-this-little-robot-transform-to-g…
• https://spectrum.ieee.org/automaton/robotics/robotics-hardware/transform…
• https://www.nature.com/articles/d41586-018-07263-7

We have had 4 new projects awarded: 

• NRI: Ad-Hoc Collaborative Human-Robot Swarms (NSF, 2018-2022)
• EFRI C3 SoRo: An End-To-End Framework For Soft Robot Design And Control Based On High-Performance Electrohydraulic Transducers (NSF, 2018-2022)
• CPS: Syntax-Guided Synthesis for Cyber-Physical Systems (NSF, 2018-2021)
• DARPA OFFSET – Sprint 2 (DARPA TTO, 2018-2019)

Two papers will appear in ICRA 2018:

As part of the ICRA proceedings: 

T. Tosun, J. Daudelin, G. Jing, H. Kress-Gazit, M. Campbell and M. Yim, Perception-Informed Autonomous Environment Augmentation With Modular Robots

Video 

RA-L paper:

The paper “Verifiable Control of Robotic Swarm from High-level Specifications” by Ji Chen, Salar Moarref and Hadas Kress-Gazit was accepted to International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018).