The objective of this research is to address challenges posed by the man-machine interface. Couched in the specifics of neuroprosthetic hands, this research seeks to develop transformative methods of human-machine communication and control to enhance the capabilities of currently-limited physical resources. In the grand vision of cyber-physical systems, these advancements translate into (i) communication of tactile sensation from a remote end-effector to a human user, (ii) division of control based on the spatial and temporal capabilities of the syst

This project addresses the design of control systems where the principle disturbances are the result of routine human behavior, i.e.

The centerpiece of the activities to date on this project is the design, development, and implementation of the TimeTrial performance monitor. TimeTrial is a tool that enables observation of critical performance properties of streaming data applications without significantly perturbing the execution of the application under observation. It supports applications deployed on architecturally diverse computer systems, initially including the combination of multicore processors and/or field-programmable gate arrays (

This collaborative research project examines the role of software synthesis for monitoring and planning of autonomous sensors evolving on tidally forced rivers. The goal of the sensors is the coordinated sampling of currents and salinity to reconstruct the distributed state of the river. This project integrates the development of theory for the coordination of autonomous agents in motion-constrained environments, and of algorithms to perform motion planning tasks, with software tools for design, analysis, and code synthesis for implementation, as well as inverse modeling (i.e.

With the proliferation of personal mobile computing via mobile phones and the advent of cheap, small sensors, we propose that a new kind of “citizen infrastructure”, CitiSense, can be made pervasive at low cost and high value.

The objective of this inter-disciplinary research is to develop new technologies that transform the streets of a city into a hybrid transportation/communication system, called the Intelligent Road (iRoad), where autonomous wireless devices are co-located with traffic signals, forming a wireless network that fuses real-time transportation data from all over the city to support a wide range of new applications.

This project addresses the management of the air traffic system, a cyber-physical system where the need for a tight connection between the computational algorithms and the physical system is critical to safe, reliable and efficient performance. Indeed, the lack of this tight connection is one of the reasons current systems are overwhelmed by the ever increasing traffic and suffer when there is any deviation from the expected (e.g., changing weather).

This CPS research focuses on collaborative driving, specifically in convoy type applications, and testing of hybrid systems. Specfically, this research investigates the development of the computational issues and testing aspects of a newer, more tactical hybrid state autonomous controller for multi-robot exploration scenarios for DSTO Multi Autonomous Ground-robotic International Challenge (MAGIC 2010) and the evaluation of th eautomotive convoy-based scenarios of the Grand Cooperative Driving Challenge (May 2011).

Modern processor architectures sacrifice timing predictability for increased average computational throughput. Branch prediction, multi-level memory hierarchies, out-of-order execution, and data forwarding all make exact execution timing prediction impossible. As accurate runtime predictions are required for task scheduling, the goal of this research is to develop a Precision Timed (PRET) processor, along with the inter-process communication methods and operating system services, which remove many of the sources of timing indeterminacy.

Cyber-physical systems research aims to provide devices with autonomous decision-making that are robust enough to be employed in a variety of important applications. Thus, it is necessary to design physically-grounded intelligent agents that autonomously plan and coordinate their actions as they interact with complex physical processes. Physically-grounded means that the agents must model the physical world in a realistic manner and consider the effects of physical constraints.