Research interests
How can we interact with physical systems, in particular robots, at a high level? How can we formalize high level goals in a user friendly way? How can we automatically create controllers for such systems and how can we guarantee these systems will behave correctly?
To address these challenges, my research builds on ideas and techniques from different disciplines such as control, hybrid systems, logic, verification, model checking, planning and computational linguistics. |
Group Memebers
- Jon DeCastro (PhD student - AE)
- Cameron Finucane (Research Staff)
- Jim Jing (PhD student - ME)
- Ben Johnson (PhD student - ME)
- Vasu Raman (PhD student - CS)
- Bingxin Xu (MS student - ME)
- Shahar Sarid (Postdoc)
Alumni
- Sebastian Castro (MS student - ME)
|
Software
- Linear Temporal Logic MissiOn Planner (LTLMoP): A Python-based toolbox used for controlling real and simulated robots using structure English sentences
- MATLAB-based simulator for the iRobot Create
|
| |
April '12 Paper accepted to Robotics: Science and Systems
April '12 New project - NSF expeditions in computing.
January '12 Two papers, a video and an invited session accepted to ICRA 2012!
November '11 Article about my research in the Cornell Chronicle.
July '11 Presentation slides for the CAV '11 workshop "Formal Methods For Robotics and Automation",Are available.
|
