A Small Gain Theorem for Parametric Assume-Guarantee Contracts
| Title | A Small Gain Theorem for Parametric Assume-Guarantee Contracts |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Kim, Eric S., Arcak, Murat, Seshia, Sanjit A. |
| Conference Name | Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control |
| Conference Location | Pittsburgh, Pennsylvania |
| Keywords | 1446145 |
| URL | http://doi.acm.org/10.1145/3049797.3049805 |
| DOI | 10.1145/3049797.3049805 |
| Citation Key | KimArcSes17 |