Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Submitted by Rajiv Alur on October 3rd, 2012
BIO:
My current research interests are in developing tools aimed at improving the efficiency of the National Airspace System: these include techniques for the collection and processing of data, mechanisms for the allocation of airport and airspace resources to airlines, and algorithms for the scheduling and routing of air traffic. I am also interested in the design of algorithms for the tracking and managing identities of maneuvering targets in sensor networks, particularly the air traffic management system of the United States.
Submitted by Hamsa Balakrishnan on October 3rd, 2012
BIO:
Submitted by Anuradha Annaswamy on October 3rd, 2012
Submitted by Anonymous on October 3rd, 2012
Abstract
Submitted by Insup Lee on October 1st, 2012
Abstract
The original goals of this project were to take an existing open surgical robot testbed (the RAVEN robot), and to create a robust infrastructure for cyber-physical systems with which to extend traditional real-time control and teleoperation concepts. This is done by adding three new interfaces to the system:
Submitted by Howard Chizeck on October 1st, 2012
Abstract
Submitted by Bruce Krogh on September 26th, 2012
Abstract
Submitted by He (Helen) Huang on September 26th, 2012
Abstract
Submitted by Jessica Hodgins on September 26th, 2012
Abstract
Submitted by John Hatcliff on September 26th, 2012