Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop

Download

Abstract:

This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges in driver behavior and environment reconstruction.

  • Architectures
  • Automotive
  • CPS Domains
  • Concurrency and Timing
  • Real-time Systems
  • Control
  • Platforms
  • Modeling
  • Systems Engineering
  • Real-Time Coordination
  • Health Care
  • Robotics
  • Simulation
  • Transportation
  • CPS Technologies
  • Education
  • Foundations
  • Energy Sector
  • Smart Grid
  • Energy
  • Critical Infrastructure
  • Wireless Sensing and Actuation
  • National CPS PI Meeting 2013
  • 2013
  • Poster
  • Academia
  • CPS PI Poster Session
Submitted by Francesco Borrelli on