Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl Henrik Johansson. Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. In Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate, editors, 7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021. Volume 54 of IFAC-PapersOnLine, pages 25-30, Elsevier, 2021. [doi]
Abstract is missing.