27 citations · 52 across the 6 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems
Yixuan Wang, Weichao Zhou, Jiameng Fan +6
Neural networks (NNs) playing the role of controllers have demonstrated impressive empirical performances on challenging control problems. However, the potential adoption of NN con…
eess.SY2021★ 5 cited
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
Chao Huang, Jiameng Fan, Zhilu Wang +6
We present POLAR, a polynomial arithmetic-based framework for efficient bounded-time reachability analysis of neural-network controlled systems (NNCSs). Existing approaches that le…
eess.SY2019★ 27 cited
ReachNN: Reachability Analysis of Neural-Network Controlled Systems
Chao Huang, Jiameng Fan, Wenchao Li +2
Applying neural networks as controllers in dynamical systems has shown great promises. However, it is critical yet challenging to verify the safety of such control systems with neu…