The document was issued by academy or academy organization.
file
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.
file
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.
file
This research addresses the following fundamental problem in cyber-physical systems: How can we design systems that respond to critical events, such as earthquakes, based on data from large numbers of noisy, community-held sensor devices? The general goal of our research is to develop theory and practical systems that enable ordinary people to use technology collectively to respond to critical events.
file
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.
file
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.
file
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.
file
The objective of this research is to develop theoretical foundations for understanding implicit and explicit communication within cyber-physical systems.
file
This research is motivated by the observation that especially in challenging environments, that exhibit many forms of unreliability and failures, the physical world imposes severe limitations on how distributed algorithms can operate. Inspired by earlier work on delay- and disruption-tolerant networking, we have developed a distributed computing model based on partially ordered knowledge sharing that makes very few assumptions about the underlying network, its topology, and its characteristics.
