My research interests lie on the analysis, verification, and optimal control of heterogeneous and complex dynamical models -- in particular of stochastic hybrid systems -- and in their applications in cyber-physical systems (particularly involving energy networks) and in the life sciences (systems biology). I am interested in a principled integration of model-based mathematical techniques with data-driven learning algorithms.
I am Professor of Verification and Control in the Department of Computer Science at the University of Oxford. Earlier, I have done research at SRI International and at Stanford University, and have been an Assistant Professor at the Delft Center for Systems and Control, TU Delft. I have received a Laurea degree from the University of Padova and a MS/PhD at UC Berkeley.
Data−efficient Verification of Parametric Markov Chains
A. Abate E. Polgreen V. Wijesuriya S. Haesaert
In Quantitative Evaluation of SysTems (QEST). 2016.
A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks
A. Abate‚ S. Vincent‚ R. Dobbe‚ A. Silletti‚ N. Master‚ J. Axelrod and C. Tomlin
In IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). Vol. 9. Pages 1607−1620. 2012.
Approximate Model Checking of Stochastic Hybrid Systems
A. Abate‚ J.P. Katoen‚ J. Lygeros and M. Prandini
In European Journal of Control. Vol. 16. No. 6. Pages 624−641. 2010.