High Confidence Active Safety Control in Automotive Cyber-Physical Systems (Abstract) Download pdf Tags: University of California at Berkeley National CPS PI Meeting 2011 Academia Project Abstracts Automotive CPS Domains Design Automation Tools Concurrency and Timing Real-time Systems Control Systems Engineering Real-Time Coordination Transportation Validation and Verification CPS Technologies Foundations License: CC-2.5 Submitted by Francesco Borrelli on Fri, 11/04/2011 - 08:46