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.
William P. Milam, Ford Motor Company and Dr. Shige Wang, General Motors Corporation presentation at the 1st National CPS PI Meeting, Arlington, VA, 08/11/2010
