High Confidence Active Safety Control in Automotive Cyber-Physical Systems Download pdf Tags: Ford Motor Company Pirelli SpA University of California at Berkeley 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 National CPS PI Meeting 2011 Poster Academia Poster Session: Day 2 License: CC-2.5 Submitted by Francesco Borrelli on Wed, 08/10/2011 - 08:26