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.
File
CyberMech, a Novel Run-Time Substrate for Cyber-Mechanical Systems
Abstract
Christopher Gill Submitted by Christopher Gill on September 26th, 2012
File
Establishing Integrity in Dynamic Networks of Cyber Physical Devices
Abstract
Submitted by Vinod Ganapathy on September 26th, 2012
File
When the Cyber Backdrives the Physical: Information Flow vs. Power Flow
Abstract
James Freudenberg Submitted by James Freudenberg on September 26th, 2012
File
Credible Autocoding and Verification of Embedded Software (CrAVES)
Abstract
Eric Feron Submitted by Eric Feron 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
Cyberphysical Integration and Error Recovery for Digital Microfluidic Biochips
Abstract
Krishnendu Chakabarty Submitted by Krishnendu Chakabarty on September 19th, 2012
File
A Framework for Validation and Monitoring of Robotic Surgery Systems
Abstract
M. Cenk Cavusoglu Submitted by M. Cenk Cavusoglu on September 19th, 2012
File
Tightly Integrated Perception and Planning in Intelligent Robotics
Abstract
Mark Campbell Submitted by Mark Campbell on September 19th, 2012
File
High Confidence Active Safety Control in Automotive Cyber-Physical Systems
Abstract Despite the enormous number of fatalities and injuries on US roads from automobile accidents, the design and development of active safety systems tend to be traditional in nature. Current industry standard practice resorts to extensive on-road vehicle tests to decrease the probability of failures. Given the uncertainty on environment conditions and drivers behavior, the statistical relevance of such tests is questionable.
Francesco Borrelli Submitted by Francesco Borrelli on September 19th, 2012
Subscribe to Validation and Verification