Nejati, Ameneh, and Majid Zamani. “From Dissipativity Theory to Compositional Construction of Control Barrier Certificates”. Leibniz Transactions on Embedded Systems 8, no. 2 (December 7, 2022): 06:1–06:17. Accessed June 6, 2023. https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a006.