Design and Control for Implementation of Simulation-Based Assume-Guarantee Contracts

Brayan M. Shali, Arjan J. van der Schaft, Bart Besselink. Design and Control for Implementation of Simulation-Based Assume-Guarantee Contracts. IEEE Trans. Automat. Contr., 71(1):65-80, January 2026. [doi]

Abstract

Abstract is missing.