File
Credible Autocoding and Verification of Embedded Software (CrAVES)
Abstract
Eric Feron Submitted by Eric Feron on September 26th, 2012
File
Cyberphysical Challenges of Transient Stability and Security in Power Grids
Abstract:
Ian Dobson Submitted by Ian Dobson on September 26th, 2012
File
Geometric Distributed Algorithms for Multi-Robot Coordination and Control
Abstract
Nancy Lynch Submitted by Nancy Lynch on September 26th, 2012
File
Foundations of Secure Cyber Physical Systems
Abstract
Suhas Diggavi Submitted by Suhas Diggavi on September 24th, 2012
File
Smart Power Systems of the Future: Foundations for Understanding Volatility and Improving Operational Reliability
Abstract
Munther Dahleh Submitted by Munther Dahleh on September 24th, 2012
File
Tumor and organs at risk motion: an opportunity for better DMLC IMRT delivery systems
Abstract
Ovidiu Daescu Submitted by Ovidiu Daescu on September 24th, 2012
File
Design of Networked Control Systems for Chemical Processes
Abstract
Panagiotis Christofides Submitted by Panagiotis Christofides on September 19th, 2012
File
Fundamental Advances in Control of Wireless Sensor and Robotic Networks
Abstract:
Nikhil Chopra Submitted by Nikhil Chopra on September 19th, 2012
File
A Unified Distributed Spatiotemporal Signal Processing Framework for Structural Health Monitoring
Abstract
Qi Cheng Submitted by Qi Cheng on September 19th, 2012
File
Transforming a City's Transportation Infrastructure through an Embedded Pervasive Communication Network
Abstract
Shigang Chen Submitted by Shigang Chen on September 19th, 2012
Subscribe to 2012