27 citations · 94 across the 13 of their papers we have counts for
4 papers · 1 filter
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…
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…
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems
Chao Huang, Shichao Xu, Zhilu Wang +3
Control schemes for autonomous systems are often designed in a way that anticipates the worst case in any situation. At runtime, however, there could exist opportunities to leverag…
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…