Brayan M. Shali, H. M. Heidema, A. J. van der Schaft, Bart Besselink. Series composition of simulation-based assume-guarantee contracts for linear dynamical systems. In 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, December 6-9, 2022. pages 2204-2209, IEEE, 2022. [doi]
Abstract is missing.