File
Formal Dependability Analysis for Real-Time Medical Devices
Sriram Sankaranarayanan Submitted by Sriram Sankaranarayanan on November 5th, 2011
File
Body Sensor Networks: A Holistic Approach from Silicon to Users
John Stankovic Submitted by John Stankovic on November 4th, 2011
File
Robust Capacity-Constrained Scheduling and Data-Based Model Refinement for Enhanced Collision Avoidance in Low-Earth Orbit
Dennis Bernstein Submitted by Dennis Bernstein on November 4th, 2011
File
Robots with Vision that Find Objects
Cornelia Fermuller Submitted by Cornelia Fermuller on November 4th, 2011
File
System Support for Generally Programmable Digital Microfluidic Biochip Devices
Philip Brisk Submitted by Philip Brisk on November 4th, 2011
File
Compositionality and Reconfiguration for Distributed Hybrid Systems
Andre Platzer Submitted by Andre Platzer on November 4th, 2011
File
Methods and Tools for Verification of Cyber-Physical Systems
Chris Myers Submitted by Chris Myers on November 4th, 2011
File
Training Tomorrow’s Engineers in Cyber-Physical Systems (CPS)
Submitted by Seta Bogosyan on November 4th, 2011
File
Design of Networked Control Systems for Chemical Processes (Abstract)
Panagiotis Christofides Submitted by Panagiotis Christofides on November 4th, 2011
File
Establishing Integrity in Dynamic Networks of Cyber Physical Devices
Submitted by Vinod Ganapathy on November 4th, 2011
Subscribe to National CPS PI Meeting 2011