Ctr1
l:i ù <;. l r;-;:F)LIEEE TRANSACTIONS ON
AUTOMATIC CONTROL
A PUBLICATION OF THE IEEE CONTROl SYSTEMS SOCIETY
8
JUNE 2012 ===T"""
-['-..
-(1) -C\j
===CO
w-'<:t
~-L[)
~ 0
-0-0
-C\j '<:t (1)
IETAA9 (ISSN 0018-9286)
VOLUME 57 NUMBER6
Scanning The Issue. . . . .. . . .
PAPERS
Identification of Fault Estimation Filter From lia Data for Systems With Stable Inversion... J. Dong and M. Verhaegen Output-Based Event-Triggered Control With Guaranteed Lee-Gain and Improved and Decentralized Event-Triggering ...
M. C. F Donkers and W P. M. H. Heemels Combining Convex-Concave Decompositions and Linearization Approaches for Solving BMIs, With Application to Static Output Feedback Q. Tran Dinh, S. Gumussoy, W Michiels, and M. Diehl Computational Complexity Certification for Real-Time MPC With Input Constraints Based on the Fast Gradient
Method S. Richtet; C. N. Jones, and M. Morari
Adaptive Information Collection by Robotic Sensor Networks for Spatial Estimation R. Graham and J. Cortés Stability of a Class of Linear Switching Systems with Applications to Two Consensus Problems y. Su and J. Huang QuantizedHee Controlfor NonlinearStochasticTime-DelaySystemsWithMissingMeasurements...
.. ... Z. Wang, B. Shen, H. Shu, and G. Wei
Verification of Bounded Discrete Horizon Hybrid Automata ...
V. Vladimerou, P. Prabhakar, M. Viswanathan, and G. Dullerud Inner Approximations for Polynomial Matrix Inequalities and Robust Stability Regions. . . . .. . . .. . . . .. . . . .. . . .
D. Henrion and 1.-B. Lasserre Stabilizing Model Predictive Control of Stochastic Constrained Linear Systems D. Bernardini and A. Bemporad Recursive Update Filtering for Nonlinear Estimation. . . . . .. . . ... .. . . .. . .. . . .. . . .. . . .. . . .. . . .. .. R. Zanetti Temporal Logic Control of Discrete- Time Piecewise Affine Systems. . . . . ... . .. . . .. . . ... . . .. . .
. .. .. . .. .. .. .. .. .. .. .. .. .. .. .. .. .. ... .. .. .. .. .. .. ... B. Yordanov,J. TÛmova,1. Cerna, J. Barnat, and C. Belta
TECHNICAL NOTES AND CORRESPONDENCE
System Theoretic Aspects of Influenced Consensus: Single Input Case. .... .. .. .. ... .. .. ... A. Chapman and M. Mesbahi
Fourier-Hermite Kalman Filter 1. Sarmavuori and S. Siirkkii
A Decomposition Technique for Nonlinear Dynamical System Analysis J. Anderson and A. Papachristodoulou
1345
1347 1362 1377 1391 1404 1420 1431 1445 1456 1468 1481 . 1491
1505 1511 1516 (Contents Continued on Back Cover)