Publication
-
Control to facet by piecewise-affine output feedback Article
IEEE Transactions on Automatic Control, 2831-2843.January 2012 -
January 2012
-
January 2012
-
Formal design and verification of long-running transactions with eclipse coordination tools Article
IEEE Transactions on Services ComputingJanuary 2012 -
January 2012
-
January 2012
-
On conditional decomposability Article
Systems & Control Letters, 1260-1268.January 2012 -
January 2012