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)
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)
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)
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)
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)
Probabilistic bisimulations of switching and resetting diffusions
Abate, A
Proceedings of the IEEE Conference on Decision and Control
5918-5923
(01 Jan 2010)
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)
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)
On efficient sensor scheduling for linear dynamical systems
Vitus, M
Zhang, W
Abate, A
Hu, J
Tomlin, C
Proceedings of the 2010 American Control Conference, ACC 2010
4833-4838
(01 Jan 2010)