Academia

file

CPS Challenges in Next Generation Aviation

Submitted by hamsa on Wed, 11/09/2011 - 10:50am. Contributors:

The report summarizes the discussions of the academic community on the CPS research challenges of creating next generation aviation systems. The effort was led by Prof. Eric Feron, Georgia Tech and Hamsa Balakrishnan, MIT.

file

Programming Environment and Architecture for Situational Awareness and Response

Submitted by ysimonson on Sun, 11/06/2011 - 8:22pm. Contributors:

file

Programming Environment and Architecture for Situational Awareness and Response: the R3SAR Project

Submitted by Helen Gill on Sun, 11/06/2011 - 8:18pm. Contributor:

Robert Fowler

file

Formal Dependability Analysis for Real-Time Medical Devices

Submitted by srirams on Sat, 11/05/2011 - 9:36am. Contributors:

file

Body Sensor Networks: A Holistic Approach from Silicon to Users

Submitted by John Stankovic on Fri, 11/04/2011 - 1:20pm. Contributors:

file

Robust Capacity-Constrained Scheduling and Data-Based Model Refinement for Enhanced Collision Avoidance in Low-Earth Orbit

Submitted by Dennis Bernstein on Fri, 11/04/2011 - 1:15pm. Contributors:

file

Robots with Vision that Find Objects

Submitted by fermuller on Fri, 11/04/2011 - 1:12pm. Contributors:

file

System Support for Generally Programmable Digital Microfluidic Biochip Devices

Submitted by Philip Brisk on Fri, 11/04/2011 - 1:10pm. Contributors:

file

Compositionality and Reconfiguration for Distributed Hybrid Systems

Submitted by Andre Platzer on Fri, 11/04/2011 - 1:08pm. Contributors:

file

Methods and Tools for Verification of Cyber-Physical Systems

Submitted by Chris Myers on Fri, 11/04/2011 - 12:44pm. Contributors:

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS Challenges in Next Generation Aviation

Programming Environment and Architecture for Situational Awareness and Response

Programming Environment and Architecture for Situational Awareness and Response: the R3SAR Project

Formal Dependability Analysis for Real-Time Medical Devices

Body Sensor Networks: A Holistic Approach from Silicon to Users

Robust Capacity-Constrained Scheduling and Data-Based Model Refinement for Enhanced Collision Avoidance in Low-Earth Orbit

Robots with Vision that Find Objects

System Support for Generally Programmable Digital Microfluidic Biochip Devices

Compositionality and Reconfiguration for Distributed Hybrid Systems

Methods and Tools for Verification of Cyber-Physical Systems