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)
A contractivity approach for probabilistic bisimulations of diffusion processes
Abate, A
Proceedings of the IEEE Conference on Decision and Control
2230-2235
(01 Jan 2009)
On Piecewise Quadratic Control-Lyapunov Functions for Switched Linear Systems
Zhang, W
Abate, A
Vitus, M
Hu, J
1088-1093
(01 Dec 2009)
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps
Abate, A
Prandini, M
Lygeros, J
Sastry, S
Lecture Notes in Computer Science
volume 4981
598-601
(2008)