Many of the future applications of systems and control that will pertain to cyber-physical systems are those related to problems of (pos

The objective of this research is to create interfaces that enable people with impaired sensory-motor function to control interactive cyber-physical systems such as artificial limbs, wheelchairs, automobiles, and aircraft. The approach is based on the premise that performance can be significantly enhanced merely by warping the perceptual feedback provided to the human user. A systematic way to design this feedback will be developed by addressing a number of underlying mathematical and computational challenges.  

The hypothesis of this research is that a successful cyber-physical system will need to be a learning agent, learning the properties of its sensors, effectors, and environment from its own experience, and adapting over time. Inspired by human developmental learning, we believe that foundational concepts such as Space, Object, Action, etc., are essential for such a learning agent to abstract and control the complexity of its world. To bridge the gap between continuous interaction with the physical environment, and discrete symbolic descriptions th

The objective of this project is to investigate fundamental issues in network control and distributed coordination of wireless sensor and robotic networks. The research approach is to exploit intrinsic properties of such systems to ensure stability and high performance despite the deleterious network effects.  

Augmenting dedicated control systems with
 real-time sensor 
and actuator networks poses a number of new challenges in control system design that cannot be addressed with traditional process 
control methods, including: a) the handling of additional, potentially
 asynchronous and/or delayed
 measurements in the overall networked control system, and b) the
 substantial increase in the number of process state variables, manipulated inputs, and measurements which may impede the ability of
 centralized control systems to carry out real-time calculations within th

This research project addresses fundamental challenges in the verification and analysis of distributed hybrid systems.  In particular, we are working to minimize the mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics currently supported in analysis.

The principal objective of this project is the development of novel control architectures and computationally efficient controller design algorithms for distributed cyber-physical systems with decentralized information infrastructures and limited communication capabilities.  Interest is in distributed cyber-physical systems where the system components are able to communicate with one another.

Verification of cyber-physical systems is complicated by both their heterogeneous nature as well as their sheer complexity. Cyber-physical systems include hardware, software, and physical  environment, so a formal model must integrate all of these concerns.

Dynamic networks allow cyber physical devices to connect opportunistically to share and process data gathered from the physical world. This project concerns dynamic networks of emerging cyber physical devices, such as smart phones and on-board embedded computing devices that combine sensors with general-purpose computing environments. These dynamic networks provide a powerful platform of networked devices with significant computation, communication and storage capabilities.

This project seeks to develop a systematic approach to facilitate the efficient codesign of both the control (physical) and computer (cyber) sides of a cyber-physical system (CPS). Designing a CPS requires substantial inter-disciplinary activity.