Related references
Note: Only part of the references are listed.An Effective Integrity Monitoring Scheme for GNSS/INS/Vision Integration Based on Error State EKF Model
Haitao Jiang et al.
IEEE SENSORS JOURNAL (2022)
Integrity Monitoring of GNSS/INS Based Positioning Systems for Autonomous Vehicles: State-of-the-Art and Open Challenges
Hao Jing et al.
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS (2022)
Euclidean Distance Matrix-Based Rapid Fault Detection and Exclusion
Derek Knowles et al.
NAVIGATION-JOURNAL OF THE INSTITUTE OF NAVIGATION (2022)
TEASER: Fast and Certifiable Point Cloud Registration
Heng Yang et al.
IEEE TRANSACTIONS ON ROBOTICS (2021)
Run-Time Monitoring of Machine Learning for Robotic Perception: A Survey of Emerging Trends
Quazi Marufur Rahman et al.
IEEE ACCESS (2021)
Applications of machine learning to machine fault diagnosis: A review and roadmap
Yaguo Lei et al.
MECHANICAL SYSTEMS AND SIGNAL PROCESSING (2020)
Attacking vision-based perception in end-to-end autonomous driving models
Adith Boloor et al.
JOURNAL OF SYSTEMS ARCHITECTURE (2020)
Control in belief space with temporal logic specifications using vision-based localization
Kevin Leahy et al.
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH (2019)
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Matt Luckcuck et al.
ACM COMPUTING SURVEYS (2019)
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic
Susmit Jha et al.
JOURNAL OF AUTOMATED REASONING (2018)
Threat of Adversarial Attacks on Deep Learning in Computer Vision: A Survey
Naveed Akhtar et al.
IEEE ACCESS (2018)
Bayesian Networks in Fault Diagnosis
Baoping Cai et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2017)
Formal verification of obstacle avoidance and navigation of ground robots
Stefan Mitsch et al.
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH (2017)
Integrity monitoring of vehicle positioning in urban environment using RTK-GNSS, IMU and speedometer
Ahmed El-Mowafy et al.
MEASUREMENT SCIENCE AND TECHNOLOGY (2017)
On Implementing 2D Rectangular Assignment Algorithms
David F. Crouse
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS (2016)
Past, Present, and Future of Simultaneous Localization and Mapping: Toward the Robust-Perception Age
Cesar Cadena et al.
IEEE TRANSACTIONS ON ROBOTICS (2016)
Driving to safety: How many miles of driving would it take to demonstrate autonomous vehicle reliability?
Nidhi Kalra et al.
TRANSPORTATION RESEARCH PART A-POLICY AND PRACTICE (2016)
Challenges in Autonomous Vehicle Testing and Validation
Philip Koopman et al.
SAE INTERNATIONAL JOURNAL OF TRANSPORTATION SAFETY (2016)
Overview of fault diagnosis methods for Discrete Event Systems
J. Zaytoon et al.
ANNUAL REVIEWS IN CONTROL (2013)
Attack Detection and Identification in Cyber-Physical Systems
Fabio Pasqualetti et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2013)
A fully automated framework for control of linear systems from temporal, logic specifications
Marius Kloetzer et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)