A Small Gain Theorem for Parametric Assume-Guarantee Contracts
DOI10.1145/3049797.3049805zbMath1366.68174OpenAlexW2606327778MaRDI QIDQ5275333
Arcak, Murat, Sanjit A. Seshia, Eric S. Kim
Publication date: 11 July 2017
Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3049797.3049805
Input-output approaches in control theory (93D25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (1)
This page was built for publication: A Small Gain Theorem for Parametric Assume-Guarantee Contracts
