File
Tutorial: Verification Technology
John Rushby Submitted by John Rushby on October 4th, 2012
File
Collaborative Research: Remote Imaging of Community Ecology via Animal-borne Wireless Networks
Abstract
Nuno Martins Submitted by Nuno Martins on October 4th, 2012
File
Ant-Like Microrobots - Fast, Small, and Under Control
Abstract The goal of this multidisciplinary project is to develop the first cooperative network of small robots. It involves the concurrent investigation of control and estimation algorithms, actuators, sensors and platforms that support mobility and collaboration subject to severe power, size and weight constraints.
Nuno Martins Submitted by Nuno Martins on October 4th, 2012
File
A Novel Human Centric CPS to Improve Motor/Cognitive Assessment and Enable Adaptive Rehabilitation
Abstract
Fillia Makedon Submitted by Fillia Makedon on October 4th, 2012
File
Cyber-Physical Co-Design of Wireless Monitoring and Control for Civil Infrastructure
Abstract
Chenyang Lu Submitted by Chenyang Lu on October 4th, 2012
File
Managing Loosely Coupled Networked Control Systems with External Disturbances
Abstract
Xiangyang Li Submitted by Xiangyang Li on October 4th, 2012
File
GoingEasy® with Crowdsourcing – Building Cyber-Physical Systems for People with Visual Impairment
Abstract
Baoxin LI Submitted by Baoxin LI on October 4th, 2012
File
Dynamically Managing the Real-time Fabric of a Wireless Sensor-Actuator Network
Abstract
Michael Lemmon Submitted by Michael Lemmon on October 4th, 2012
File
Timing-Centric Software
Abstract
Edward Lee Submitted by Edward Lee on October 4th, 2012
File
StarExec - A Web Service for Evaluating Logic Solvers
Aaron Stump Submitted by Aaron Stump on October 3rd, 2012
Subscribe to 2012