Interval Image Abstraction for Verification of Camera-Based Autonomous Systems

IF 2.7 3区计算机科学 Q2 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Pub Date : 2024-11-06 DOI:10.1109/TCAD.2024.3448306

P. Habeeb;Deepak D’Souza;Kamal Lodaya;Pavithra Prabhakar

引用次数: 0

Abstract

We propose an abstraction-refinement-based algorithm for the problem of verifying the safety of a camera-based autonomous system in a synthetic 3D-scene, based on the notion of interval images. An interval image is an abstract data structure that represents a set of images in a 3D-scene. We give a computer graphics style rendering algorithm to efficiently compute interval images from a given region. Our proposed abstraction-refinement algorithm leverages recent abstract interpretation tools for neural networks. We have implemented and evaluated the proposed technique on complex 3D-scenes, demonstrating its effectiveness and scalability in comparison with earlier techniques.

查看原文本刊更多论文

验证基于摄像头的自主系统的间隔图像抽象

针对在合成三维场景中验证基于摄像头的自主系统安全性的问题，我们提出了一种基于区间图像概念的抽象-重构算法。区间图像是一种抽象数据结构，代表三维场景中的一组图像。我们给出了一种计算机图形风格的渲染算法，可从给定区域高效计算区间图像。我们提出的抽象-细化算法利用了最新的神经网络抽象解释工具。我们在复杂的三维场景中实施并评估了所提出的技术，与早期的技术相比，证明了它的有效性和可扩展性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 工程技术-工程：电子与电气

CiteScore

5.60

自引率

13.80%

发文量

500

审稿时长

7 months

期刊介绍： The purpose of this Transactions is to publish papers of interest to individuals in the area of computer-aided design of integrated circuits and systems composed of analog, digital, mixed-signal, optical, or microwave components. The aids include methods, models, algorithms, and man-machine interfaces for system-level, physical and logical design including: planning, synthesis, partitioning, modeling, simulation, layout, verification, testing, hardware-software co-design and documentation of integrated circuit and system designs of all complexities. Design tools and techniques for evaluating and designing integrated circuits and systems for metrics such as performance, power, reliability, testability, and security are a focus.