Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

Fully formal verification of perception models is likely to remain challenging in the foreseeable future, and yet these models are being integrated into safety-critical control systems. We present a practical method for reasoning about the safety of such systems. Our method is based on systematicall...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on computer-aided design of integrated circuits and systems Vol. 41; no. 11; pp. 4205 - 4216
Main Authors:	Hsieh, Chiao, Li, Yangge, Sun, Dawei, Joshi, Keyur, Misailovic, Sasa, Mitra, Sayan
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.11.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Abstraction Aerospace electronics Analytical models Approximation Artificial neural networks autonomous systems Computational modeling Control systems Controllers Empirical analysis Feedback control formal verification Integrated circuit modeling Modules Perception Safety Safety critical Tracking control Verification vision-based control
ISSN:	0278-0070, 1937-4151
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!