Concepedia

Alessandro Abate

AA

Statistics

Publications

118

Citations

4.8K

H-Index

37

Active since

2004

Affiliations

University of Oxford(Current)

Delft University of Technology

University of California, Berkeley

Stanford University

ETH Zurich

Alessandro Abate is an author at University of Oxford specializing in computer science, systems engineering, and engineering.

Publications per year

2004–2024

117

Publications

118

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

Alessandro Abate, Maria Prandini, John Lygeros et al. · Automatica · 2008 · 443 citations

Engineering, Mathematics, Systems Engineering +12

Approximate Model Checking of Stochastic Hybrid Systems

Alessandro Abate, Joost-Pieter Katoen, John Lygeros et al. · European Journal of Control · 2010 · 187 citations

Engineering, Computer Science, Systems Engineering +13

Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions

Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar et al. · IEEE Transactions on Automatic Control · 2014 · 160 citations

Engineering, Computer Science, Systems Engineering +17

Exponential stabilization of discrete-time switched linear systems

Wei Zhang, Alessandro Abate, Jianghai Hu et al. · Automatica · 2009 · 140 citations

Natural Sciences, Mathematics, Systems Engineering +12

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

Sadegh Soudjani, Alessandro Abate · SIAM Journal on Applied Dynamical Systems · 2013 · 131 citations

Engineering, Systems Engineering, Formal Methods +16

1–5 of 118