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
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)
doi:10.1109/acc.2010.5530899
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)
doi:10.1109/CDC.2009.5400334
On piecewise quadratic control-Lyapunov functions for switched linear systems
Zhang, W
Abate, A
Vitus, M
Hu, J
Proceedings of the IEEE Conference on Decision and Control
1088-1093
(01 Jan 2009)
doi:10.1109/CDC.2009.5400642
Approximation of general stochastic hybrid systems by switching diffusions with randomhybrid jumps
Abate, A
Prandini, M
Lygeros, J
Sastry, S
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
volume 4981 LNCS
598-601
(01 Jan 2008)
doi:10.1007/978-3-540-78929-1_43
Efficient suboptimal solutions of switched LQR problems
Zhang, W
Abate, A
Hu, J
Proceedings of the American Control Conference
1084-1091
(23 Nov 2009)
doi:10.1109/ACC.2009.5160616
Probabilistic safety and optimal control for survival analysis of Bacillus subtilis
Abate, A
Lygeros, J
Sastry, S
Systems and Control Letters
volume 59
issue 1
79-85
(01 Jan 2010)
doi:10.1016/j.sysconle.2009.12.003