IEEE Robotics & Automation Magazine - September 2011 - 54

C. J. Tomlin and M. R. Greensreet, Eds. Berlin: Germany: Springer-Verlag,
2002, pp. 76-89.
[11] M. Campbell, M. Egerstedt, J. P. How, and R. M. Murray,
"Autonomous driving in urban environments: Approaches, lessons and
challenges," Philos. Trans. R. Soc., vol. 368, no. 1928, pp. 4649-4672,
2010.
[12] D. Del Vecchio, "Observer-based control of block triangular discrete
time hybrid automata on a partial order," Int. J. Robust Nonlinear Control, vol. 19, no. 14, pp. 1581-1602, 2009.
[13] D. Del Vecchio, M. Malisoff, and R. Verma, "A separation principle
for a class of hybrid automata on a partial order," in Proc. American Control Conf., 2009.
[14] D. Del Vecchio, R. M. Murray, and E. Klavins, "Discrete state estimators for systems on a lattice," Automatica, vol. 42, no. 2, pp. 271-285, 2006.
[15] D. Del Vecchio, R. M. Murray, and P. Perona, "Primitives for human
motion: A dynamical approach," in Proc. IFAC World Congr., Barcelona,
2002.
[16] D. Del Vecchio, R. M. Murray, and P. Perona, "Decomposition of
human motion into dynamics-based primitives with application to drawing tasks," Automatica, vol. 39, no. 12, pp. 2085-2098, 2003.
[17] J. Duperret, M. Hafner, and D. Del Vecchio, "Formal design of a
provably safe robotic roundabout system," in Proc. IEEE/RSJ Int. Conf.
Intelligent Robots and Systems, 2010, pp. 2006-2011.
[18] O. Maler, E. Asarin, and A. Pnueli, "Symbolic controller synthesis
for discrete and timed systems," in Hybrid Systems II (Lecture Notes in
Computer Science, vol. 999), P. Antsaklis, W. Kohn, A. Nerode, and S.
Sastry, Eds. Berlin, Germany: Springer-Verlag, 1995, pp. 1-20.
[19] J. A. Haddon, D. N. Godbole, A. Deshpande, and J. Lygeros,
"Verification of hybrid systems: Monotonicity in the AHS control system," in Hybrid Systems III (Lecture Notes in Computer Science, vol.
1066), R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. Berlin: SpringerVerlag, 1996, pp. 161-172.
[20] M. Hafner and D. Del Vecchio, "Computation of safety control for
uncertain piecewise continuous systems on a partial order," in Proc. Conf.
Decision and Control, 2009, pp. 1671-1677.
[21] R. Horowitz and P. Varaiya, "Control design of an automated highway system," Proc. IEEE, vol. 88, no. 7, pp. 913-925, July 2000.
[22] A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for hybrid
dynamics: The reachability problem," in New Directions and Applications in Control Theory (Lecture Notes in Control and Information Sciences, vol. 321), W. P. Dayawansa, A. Lindquist, and Y. Zhou, Eds.
Berlin: Springer, 2005, pp. 193-205.
[23] C. F. Lin, A. G. Ulsoy, and D. J. LeBlanc, "Vehicle dynamics and
external disturbance estimation for vehicle path prediction," IEEE Trans.

