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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on computer-aided design of integrated circuits and systems Ročník 41; číslo 11; s. 4205 - 4216
Hlavní autoři:	Hsieh, Chiao, Li, Yangge, Sun, Dawei, Joshi, Keyur, Misailovic, Sasa, Mitra, Sayan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.11.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!