Alessandro Abate

Cited by

	All	Since 2018
Citations	5923	3487
h-index	40	32
i10-index	138	98

920

460

230

690

20062007200820092010201120122013201420152016201720182019202020212022202346 35 42 73 93 135 182 237 369 348 314 502 521 516 710 742 905 88

Public access

View all

67 articles

1 article

available

not available

Based on funding mandates

Co-authors

Shankar SastryUniversity of CaliforniaVerified email at berkeley.edu
Sadegh SoudjaniReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at ncl.ac.uk
John LygerosProf. of Computation and Control, ETH ZurichVerified email at ethz.ch
Daniel KroeningAmazonVerified email at amazon.com
Sofie HaesaertElectrical Engineering Department, TU EindhovenVerified email at tue.nl
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
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
Hosein HasanbeigResearcherVerified email at cs.ox.ac.uk
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
Alessandro D'InnocenzoAssistant Professor in Automatic Control, University of L'AquilaVerified email at univaq.it
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Andrea PeruffoTU DelftVerified email at tudelft.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Elizabeth PolgreenLecturer, University of EdinburghVerified email at cs.ox.ac.uk

Alessandro Abate

Professor of Verification and Control, University of Oxford

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	426	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	202	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	151	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	142	2014
Exponential stabilization of discrete-time switched linear systems W Zhang, A Abate, J Hu, MP Vitus Automatica 45 (11), 2526-2536, 2009	138	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	124	2013
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	111	2009
FAUST : Formal Abstractions of Uncountable-STate STochastic Processes SEZ Soudjani, C Gevaerts, A Abate Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	109	2015
Box invariance in biologically-inspired dynamical systems A Abate, A Tiwari, S Sastry Automatica 45 (7), 1601-1610, 2009	109	2009
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	103	2013
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	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	93	2005
Computational approaches to reachability analysis of stochastic hybrid systems A Abate, S Amin, M Prandini, J Lygeros, S Sastry Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007	91	2007
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	87	2014
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	86	2019
Logically-constrained reinforcement learning M Hasanbeig, A Abate, D Kroening arXiv preprint arXiv:1801.08099, 2018	84	2018
Infinite-horizon switched LQR problems in discrete time: A suboptimal algorithm with performance analysis W Zhang, J Hu, A Abate IEEE Transactions on Automatic Control 57 (7), 1815-1821, 2011	84	2011
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach M Zamani, A Abate, A Girard Automatica 55, 183-196, 2015	83	2015
Approximate abstractions of stochastic hybrid systems A Abate, A D'Innocenzo, MD Di Benedetto IEEE Transactions on Automatic Control 56 (11), 2688-2694, 2011	77	2011
Cell packing influences planar cell polarity signaling D Ma, K Amonlirdviman, RL Raffard, A Abate, CJ Tomlin, JD Axelrod Proceedings of the National Academy of Sciences 105 (48), 18800-18805, 2008	67	2008

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