This project aims to develop a new computing device where non-volatile elements based on flash (floating gate) transistors are pervasively used in all levels of the memory hierarchy to enable almost instantaneous check pointing and recovery of program state not subject to the data bus bandwidth limit. Effectively, this new system allows its power source to be cut off at any time, and yet resumes regular operation without loss of information when the power comes back.

The objective of this research is to develop a trustworthy and high-performance neural-machine interface (NMI) that accurately interprets the user’s intended movements in real-time for neural control of artificial legs.  

Americans are living longer and more fulfilling lives. They desire to live as independently as possible, but independent lifestyles come with risks, such as debilitating falls that limit mobility. To address these issues, researchers are developing "smart home" technologies to enhance residents' safety and monitor health conditions using sensors and other devices. In particular, the continuous assessment of physical function is a key indicator of initial decline in health and functional ability.

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).

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.