[27] T. B. Moeslunda, A. Hiltonb, and V. Kr€
ugerc, "A survey of advances
in vision-based human motion capture and analysis," Comput. Vis. Image
Understanding, vol. 104, no. 2-3, pp. 90-126, 2006.
[28] U.S. DOT National Highway Traffic Administration (NHTSA),
"Analysis of fatal crashes due to signal and stop sign violations," NHTSA,
Cambridge, MA, DOT HS 809 779, 2004.
[29] L. Pallottino, V. G. Scordio, A. Bicchi, and E. Frazzoli,
"Decentralized cooperative policy for conflict resolution in multivehicle
systems," IEEE Trans. Robot., vol. 23, no. 6, pp. 1170-1183, 2007.
[30] A. Polychronopoulos, M. Tsogas, A. J. Amditis, and L. Andreone,
"Sensor fusion for predicting vehicles' path for collision avoidance systems," IEEE Trans. Intell. Transport. Syst., vol. 8, no. 2, pp. 549-562, 2007.
[31] S. Prajna and A. Jadbabaie, "Safety verification of hybrid systems
using barrier certificates," in Hybrid Systems: Computation and Control
(Lecture Notes in Computer Science, vol. 2993), R. Alur and G. Pappas,
Eds. Berlin: Germany: Springer-Verlag, 2004, pp. 477-492.
[32] O. Shakernia, G. J. Pappas, and S. Sastry, "Semi-decidable synthesis
for triangular hybrid systems," in Hybrid Systems: Computation and Control (Lecture Notes in Computer Science, vol. 2034), M. D. Di Benedetto
and A. Sangiovanni-Vincentelli, Eds. Berlin: Springer-Verlag, 2001,
pp. 487-500.
[33] T. Suzuki, "Advanced motion as a hybrid system," Electron. Commun. Japan, vol. 93, no. 12, pp. 35-43, 2010.
[34] C. J. Tomlin, J. Lygeros, and S. Sastry, "A game theoretic approach to controller design for hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 949-970, 2000.
[35] C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi, "Computational
techniques for the verification of hybrid systems," Proc. IEEE, vol. 91,
no. 7, pp. 986-1001, 2003.
[36] B. Tovar and S. M. LaValle, "Visibility-based pursuit-evasion with
bounded speed," in Proc. Workshop Algorithmic Foundations of Robotics,
2006.
[37] R. Verma and D. Del Vecchio, "Continuous control of hybrid
automata with imperfect mode information assuming separation between
state estimation and control," in Proc. Conf. Decision and Control, 2009,
pp. 3175-3181.
[38] R. Verma and D. Del Vecchio, "Control of hybrid automata with
hidden modes: Translation to a perfect state information problem," in
Proc. Conf. Decision and Control, 2010, pp. 5768-5774.
[39] R. Verma and D. Del Vecchio, "Safety control of hidden mode
hybrid systems," IEEE Trans. Automat. Contr., to be published.
[40] R. Verma, D. Del Vecchio, and H. Fathy, "Development of a scaled
vehicle with longitudinal dynamics of a HMMWV for an ITS testbed,"
IEEE/ASME Trans. Mechatronics, vol. 13, no. 1, pp. 46-57, 2008.

Control Syst. Technol., vol. 8, no. 3, pp. 508-518, 2000.

[41] M. De Wulf, L. Doyen, and J.-F. Raskin, "A lattice theory for solving
games of imperfect information," Hybrid Systems: Computation and Con-

[24] J. Lygeros, D. N. Godbole, and S. Sastry, "A verified hybrid controller
for automated vehicles," in Proc. Conf. Decision and Control, Kobe, Japan,

Tiwari, Eds. Berlin, Germany: Springer-Verlag, 2006, pp. 153-168.

trol (Lecture Notes in Computer Science, vol. 3927), J. Hespanha and A.

1996, pp. 2289-2294.
[25] J. Lygeros and N. Lynch, "Strings of vehicles: Modeling and safety
conditions," in Hybrid Systems: Computation and Control (Lecture Notes
in Computer Science 1386), T. Henzinger and S. Sastry, Eds. Berlin:
Springer, 1998, pp. 273-288.
[26] J. Lygeros, C. J. Tomlin, and S. Sastry, "Controllers for reachability
specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-
370, 1999.

54

*

IEEE ROBOTICS & AUTOMATION MAGAZINE

*

SEPTEMBER 2011

Rajeev Verma, Department of Electrical Engineering and
Computer Science, University of Michigan, Ann Arbor,
MI 48109, USA. E-mail: rajverma@umich.edu.
Domitilla Del Vecchio, Department of Mechanical Engineering, MIT, Cambridge, MA 02139, USA. E-mail: ddv@
mit.edu.



Table of Contents for the Digital Edition of IEEE Robotics & Automation Magazine - September 2011

