On infinite horizon switched LQR problems with state and control constraints
Balandat, M
Zhang, W
Abate, A
Systems and Control Letters
volume 61
issue 4
464-471
(2012)
Design and analysis of a flow control scheme over wirelessnetworks
Abate, A
Chen, M
Wang, Y
Zakhor, A
Sastry, S
International Journal of Robust and Nonlinear Control
(2011)
Approximate abstractions of stochastic hybrid systems
Abate, A
D'Innocenzo, A
Di Benedetto, M
IEEE Transactions on Automatic Control
volume 56
issue 11
2688-2694
(01 Nov 2011)
doi:10.1109/TAC.2011.2160595
Adaptive gridding for abstraction and verification of stochastic hybrid systems
Soudjani, S
Abate, A
Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011
59-68
(02 Nov 2011)
doi:10.1109/QEST.2011.16
On the value functions of the discrete-time switched LQR problem
Zhang, W
Hu, J
Abate, A
IEEE Transactions on Automatic Control
volume 54
issue 11
2669-2674
(01 Nov 2009)
doi:10.1109/TAC.2009.2031574
On the optimal solutions of the infinite-horizon linear sensor scheduling problem
Zhang, W
Vitus, M
Hu, J
Abate, A
Tomlin, C
Proceedings of the IEEE Conference on Decision and Control
396-401
(01 Jan 2010)
doi:10.1109/CDC.2010.5717163
On sensor scheduling of linear dynamical systems with error bounds
Vitus, M
Zhang, W
Abate, A
Hu, J
Tomlin, C
Proceedings of the IEEE Conference on Decision and Control
1318-1323
(01 Jan 2010)
doi:10.1109/CDC.2010.5717207
Probabilistic bisimulations of switching and resetting diffusions
Abate, A
Proceedings of the IEEE Conference on Decision and Control
5918-5923
(01 Jan 2010)
doi:10.1109/CDC.2010.5717751
Approximate model checking of stochastic hybrid systems
Abate, A
Katoen, J
Lygeros, J
Prandini, M
European Journal of Control
volume 16
issue 6
624-641
(01 Jan 2010)
doi:10.3166/ejc.16.624-641
Versatile spectral methods for point set matching
Silletti, A
Abate, A
Axelrod, J
Tomlin, C
Pattern Recognition Letters
volume 32
issue 5
731-739
(01 Apr 2011)
doi:10.1016/j.patrec.2010.11.022