Develop and retrofit an existing snowplow with a suite of sensors and mapping systems along with a driver assistance interface that will guide the operator when visibility
Develop runtime verification techniques that incorporate mixed-abstraction-level granularity in specifications and enable on-deadline mitigation triggering
Develop planning and decision-making algorithms with multiple, potentially conflicting objectives.
Derive, analyze, and refine specifications from regulatory requirements and demonstrations.
Assess and demonstrate the role of autonomy in mobility-on-demand systems through modeling, algorithm development and experimental demonstration.
Mechanism design for dynamic pricing and real-time control of traffic signals based on control, communication, optimization and game theory
Design a consensus protocol to solve the assignment problem in a distributed manner.
Develop mathematical and computational frameworks to facilitate the design and analysis of embedded control systems such as autonomous vehicles.
A race of autonomous ground vehicles through an urban environment.
A path planning system for multi-vehicle domains.