Skip to main content
eScholarship
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.
Abstract

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
Current View