We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Counterexample-Guided Synthesis of Perception Models and Control

Abstract: We consider the problem of synthesizing safe and robust controllers for real world robotic systems like autonomous vehicles, which rely on complex perception modules. We propose a counterexample-guided synthesis framework which iteratively learns perception models that enable finding safe control policies. We use counterexamples to extract information relevant for modeling the errors in perception modules. Such models then can be used to synthesize controllers robust to errors in perception. If the resulting policy is not safe, we gather new counterexamples. By repeating the process, we eventually find a controller which can keep the system safe even when there is perception failure. Finally, we show that our framework computes robust controllers for autonomous vehicles in two different simulated scenarios: (i) lane keeping, and (ii) automatic braking.
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Robotics (cs.RO)
Cite as: arXiv:1911.01523 [eess.SY]
  (or arXiv:1911.01523v2 [eess.SY] for this version)

Submission history

From: Hadi Ravanbakhsh [view email]
[v1] Mon, 4 Nov 2019 23:03:32 GMT (3168kb,D)
[v2] Fri, 8 Nov 2019 16:05:27 GMT (3168kb,D)

Link back to: arXiv, form interface, contact.