Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification

DOI10.1016/j.artint.2023.103998zbMath1530.93308arXiv2205.10906OpenAlexW4386571105MaRDI QIDQ6067035

Luca Carlone, Heath G. Nilsen, Pasquale Antonante

Publication date: 14 December 2023

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2205.10906

zbMATH Keywords

safetyperceptionautonomous vehiclesruntime monitoring

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Safe autonomy under perception uncertainty using chance-constrained temporal logic
• Diagnosing multiple faults
• Finding MAPs for belief networks is NP-hard
• Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
• Structured Learning and Prediction in Computer Vision
• Characterization of Connection Assignment of Diagnosable Systems
• Diagnosability of discrete-event systems
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Attack Detection and Identification in Cyber-Physical Systems
• On self-diagnosable multiprocessor systems: diagnosis by the comparison approach
• Optimization of Reduced Dependencies for Synchronous Sequential Machines