IEEE TRANSACTIONS ON
AUTOMATIC CONTROL
j
A PUBLICATION OF THE IEEE CONTROl SYSTEMS SOCIETY
.@.
JUNE 2006 Vb'LUME 51
~
IETAA9(ISS~ 0018-9286) NUMBER 6
Special Section on Symbollc Methods for Complex Control Systems
Guest Editorial M. B. Egerstedt, E. Frazzoli, and G. Pappas 921
Scanning the Issue... 924
PAPERS
Symbolic Feedback Contrai for Navigation S. B. Andersson and D. Hristu
Reachability and Contrai Synthesis for Piecewise-Affine Hybrid Systems on Simplices ...
... ... .. .. .. .. .... .. .. .. .. .. .. ... .. .. ... ... L. C. G. J. M. Habets, P. J. Collins, and J. H. Van Schuppen A Grammatical Approach to Self-OrganizingRobqtic Systems. . .. ... .. .... .. ... .. ... E. Klavins, R. Ghrist, and D. Lipsky Logic-Based Solution Methods for Optimal Contrai of Hybrid Systems A. Bemporad and N. Giorgetti
Complexity of Contrai on Finite Automata J.-c. Delvenne and V.D. Blondel
Feedback Encoding for Efficient Symbolic Controlof Dynamicai Systems. ... .. . ... A. Bicchi, A. Marigo, and B. Piccoli
Symbolic Contrai of Linear Systems Based on Symbolic Subsystems P. Tabuada
926 938 949 963 977 987 1003
TECHNICAL NOTES AND CORRESPONDENCE
ManufacturingSystems:LMIApproach """"""""""""""""""""""""""""""""""""" E.K.Boukas
AMethodforStabiiityandBifurcationControl Z. WuandP. Yu
Adaptive Jacobian Tracking Contrai of Robots With Uncertainties in Kinematic, Dynamic and Actuator Modeis ...
C. C. Cheah, C. Liu, andJ. J. E. Slotine Discrete Siiding Mode Contrai of Systems With Unmatched Uncertainty Using Multirate Output Feedback ,..
S. Janardhanan and B. Bandyopadhyay Global Positioning of Robot Manipulators With Mixed Revolute and Prismatic Joints. . . . J. Kasac, B. Novakovic, V. Majetic, andD. Brezak H00 Contrai for Discrete- Time N onlinear Stochastic Systems. . . .. . . .. N. Berman and U. Shaked
1014 1019 1024 1030 1035 1041 (Contents Continued on Back Cover)
(Contents Continuedfrom Frortt Cover)
Observer Design for UnknowriInput Nonlinear Descriptor Systellis via Convex Optimization D. Koenig 1047 Formalizing Real-Time Scheduling Using Priority-Based Supervisory tontrol of Discrete-Event Systems...
V Janarthanan, P. Gohari, andA. Saffar Analysis of Coordination in Multi-Agent Systems Through Partial Difference Equations...
, G. Ferrari-Trecate,A. Buffa, andM. Gati
Stability of Linear Neutral Time-Delay Systems: Exact Conditions via Matrix Pencil Solutions. . .. ... .. .. . .... .. .. . .... .. . . .. . . . .. .. .. . . .. .' .," .. . . .. .. . .. .. .. . ... ... .. . .. .. ... . .. .. . . . .. . .. . .. .. . ... . .
..
.. ... . . . ... P. Fu, S.-1. Niculescu, and J. ChenOntheDead-TimeCompensationfromLi Perspectives""""""""""""""""""',""""""""""'" L. Mirkin Globally Stabilizing Adaptive Control Design for Nonlinearly-Parameterized Systems...
, ; Z. Qu, R.A. Hull, andJ. Wang
1053 1058 1063 1069 1073
~~:~e~:;i:SMarkov Chains