Numerical verification of local input-to-state stability for large networks | IEEE Conference Publication | IEEE Xplore