A Small Gain Theorem for Parametric Assume-Guarantee Contracts (Q5275333)
From MaRDI portal
scientific article; zbMATH DE number 6741677
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Small Gain Theorem for Parametric Assume-Guarantee Contracts |
scientific article; zbMATH DE number 6741677 |
Statements
A Small Gain Theorem for Parametric Assume-Guarantee Contracts (English)
0 references
11 July 2017
0 references
assume-guarantee contracts
0 references
parametric temporal logic
0 references
robustness
0 references
small-gain theorem
0 references
