Emilia Villani

Modelling and analysis of hybrid supervisory systems