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)
Drop formation in non-planar microfluidic devices
Rotem, A
Abate, A
Utada, A
Van Steijn, V
Weitz, D
Lab on a Chip
volume 12
issue 21
4263-4268
(07 Nov 2012)
Modeling and simulation of a microgrid as a stochastic hybrid system
Strelec, M
MacEk, K
Abate, A
IEEE PES Innovative Smart Grid Technologies Conference Europe
(01 Dec 2012)
Stability and attractivity of absorbing sets for discrete-time Markov processes
Tkachev, I
Abate, A
Proceedings of the IEEE Conference on Decision and Control
7652-7657
(01 Jan 2012)
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
Tkachev, I
Abate, A
HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013
volume 1
283-292
(01 Dec 2012)