Alessandro Abate

Citado por

	Total	Desde 2019
Citas	8093	5127
Índice h	49	37
Índice i10	166	118

1200

600

300

900

200620072008200920102011201220132014201520162017201820192020202120222023202447 33 42 74 93 137 185 238 359 350 315 500 526 530 722 723 886 1091 1147

Acceso público

Ver todo

94 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Sadegh SoudjaniMax Planck Institute for Software SystemsDirección de correo verificada de mpi-sws.org
Daniel KroeningAmazonDirección de correo verificada de amazon.com
Shankar SastryUniversity of CaliforniaDirección de correo verificada de berkeley.edu
John LygerosProf. of Computation and Control, ETH ZurichDirección de correo verificada de ethz.ch
Hosein HasanbeigMicrosoft ResearchDirección de correo verificada de microsoft.com
Sofie HaesaertElectrical Engineering Department, TU EindhovenDirección de correo verificada de tue.nl
Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberDirección de correo verificada de matematika.its.ac.id
Nathalie CauchiPhD Student, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Majid ZamaniAssociate Professor, University of Colorado BoulderDirección de correo verificada de colorado.edu
Andrea PeruffoTU DelftDirección de correo verificada de tudelft.nl
Wei ZhangProfessor, Department of Mechanical Engineering, Southern University of Science and TechnologyDirección de correo verificada de sustech.edu.cn
Claire TomlinUC BerkeleyDirección de correo verificada de berkeley.edu
Jianghai HuSchool of Electrical and Computer Engineering, Purdue UniversityDirección de correo verificada de purdue.edu
Maria PrandiniPolitecnico di MilanoDirección de correo verificada de polimi.it
Ilya TkachevTU DelftDirección de correo verificada de tudelft.nl
Mirco GiacobbeUniversity of BirminghamDirección de correo verificada de bham.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordDirección de correo verificada de comlab.ox.ac.uk
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
Alessandro D'InnocenzoAssociate Professor in Automatic Control, University of L'AquilaDirección de correo verificada de univaq.it
Lewis HammondUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk

Seguir

Alessandro Abate

Professor of Verification and Control, University of Oxford, UK

Dirección de correo verificada de cs.ox.ac.uk - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	519	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	226	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	170	2014
Exponential stabilization of discrete-time switched linear systems W Zhang, A Abate, J Hu, MP Vitus Automatica 45 (11), 2526-2536, 2009	155	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	151	2019
Formal synthesis of Lyapunov neural networks A Abate, D Ahmed, M Giacobbe, A Peruffo IEEE Control Systems Letters 5 (3), 773-778, 2020	148	2020
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	146	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	134	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	123	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	115	2014
Automated verification and synthesis of stochastic hybrid systems: A survey A Lavaei, S Soudjani, A Abate, M Zamani Automatica 146, 110617, 2022	108	2022
Cautious reinforcement learning with logical constraints M Hasanbeig, A Abate, D Kroening arXiv preprint arXiv:2002.12156, 2020	108	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	106	2013
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
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach M Zamani, A Abate, A Girard Automatica 55, 183-196, 2015	98	2015
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores