Carnegie Mellon University

file

Visible to the public Efficient Mapping and Management of Applications onto Cyber-Physical Systems

Abstract:

Cyber-Physical Systems comprise richly heterogeneous collections of devices (mobile devices, home electronics, taxis, robotic drones, etc.) that together gather sensor data, analyze it, and coordinate large--scale actions in response to it.

file

Visible to the public Event-Based Information Acquisition, Learning, and Control in High-Dimensional Cyber-Physical Systems

Abstract:

The objective of this project is to develop a theoretical framework for stochastic learning, decision-making, and control in high-dimensional cyber-physical systems. In our general framework, decision makers dynamically refine their estimates of the time-varying physical system based on acquired information, which may be obtained by distributed sensors.

file

Visible to the public Knowledge-Aware Cyber-Physical Systems

Abstract:

During the development process of CPS, an analysis of whether the system operates safely in its target environment is of utmost importance. This entails two interconnected research goals in the research areas of system design and system verification, which tie together research in formal verification of CPS with research on knowledge representation and reasoning in multi-agent systems:

file

Visible to the public ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack

Abstract:

Central to the operation of cyber-physical systems (CPS) is accurate and reliable knowledge of time, both for meaningfully sensing and controlling the physical world state and for correct, high-performance and energy-efficient orchestration of computing and communication operations. Emerging applications that seek to control agile physical processes or depend on precise knowledge of time to infer location and coordinate communication, make use of time with diverse semantics and dynamic quality requirements.