no code implementations • 14 Dec 2020 • Ameneh Nejati, Sadegh Soudjani, Majid Zamani
In this work, we propose a compositional framework for the construction of control barrier functions for networks of continuous-time stochastic hybrid systems enforcing complex logic specifications expressed by finite-state automata.