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)
Efficient suboptimal solutions of switched LQR problems
Zhang, W
Abate, A
Hu, J
Proceedings of the 2010 American Control Conference
1084-1091
(01 Jan 2009)
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)
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach
Zhang, W
Abate, A
Hu, J
Lecture Notes in Computer Science
volume 5469
411-425
(2009)