A Small Gain Theorem for Parametric Assume-Guarantee Contracts

Eric S. Kim, Murat Arcak, Sanjit A. Seshia. A Small Gain Theorem for Parametric Assume-Guarantee Contracts. In Goran Frehse, Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. pages 207-216, ACM, 2017. [doi]

Authors

Eric S. Kim

This author has not been identified. Look up 'Eric S. Kim' in Google

Murat Arcak

This author has not been identified. Look up 'Murat Arcak' in Google

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google