Author:Alessandro Abate

Publications

Keyphrases

Building Automation Systems, control synthesis, probabilistic reachability analysis, probabilistic safety, simulation, stochastic hybrid systems, stochastic models, Thermal modelling.