Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
 Soudjani, S Abate, A SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS volume 12 issue 2 921-956 (2013) doi:10.1137/120871456
On infinite-horizon probabilistic properties and stochastic bisimulation functions
 Tkachev, I Abate, A Proceedings of the IEEE Conference on Decision and Control 526-531 (01 Jan 2011) doi:10.1109/CDC.2011.6160617
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis
 Kamgarpour, M Ding, J Summers, S Abate, A Lygeros, J Tomlin, C Proceedings of the IEEE Conference on Decision and Control 6122-6127 (01 Jan 2011) doi:10.1109/CDC.2011.6161218
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 (01 Apr 2012) doi:10.1016/j.sysconle.2012.01.011
Regularization of bellman equations for infinite-horizon probabilistic properties
 Tkachev, I Abate, A HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control 227-236 (10 May 2012) doi:10.1145/2185632.2185666
Robust PCTL model checking
 D'innocenzo, A Abate, A Katoen, J HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control 275-285 (10 May 2012) doi:10.1145/2185632.2185673
Probabilistic invariance of mixed deterministic-stochastic dynamical systems
 Zadeh Soudjani, S Abate, A HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control 207-216 (10 May 2012) doi:10.1145/2185632.2185664
Infinite-horizon switched LQR problems in discrete time: A suboptimal algorithm with performance analysis
 Zhang, W Hu, J Abate, A IEEE Transactions on Automatic Control volume 57 issue 7 1815-1821 (03 Jul 2012) doi:10.1109/TAC.2011.2178649
Piecewise affine approximations of fluxes and enzyme kinetics from in vivo <sup>13</sup>C labeling experiments
 Abate, A Hillen, R Aljoscha Wahl, S International Journal of Robust and Nonlinear Control volume 22 issue 10 1120-1139 (10 Jul 2012) doi:10.1002/rnc.2798
On efficient sensor scheduling for linear dynamical systems
 Vitus, M Zhang, W Abate, A Hu, J Tomlin, C Automatica volume 48 issue 10 2482-2493 (01 Oct 2012) doi:10.1016/j.automatica.2012.06.092
Subscribe to