Theoretical aspects of cyber-physical systems.
file
The objective of this research is to create computational foundation, methods, and tools for efficient and autonomous optical micromanipulation using microsphere ensembles as grippers. This research is expected to lead to a new way of autonomously manipulating difficult-to-trap or sensitive objects using microspheres ensembles as reconfigurable grippers.
file
This project will develop the first wireless network of cooperative mobile autonomous robots at a very small scale. In order to achieve this goal, we will face technical and scientific challenges that arise from severe power constraints, space and weight limitations.
file
The objective of this research is to investigate and implement a software architecture to improve productivity in the development of rapidly deployable, robust, real-time situational awareness and response (R3SAR) applications. The approach is based on a modular cross-layered architecture that combines a data-centric descriptive programming model with an overlay-based communication model.
file
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.
file
This research aims to introduce methods to analyze the robustness of battery supported cyber physical systems under co-designed control, scheduling, and battery management algorithms. Robustness refers to the ability to maintain system performance under perturbations. Robustness in controller design has been well defined and understood for a large class of feedback control systems, yet robustness of scheduling and battery management algorithms is relatively less understood.
file
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.
file
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
file
This project addresses the design of control systems where the principle disturbances are the result of routine human behavior, i.e.
file
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 (
file
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.
