Skip to main content
Open Access Publications from the University of California

A Verified Hybrid Controller For Automated Vehicles

  • Author(s): Lygeros, J.;
  • Godbole, D. N.;
  • Sastry, S.
  • et al.

In this report the authors present a unified framework for carrying out safety calculations for the automated highway problem and obtain sufficient conditions for a set of continuous controllers to be safe and use these conditions to design a discrete scheme that switches between them. Guarantees of safety for the closed loop hybrid system follow by design/

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View