works on
face lattice 1feed-forward networks 1neural network verification 1polytope methods 1reachability analysis 1relu activation 1

From the 1 of 13 linked papers with an AI index.

activity
20172022
most citedReachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

70 citations · 98 across the 10 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2021

Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems with Ranged Dwell Time

Weiming Xiang

This paper deals with the stability analysis problem of discrete-time switched linear systems with ranged dwell time. A novel concept called L-switching-cycle is proposed, which co…