Project Overviews

file

Visible to the public Compositionality and Reconfiguration for Distributed Hybrid Systems

Submitted by Andre Platzer on Fri, 08/06/2010 - 5:34pm. Contributors:
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

Visible to the public CPS: Small: Control of Distributed Cyber-Physical Systems under Partial Information and Limited Communication

Submitted by Stephane Lafortune on Fri, 08/06/2010 - 5:31pm. Contributors:
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

Visible to the public Towards a Community Seismic Network

Submitted by kmchandy on Fri, 08/06/2010 - 5:30pm. Contributors:
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

Visible to the public Automatic Abstraction for Verification of Cyber-Physical Systems

Submitted by zheng@cse.usf.edu on Fri, 08/06/2010 - 5:29pm. Contributors:
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

Visible to the public Establishing Integrity in Dynamic Networks of Cyber Physical Devices

Submitted by Vinod Ganapathy on Fri, 08/06/2010 - 5:23pm. Contributors:
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

Visible to the public Collaborative Research: Abstraction of Cyber-Physical Interplays and Its Application to CPS Design

Submitted by koren on Fri, 08/06/2010 - 5:20pm. Contributors:
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

Visible to the public Developing Theoretical Foundations for Understanding Implicit and Explicit Communication Within Cyber-Physical Systems

Submitted by anantsahai on Fri, 08/06/2010 - 5:02pm. Contributors:
The objective of this research is to develop theoretical foundations for understanding implicit and explicit communication within cyber-physical systems.