Controllers for reachability specifications for hybrid systems

Authors:
  • JLJohn Lygeros
    John Lygeros
  • CTClaire Tomlin
    Claire Tomlin
  • SSShankar Sastry
    Shankar Sastry

Abstract
No abstract available