Compositional synthesis of almost maximally permissible safety controllers

Siyuan Liu, Majid Zamani. Compositional synthesis of almost maximally permissible safety controllers. In 2019 American Control Conference, ACC 2019, Philadelphia, PA, USA, July 10-12, 2019. pages 1678-1683, IEEE, 2019. [doi]

Abstract

Abstract is missing.