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.
The objective of this research is to develop theoretical foundations for understanding implicit and explicit communication within cyber-physical systems.
