Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems

Ameneh Nejati, Sadegh Soudjani, Majid Zamani. Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control, 57:82-94, 2021. [doi]

Authors

Ameneh Nejati

This author has not been identified. Look up 'Ameneh Nejati' in Google

Sadegh Soudjani

This author has not been identified. Look up 'Sadegh Soudjani' in Google

Majid Zamani

This author has not been identified. Look up 'Majid Zamani' in Google