IEEE Robotics & Automation Magazine - September 2011 - Cover1
IEEE Robotics & Automation Magazine - September 2011 - Cover2
IEEE Robotics & Automation Magazine - September 2011 - 1
IEEE Robotics & Automation Magazine - September 2011 - 2
IEEE Robotics & Automation Magazine - September 2011 - 3
IEEE Robotics & Automation Magazine - September 2011 - 4
IEEE Robotics & Automation Magazine - September 2011 - 5
IEEE Robotics & Automation Magazine - September 2011 - 6
IEEE Robotics & Automation Magazine - September 2011 - 7
IEEE Robotics & Automation Magazine - September 2011 - 8
IEEE Robotics & Automation Magazine - September 2011 - 9
IEEE Robotics & Automation Magazine - September 2011 - 10
IEEE Robotics & Automation Magazine - September 2011 - 11
IEEE Robotics & Automation Magazine - September 2011 - 12
IEEE Robotics & Automation Magazine - September 2011 - 13
IEEE Robotics & Automation Magazine - September 2011 - 14
IEEE Robotics & Automation Magazine - September 2011 - 15
IEEE Robotics & Automation Magazine - September 2011 - 16
IEEE Robotics & Automation Magazine - September 2011 - 17
IEEE Robotics & Automation Magazine - September 2011 - 18
IEEE Robotics & Automation Magazine - September 2011 - 19
IEEE Robotics & Automation Magazine - September 2011 - 20
IEEE Robotics & Automation Magazine - September 2011 - 21
IEEE Robotics & Automation Magazine - September 2011 - 22
IEEE Robotics & Automation Magazine - September 2011 - 23
IEEE Robotics & Automation Magazine - September 2011 - 24
IEEE Robotics & Automation Magazine - September 2011 - 25
IEEE Robotics & Automation Magazine - September 2011 - 26
IEEE Robotics & Automation Magazine - September 2011 - 27
IEEE Robotics & Automation Magazine - September 2011 - 28
IEEE Robotics & Automation Magazine - September 2011 - 29
IEEE Robotics & Automation Magazine - September 2011 - 30
IEEE Robotics & Automation Magazine - September 2011 - 31
IEEE Robotics & Automation Magazine - September 2011 - 32
IEEE Robotics & Automation Magazine - September 2011 - 33
IEEE Robotics & Automation Magazine - September 2011 - 34
IEEE Robotics & Automation Magazine - September 2011 - 35
IEEE Robotics & Automation Magazine - September 2011 - 36
IEEE Robotics & Automation Magazine - September 2011 - 37
IEEE Robotics & Automation Magazine - September 2011 - 38
IEEE Robotics & Automation Magazine - September 2011 - 39
IEEE Robotics & Automation Magazine - September 2011 - 40
IEEE Robotics & Automation Magazine - September 2011 - 41
IEEE Robotics & Automation Magazine - September 2011 - 42
IEEE Robotics & Automation Magazine - September 2011 - 43
IEEE Robotics & Automation Magazine - September 2011 - 44
IEEE Robotics & Automation Magazine - September 2011 - 45
IEEE Robotics & Automation Magazine - September 2011 - 46
IEEE Robotics & Automation Magazine - September 2011 - 47
IEEE Robotics & Automation Magazine - September 2011 - 48
IEEE Robotics & Automation Magazine - September 2011 - 49
IEEE Robotics & Automation Magazine - September 2011 - 50
IEEE Robotics & Automation Magazine - September 2011 - 51
IEEE Robotics & Automation Magazine - September 2011 - 52
IEEE Robotics & Automation Magazine - September 2011 - 53
IEEE Robotics & Automation Magazine - September 2011 - 54
IEEE Robotics & Automation Magazine - September 2011 - 55
IEEE Robotics & Automation Magazine - September 2011 - 56
IEEE Robotics & Automation Magazine - September 2011 - 57
IEEE Robotics & Automation Magazine - September 2011 - 58
IEEE Robotics & Automation Magazine - September 2011 - 59
IEEE Robotics & Automation Magazine - September 2011 - 60
IEEE Robotics & Automation Magazine - September 2011 - 61
IEEE Robotics & Automation Magazine - September 2011 - 62
IEEE Robotics & Automation Magazine - September 2011 - 63
IEEE Robotics & Automation Magazine - September 2011 - 64
IEEE Robotics & Automation Magazine - September 2011 - 65
IEEE Robotics & Automation Magazine - September 2011 - 66
IEEE Robotics & Automation Magazine - September 2011 - 67
IEEE Robotics & Automation Magazine - September 2011 - 68
IEEE Robotics & Automation Magazine - September 2011 - 69
IEEE Robotics & Automation Magazine - September 2011 - 70
IEEE Robotics & Automation Magazine - September 2011 - 71
IEEE Robotics & Automation Magazine - September 2011 - 72
IEEE Robotics & Automation Magazine - September 2011 - 73
IEEE Robotics & Automation Magazine - September 2011 - 74
IEEE Robotics & Automation Magazine - September 2011 - 75
IEEE Robotics & Automation Magazine - September 2011 - 76
IEEE Robotics & Automation Magazine - September 2011 - 77
IEEE Robotics & Automation Magazine - September 2011 - 78
IEEE Robotics & Automation Magazine - September 2011 - 79
IEEE Robotics & Automation Magazine - September 2011 - 80
IEEE Robotics & Automation Magazine - September 2011 - 81
IEEE Robotics & Automation Magazine - September 2011 - 82
IEEE Robotics & Automation Magazine - September 2011 - 83
IEEE Robotics & Automation Magazine - September 2011 - 84
IEEE Robotics & Automation Magazine - September 2011 - 85
IEEE Robotics & Automation Magazine - September 2011 - 86
IEEE Robotics & Automation Magazine - September 2011 - 87
IEEE Robotics & Automation Magazine - September 2011 - 88
IEEE Robotics & Automation Magazine - September 2011 - 89
IEEE Robotics & Automation Magazine - September 2011 - 90
IEEE Robotics & Automation Magazine - September 2011 - 91
IEEE Robotics & Automation Magazine - September 2011 - 92
IEEE Robotics & Automation Magazine - September 2011 - 93
IEEE Robotics & Automation Magazine - September 2011 - 94
IEEE Robotics & Automation Magazine - September 2011 - 95
IEEE Robotics & Automation Magazine - September 2011 - 96
IEEE Robotics & Automation Magazine - September 2011 - 97
IEEE Robotics & Automation Magazine - September 2011 - 98
IEEE Robotics & Automation Magazine - September 2011 - 99
IEEE Robotics & Automation Magazine - September 2011 - 100
IEEE Robotics & Automation Magazine - September 2011 - 101
IEEE Robotics & Automation Magazine - September 2011 - 102
IEEE Robotics & Automation Magazine - September 2011 - 103
IEEE Robotics & Automation Magazine - September 2011 - 104
IEEE Robotics & Automation Magazine - September 2011 - 105
IEEE Robotics & Automation Magazine - September 2011 - 106
IEEE Robotics & Automation Magazine - September 2011 - 107
IEEE Robotics & Automation Magazine - September 2011 - 108
IEEE Robotics & Automation Magazine - September 2011 - 109
IEEE Robotics & Automation Magazine - September 2011 - 110
IEEE Robotics & Automation Magazine - September 2011 - 111
IEEE Robotics & Automation Magazine - September 2011 - 112
IEEE Robotics & Automation Magazine - September 2011 - 113
IEEE Robotics & Automation Magazine - September 2011 - 114
IEEE Robotics & Automation Magazine - September 2011 - 115
IEEE Robotics & Automation Magazine - September 2011 - 116
IEEE Robotics & Automation Magazine - September 2011 - 117
IEEE Robotics & Automation Magazine - September 2011 - 118
IEEE Robotics & Automation Magazine - September 2011 - 119
IEEE Robotics & Automation Magazine - September 2011 - 120
IEEE Robotics & Automation Magazine - September 2011 - 121
IEEE Robotics & Automation Magazine - September 2011 - 122
IEEE Robotics & Automation Magazine - September 2011 - 123
IEEE Robotics & Automation Magazine - September 2011 - 124
IEEE Robotics & Automation Magazine - September 2011 - 125
IEEE Robotics & Automation Magazine - September 2011 - 126
IEEE Robotics & Automation Magazine - September 2011 - 127
IEEE Robotics & Automation Magazine - September 2011 - 128
IEEE Robotics & Automation Magazine - September 2011 - 129
IEEE Robotics & Automation Magazine - September 2011 - 130
IEEE Robotics & Automation Magazine - September 2011 - 131
IEEE Robotics & Automation Magazine - September 2011 - 132
IEEE Robotics & Automation Magazine - September 2011 - 133
IEEE Robotics & Automation Magazine - September 2011 - 134
IEEE Robotics & Automation Magazine - September 2011 - 135
IEEE Robotics & Automation Magazine - September 2011 - 136
IEEE Robotics & Automation Magazine - September 2011 - Cover3
IEEE Robotics & Automation Magazine - September 2011 - Cover4
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2023
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2023
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2023
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2023
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2022
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2022
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2022
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2022
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2021
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2021
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2021
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2021
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2020
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2020
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2020
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2020
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2019
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2019
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2019
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2019
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2018
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2018
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2018
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2018
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2017
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2017
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2017
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2017
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2016
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2016
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2016
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2016
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2015
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2015
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2015
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2015
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2014
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2014
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2014
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2014
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2013
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2013
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2013
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2013
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2012
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2012
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2012
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2012
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2011
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2011
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_june2011
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_march2011
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_december2010
https://www.nxtbook.com/nxtbooks/ieee/roboticsautomation_september2010
https://www.nxtbookmedia.com