Alessandro Abate

Cited by

	All	Since 2020
Citations	8276	4789
h-index	49	36
i10-index	168	112

1300

650

325

975

2006200720082009201020112012201320142015201620172018201920202021202220232024202547 33 42 74 93 136 185 238 360 349 317 500 527 529 724 725 890 1107 1203 132

Public access

View all

96 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Sadegh SoudjaniMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Daniel KroeningAmazonVerified email at amazon.com
Shankar SastryUniversity of CaliforniaVerified email at berkeley.edu
John LygerosProf. of Computation and Control, ETH ZurichVerified email at ethz.ch
Hosein HasanbeigMicrosoft ResearchVerified email at microsoft.com
Sofie HaesaertElectrical Engineering Department, TU EindhovenVerified email at tue.nl
Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberVerified email at matematika.its.ac.id
Nathalie CauchiPhD Student, University of OxfordVerified email at cs.ox.ac.uk
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
Wei ZhangProfessor, Department of Mechanical Engineering, Southern University of Science and TechnologyVerified email at sustech.edu.cn
Claire TomlinUC BerkeleyVerified email at berkeley.edu
Jianghai HuSchool of Electrical and Computer Engineering, Purdue UniversityVerified email at purdue.edu
Ilya TkachevTU DelftVerified email at tudelft.nl
Maria PrandiniPolitecnico di MilanoVerified email at polimi.it
Mirco GiacobbeUniversity of BirminghamVerified email at bham.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Alessandro D'InnocenzoAssociate Professor in Automatic Control, University of L'AquilaVerified email at univaq.it
Luca LaurentiTU DelftVerified email at tudelft.nl
Lewis HammondUniversity of OxfordVerified email at cs.ox.ac.uk

Alessandro Abate

Professor of Verification and Control, University of Oxford, UK

Verified email at cs.ox.ac.uk - Homepage

Formal Verification Control Theory Stochastic Hybrid Systems Cyber-Physical Systems Energy and Safety-Critical Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems A Abate, M Prandini, J Lygeros, S Sastry Automatica 44 (11), 2724-2734, 2008	525	2008
Approximate model checking of stochastic hybrid systems A Abate, JP Katoen, J Lygeros, M Prandini European Journal of Control 16 (6), 624-641, 2010	229	2010
On efficient sensor scheduling for linear dynamical systems MP Vitus, W Zhang, A Abate, J Hu, CJ Tomlin Automatica 48 (10), 2482-2493, 2012	173	2012
Symbolic control of stochastic systems via approximately bisimilar finite abstractions M Zamani, PM Esfahani, R Majumdar, A Abate, J Lygeros IEEE Transactions on Automatic Control 59 (12), 3135-3150, 2014	172	2014
Formal synthesis of Lyapunov neural networks A Abate, D Ahmed, M Giacobbe, A Peruffo IEEE Control Systems Letters 5 (3), 773-778, 2020	158	2020
Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees M Hasanbeig, Y Kantaros, A Abate, D Kroening, GJ Pappas, I Lee 2019 IEEE 58th conference on decision and control (CDC), 5338-5343, 2019	155	2019
Exponential stabilization of discrete-time switched linear systems W Zhang, A Abate, J Hu, MP Vitus Automatica 45 (11), 2526-2536, 2009	155	2009
Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes S Esmaeil Zadeh Soudjani, A Abate SIAM Journal on Applied Dynamical Systems 12 (2), 921-956, 2013	147	2013
FAUST: F ormal A bstractions of U ncountable-ST ate ST ochastic Processes SEZ Soudjani, C Gevaerts, A Abate International conference on tools and algorithms for the construction and …, 2015	136	2015
Box invariance in biologically-inspired dynamical systems A Abate, A Tiwari, S Sastry Automatica 45 (7), 1601-1610, 2009	133	2009
Logically-constrained reinforcement learning M Hasanbeig, A Abate, D Kroening arXiv preprint arXiv:1801.08099, 2018	126	2018
On the value functions of the discrete-time switched LQR problem W Zhang, J Hu, A Abate IEEE Transactions on Automatic Control 54 (11), 2669-2674, 2009	119	2009
Aggregation and control of populations of thermostatically controlled loads by formal abstractions SEZ Soudjani, A Abate IEEE Transactions on Control Systems Technology 23 (3), 975-990, 2014	117	2014
Automated verification and synthesis of stochastic hybrid systems: A survey A Lavaei, S Soudjani, A Abate, M Zamani Automatica 146, 110617, 2022	115	2022
Cautious reinforcement learning with logical constraints M Hasanbeig, A Abate, D Kroening arXiv preprint arXiv:2002.12156, 2020	110	2020
Modeling options for demand side participation of thermostatically controlled loads M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ... 2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013	107	2013
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach M Zamani, A Abate, A Girard Automatica 55, 183-196, 2015	99	2015
On the optimal solutions of the infinite-horizon linear sensor scheduling problem L Zhao, W Zhang, J Hu, A Abate, CJ Tomlin IEEE Transactions on Automatic Control 59 (10), 2825-2830, 2014	99	2014
Sufficient conditions for the existence of Zeno behavior AD Ames, A Abate, S Sastry Proceedings of the 44th IEEE Conference on Decision and Control, 696-701, 2005	99	2005
Computational approaches to reachability analysis of stochastic hybrid systems A Abate, S Amin, M Prandini, J Lygeros, S Sastry International Workshop on Hybrid Systems: Computation and Control, 4-17, 2007	98	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors