Etika Agarwal, Sivaranjani S., Vijay Gupta 0001, Panos J. Antsaklis. Compositional Verification of Passivity for Cascade Interconnected Nonlinear Systems. In 28th Mediterranean Conference on Control and Automation, MED 2020, Saint-Raphaël, France, September 15-18, 2020. pages 319-324, IEEE, 2020. [doi]
Abstract is missing.