Alessandro Abate

צוטט על ידי

	הכל	מאז 2019
ציטוטים ביבליוגרפיים	7698	4739
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 724 713 883 1071 806

גישה ציבורית

הצג הכל

93 מאמרים

מאמר אחד

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Sadegh SoudjaniMax Planck Institute for Software Systemsכתובת אימייל מאומתת בדומיין mpi-sws.org
Shankar SastryUniversity of Californiaכתובת אימייל מאומתת בדומיין berkeley.edu
Daniel KroeningAmazonכתובת אימייל מאומתת בדומיין amazon.com
John LygerosProf. of Computation and Control, ETH Zurichכתובת אימייל מאומתת בדומיין ethz.ch
Hosein HasanbeigMicrosoft Researchכתובת אימייל מאומתת בדומיין microsoft.com
Sofie HaesaertElectrical Engineering Department, TU Eindhovenכתובת אימייל מאומתת בדומיין tue.nl
Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh Nopemberכתובת אימייל מאומתת בדומיין matematika.its.ac.id
Nathalie CauchiPhD Student, University of Oxfordכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Majid ZamaniAssociate Professor, University of Colorado Boulderכתובת אימייל מאומתת בדומיין colorado.edu
Wei ZhangProfessor, Department of Mechanical Engineering, Southern University of Science and Technologyכתובת אימייל מאומתת בדומיין sustech.edu.cn
Andrea PeruffoTU Delftכתובת אימייל מאומתת בדומיין tudelft.nl
Claire TomlinUC Berkeleyכתובת אימייל מאומתת בדומיין berkeley.edu
Jianghai HuSchool of Electrical and Computer Engineering, Purdue Universityכתובת אימייל מאומתת בדומיין purdue.edu
Maria PrandiniPolitecnico di Milanoכתובת אימייל מאומתת בדומיין polimi.it
Ilya TkachevTU Delftכתובת אימייל מאומתת בדומיין tudelft.nl
Marta KwiatkowskaProfessor of Computing Systems, University of Oxfordכתובת אימייל מאומתת בדומיין comlab.ox.ac.uk
Mirco GiacobbeUniversity of Birminghamכתובת אימייל מאומתת בדומיין bham.ac.uk
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twenteכתובת אימייל מאומתת בדומיין cs.rwth-aachen.de
Alessandro D'InnocenzoAssociate Professor in Automatic Control, University of L'Aquilaכתובת אימייל מאומתת בדומיין univaq.it
Elizabeth PolgreenLecturer, University of Edinburghכתובת אימייל מאומתת בדומיין ed.ac.uk

עקוב אחר

Alessandro Abate

Professor of Verification and Control, University of Oxford, UK

כתובת אימייל מאומתת בדומיין cs.ox.ac.uk - דף הבית

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


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	505	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‏	171	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‏	131	2020
Box invariance in biologically-inspired dynamical systems‏ A Abate, A Tiwari, S Sastry‏ Automatica 45 (7), 1601-1610, 2009‏	131	2009
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‏	130	2015
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‏	102	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
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
Automated verification and synthesis of stochastic hybrid systems: A survey‏ A Lavaei, S Soudjani, A Abate, M Zamani‏ Automatica 146, 110617, 2022‏	96	2022
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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים