A Dissipativity Approach to Safety Verification for Interconnected Systems

Samuel Coogan, Murat Arcak. A Dissipativity Approach to Safety Verification for Interconnected Systems. IEEE Trans. Automat. Contr., 60(6):1722-1727, 2015. [doi]

Abstract

Abstract is missing.