A Dissipativity Approach to Safety Verification for Interconnected Systems | IEEE Journals & Magazine | IEEE Xplore