Emilia Villani

• Modelling and analysis of hybrid supervisory systems