Plug-and-Play Distributed Safety Verification for Linear Control Systems With Bounded Uncertainties | IEEE Journals & Magazine | IEEE Xplore