High Confidence Active Safety Control in Automotive Cyber-Physical Systems

  • 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
Submitted by Francesco Borrelli on