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)
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)
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)
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)
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)
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)
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)
A toolkit to enable hydrocarbon conversion in aqueous environments
Brinkman, E
Schipper, K
Bongaerts, N
Voges, M
Abate, A
Aljoscha Wahl, S
Journal of Visualized Experiments
issue 68
(02 Oct 2012)
Higher-order approximations for verification of stochastic hybrid systems
Esmaeil Zadeh Soudjani, S
Abate, A
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 7561 LNCS
416-434
(06 Nov 2012)
Abstraction and verification of autonomous Max-Plus-Linear systems
Adzkiya, D
De Schutter, B
Abate, A
Proceedings of the American Control Conference
721-726
(01 Jan 2012)