NSF CPS Project

Overview

The research goal of our NSF Cyber-Physical Systems (CPS) project is to develop algorithms for intelligent robotics which tightly integrate probabilistic perception and deterministic planning in a verifiable framework. Current activities include: 1) Developing representations for constructing and maintaining models of complex environments; 2) Developing methods to anticipate changes in the environment and use them as part of planning; 3) Developing task planning methods that provide probabilistic guarantees for high-level behaviors. The educational goal is to educate students in interdisciplinary CS and engineering projects and courses, particularly those related to intelligent robotics.