Alessandro Abate

Cited by

	All	Since 2019
Citations	7726	4768
h-index	47	36
i10-index	160	111

1100

550

275

825

200620072008200920102011201220132014201520162017201820192020202120222023202447 33 42 74 93 137 186 235 360 349 315 500 526 530 722 713 883 1072 836

Public access

View all

93 articles

1 article

available

not available

Based on funding mandates

Co-authors

Sadegh SoudjaniMax Planck Institute for Software SystemsVerified email at mpi-sws.org
Shankar SastryUniversity of CaliforniaVerified email at berkeley.edu
Daniel KroeningAmazonVerified email at amazon.com
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
Andrea PeruffoTU DelftVerified email at tudelft.nl
Claire TomlinUC BerkeleyVerified email at berkeley.edu
Jianghai HuSchool of Electrical and Computer Engineering, Purdue UniversityVerified email at purdue.edu
Maria PrandiniPolitecnico di MilanoVerified email at polimi.it
Ilya TkachevTU DelftVerified email at tudelft.nl
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Mirco GiacobbeUniversity of BirminghamVerified email at bham.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
Elizabeth PolgreenLecturer, University of EdinburghVerified email at ed.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	507	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	219	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	172	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	168	2014
Exponential stabilization of discrete-time switched linear systems W Zhang, A Abate, J Hu, MP Vitus Automatica 45 (11), 2526-2536, 2009	154	2009
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	143	2019
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	143	2013
Formal synthesis of Lyapunov neural networks A Abate, D Ahmed, M Giacobbe, A Peruffo IEEE Control Systems Letters 5 (3), 773-778, 2020	133	2020
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	131	2015
Box invariance in biologically-inspired dynamical systems A Abate, A Tiwari, S Sastry Automatica 45 (7), 1601-1610, 2009	131	2009
Logically-constrained reinforcement learning M Hasanbeig, A Abate, D Kroening arXiv preprint arXiv:1801.08099, 2018	122	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	112	2014
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	106	2013
Cautious reinforcement learning with logical constraints M Hasanbeig, A Abate, D Kroening arXiv preprint arXiv:2002.12156, 2020	103	2020
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
Automated verification and synthesis of stochastic hybrid systems: A survey A Lavaei, S Soudjani, A Abate, M Zamani Automatica 146, 110617, 2022	97	2022
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	97	2007
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach M Zamani, A Abate, A Girard Automatica 55, 183-196, 2015	96	2015

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