Alessandro Abate
Alessandro Abate
Professor of Verification and Control, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
TitleCited byYear
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
3232008
Approximate model checking of stochastic hybrid systems
A Abate, JP Katoen, J Lygeros, M Prandini
European Journal of Control 16 (6), 624-641, 2010
1512010
Exponential stabilization of discrete-time switched linear systems
W Zhang, A Abate, J Hu, MP Vitus
Automatica 45 (11), 2526-2536, 2009
1062009
On efficient sensor scheduling for linear dynamical systems
MP Vitus, W Zhang, A Abate, J Hu, CJ Tomlin
Automatica 48 (10), 2482-2493, 2012
1052012
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
872014
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
812013
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
802009
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
782013
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
762007
Box invariance in biologically-inspired dynamical systems
A Abate, A Tiwari, S Sastry
Automatica 45 (7), 1601-1610, 2009
712009
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
702005
Approximate abstractions of stochastic hybrid systems
A Abate, A D'Innocenzo, MD Di Benedetto
IEEE Transactions on Automatic Control 56 (11), 2688-2694, 2011
642011
Reachability analysis for controlled discrete time stochastic hybrid systems
S Amin, A Abate, M Prandini, J Lygeros, S Sastry
International Workshop on Hybrid Systems: Computation and Control, 49-63, 2006
612006
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
592011
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
592008
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
572014
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
542014
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
M Zamani, A Abate, A Girard
Automatica 55, 183-196, 2015
512015
F A U ST: Formal Abstractions of Uncountable- STate STochastic Processes
SEZ Soudjani, C Gevaerts, A Abate
International Conference on Tools and Algorithms for the Construction and …, 2015
49*2015
Do weather conditions influence the onset of renal colic? A novel approach to analysis
R Boscolo-Berto, F Dal Moro, A Abate, G Arandjelovic, F Tosato, PF Bassi
Urologia internationalis 80 (1), 19-25, 2008
482008
The system can't perform the operation now. Try again later.
Articles 1–20