Nejati, Ameneh, and Majid Zamani. 2022. “From Dissipativity Theory to Compositional Construction of Control Barrier Certificates”. Leibniz Transactions on Embedded Systems 8 (2). Wadern, Germany:06:1-06:17. https://doi.org/10.4230/LITES.8.2.6.