DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops-Reference-Cited by-同舟云学术

DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops

Published:2023 Issue: Volume:7 Page:1622-1627
ISSN:2475-1456
Container-title:IEEE Control Systems Letters
language:
Short-container-title:IEEE Control Syst. Lett.

Author:

Everett Michael¹^ORCID,Bunel Rudy²^ORCID,Omidshafiei Shayegan³

Affiliation:

1. Google Research, Cambridge, MA, USA

2. DeepMind, London, U.K

3. People & AI Research, Google Research, Cambridge, MA, USA

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Control and Optimization,Control and Systems Engineering

Link

http://xplorestaging.ieee.org/ielx7/7782633/9828546/10078352.pdf?arnumber=10078352

Reference20 articles.

1. Jax_verify;DeepMind,2020

2. Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming;dathathri;Proc Adv Neural Inf Process Syst,2020

3. Polyhedron manipulation in Python;caron,2023

4. Efficient neural network robustness certification with general activation functions;zhang;Proc Adv Neural Inf Process Syst (NeurIPS),2018

5. Overcoming the convex barrier for simplex inputs;behl;Proc Adv Neural Inf Process Syst,2021

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Inverse Problem for Neural Networks;Bridging the Gap Between AI and Reality;2023-12-14

2. Economical Design of Drip Irrigation Control System Management Based on the Chaos Beetle Search Algorithm;Processes;2023-12-13

3. Guest Editorial Introduction to the IEEE Control Systems Letters Special Section on Data-Driven Analysis and Control;IEEE Control Systems Letters;2023

4. Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems;IEEE Open Journal of Control Systems;2023