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

Download:

Current browse context:

cs.RO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

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

Computer Science > Robotics

Title: Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

Authors: Chiao Hsieh (1), Keyur Joshi (1), Sasa Misailovic (1), Sayan Mitra (1) ((1) University of Illinois at Urbana-Champaign)
Abstract: Convolutional Neural Networks (CNN) for object detection, lane detection, and segmentation now sit at the head of most autonomy pipelines, and yet, their safety analysis remains an important challenge. Formal analysis of perception models is fundamentally difficult because their correctness is hard if not impossible to specify. We present a technique for inferring intelligible and safe abstractions for perception models from system-level safety requirements, data, and program analysis of the modules that are downstream from perception. The technique can help tradeoff safety, size, and precision, in creating abstractions and the subsequent verification. We apply the method to two significant case studies based on high-fidelity simulations (a) a vision-based lane keeping controller for an autonomous vehicle and (b) a controller for an agricultural robot. We show how the generated abstractions can be composed with the downstream modules and then the resulting abstract system can be verified using program analysis tools like CBMC. Detailed evaluations of the impacts of size, safety requirements, and the environmental parameters (e.g., lighting, road surface, plant type) on the precision of the generated abstractions suggest that the approach can help guide the search for corner cases and safe operating envelops.
Comments: 12 pages, 9 figures, submitted to HSCC 2022
Subjects: Robotics (cs.RO); Software Engineering (cs.SE)
Cite as: arXiv:2111.05534 [cs.RO]
  (or arXiv:2111.05534v1 [cs.RO] for this version)

Submission history

From: Chiao Hsieh [view email]
[v1] Wed, 10 Nov 2021 05:35:59 GMT (4658kb,D)

Link back to: arXiv, form interface, contact.