Taxonomic Search: Carnegie Mellon University

Results 1 - 10 of 68

Results

file

Visible to the public Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Abstract:

This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save hu- man lives.

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 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 Enabling and Advancing Human and Probabilistic Context Awareness for Smart Facilities and Elder Care

Abstract:

We are at the end of a fouryear effort that has dramatically improved the capability of the use of RF sensors, particularly those that measure received signal strength (RSS) to sense the locations and context of people in buildings and homes. We have investigated both systems which use RFID tags to identify a person or object, and those which use a static deployed network of transceivers for devicefree localization, to locate people moving in the environment who do not carry any tag or device. Locating people who don't wear a de

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: