AMBI team consists of one industrial and three academic institutions. Academic partners provide advanced methodology: groups from TU Delft and University of Oxford expertise on Stochastic Hybrid Systems, Formal Verification and Stochastic Optimal Control, group from TU Dresden expertise on Ontology, Virtual Sensors and Predictive Maintenance. Honeywell, one of the top five building automation manufacturers worldwide, helps understand commercial aspects and validates proposed methods on relevant data.