Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems

Ameneh Nejati, Sadegh Soudjani, Majid Zamani. Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control Systems Letters, 4(4):845-850, 2020. [doi]

Abstract

Abstract is missing.