Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
This work introduces an efficient approach to compute the reachable sets for convolutional neural networks.
Mar 13, 2025
Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models
This work introduces a novel approach to compute the over-approximation of backward reachable sets for neural feedback systems with non-linear plant models and general activation functions.
Sep 5, 2024
Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes
This paper presents novel hybrid zonotope-based methods for the reachability analysis and safety verification of neural feedback systems. Algorithms are proposed to compute the input-output relationship of each layer of a feed-forward neural network, as well as the exact reachable sets of neural feedback systems.
Jul 3, 2023
Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes
A novel set-based method is proposed to compute both exact and over-approximated reachable sets for neural feedback systems.
Jan 10, 2023
Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties
This paper presents a framework for designing provably safe feedback controllers for sampled-data control affine systems with measurement and actuation uncertainties.
Sep 5, 2022
Falsification of a Vision-based Automatic Landing System
In this paper, we study falsification of an automatic landing system for fixed-wing aircraft using a camera as its main sensor.
Jan 4, 2021
A Software Architecture for Autonomous Taxiing of Aircraft
In this paper we describe a high-level software architecture for self-taxiing, and we identify its specific challenges.
Jan 5, 2020