IEEE Robotics & Automation Magazine - September 2011 - 63

[11] I. A. *ucan and L. E. Kavraki, "Mobile manipulation: Encoding

[28] A. Bhatia, L. E. Kavraki, and M. Y. Vardi, "Sampling-based motion

motion planning options using task motion multigraphs," in Proc. IEEE
Int. Conf. Robotics and Automation, 2011, pp. 5492-5498.

planning with temporal goals," in Proc. IEEE Int. Conf. Robotics and
Automation, 2010, pp. 2689-2696.

[12] R. W. Brockett, "On the computer control of movement," in Proc. IEEE
Int. Conf. Robotics and Automation, Apr. 1988, vol. 1, pp. 534-540.

[29] A. Bhatia, L. E. Kavraki, and M. Y. Vardi, "Motion planning with
hybrid dynamics and temporal goals," in Proc. IEEE Conf. Decision and

[13] V. Manikonda, P. S. Krishnaprasad, and J. Hendler, "A motion

Control, 2010, pp. 1108-1115.

description language and a hybrid architecture for motion planning with
nonholonomic robots," in Proc. IEEE Int. Conf. Robotics and Automation,

[30] M. Kloetzer and C. Belta, "Temporal logic planning and control of
robotic swarms by hierarchical abstractions," IEEE Trans. Robot., vol. 23,

May 1995, vol. 2, pp. 2021-2028.

no. 2, pp. 320-330, 2007.

[14] M. Egerstedt, T. Murphey, and J. Ludwig, "Motion programs for
puppet choreography and control," in Hybrid Systems: Computation and

[31] M. Y. Vardi, "An automata-theoretic approach to linear temporal
logic," in Proc. 8th Banff Higher Order Workshop Conf. Logics for

Control (LNCS 4416), A. Bemporad, A. Bicchi, and G. C. Buttazzo, Eds.,

Concurrency: Structure Versus Automata., New York: Springer-Verlag,

Berlin: Springer-Verlag, 2007, pp. 190-202.
[15] E. Frazzoli, M. A. Dahleh, and E. Feron, "Maneuver-based motion

1996.
[32] E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cam-

planning for nonlinear systems with symmetries," IEEE Trans. Robot.,

bridge, MA: MIT Press, 2000.

vol. 21, no. 6, pp. 1077-1091, 2005.
[16] G. De Giacomo and M. Y. Vardi, "Automata-theoretic approach to

[33] A. Pnueli, "The temporal logic of programs," in Proc. SFCS'77.
Washington, DC: IEEE Computer Society, 1977, pp. 46-57.

planning for temporally extended goals," in Proc. European Conf. Plan-

[34] E. A. Emerson and E. M. Clarke, "Using branching time temporal

ning (LNCS 1809), S. Biundo and M. Fox, Eds., Berlin: Springer-Verlag,
1999, pp. 226-238.

logic to synthesize synchronization skeletons," Sci. Comput. Program.,
vol. 2, no. 3, pp. 241-266, 1982.

[17] M. Antoniotti and B. Mishra, "Discrete event models þ temporal

[35] D. Kozen, "Results on the propositional l-calculus," Theor. Comput.

logic ¼ supervisory controller: Automatic synthesis of locomotion controllers," in Proc. IEEE Int. Conf. Robotics and Automation, 1995, vol. 2,

Sci., vol. 27, pp. 333-354, 1983.
[36] J. Davoren, V. Coulthard, N. Markey, and T. Moor, "Non-determin-

pp. 1441-1446.
[18] S. G. Loizou and K. J. Kyriakopoulos, "Automatic synthesis of multi-

istic temporal logics for general flow systems," in Hybrid Systems: Computation and Control (LNCS 2993), R. Alur and G. J. Pappas, Eds., Berlin:

agent motion tasks based on LTL specifications," in Proc. IEEE Conf.

Springer-Verlag, 2004, pp. 280-295.

Decision and Control, 2004, vol. 1, pp. 153-158.
[19] C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J.

[37] J. M. Davoren and P. Tabuada, "On simulations and bisimulations
of general flow systems," in Hybrid Systems: Computation and Control

Pappas, "Symbolic planning and control of robot motion: State of the art

(LNCS 4416), A. Bemporad, A. Bicchi, and G. C. Buttazzo, Eds., Berlin:

and grand challenges," IEEE Robot. Automat. Mag., vol. 14, no. 1, pp. 61-
70, Mar. 2007.

Springer-Verlag, 2007, pp. 529-542.
[38] R. Alur and D. L. Dill, "A theory of timed automata," Theor. Comput.

[20] D. C. Conner, H. Kress-Gazit, H. Choset, A. Rizzi, and G. J. Pappas,

Sci., vol. 126, pp. 183-235, Apr. 1994.

"Valet parking without a valet," in Proc. IEEE/RSJ Int. Conf. Intelligent
Robots and Systems, San Diego, CA, Oct. 2007, pp. 572-577.

[39] R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, "Hybrid
automata: An algorithmic approach to the specification and verifica-

[21] H. Kress-Gazit, D. C. Conner, H. Choset, A. A. Rizzi, and G. J. Pap-

tion of hybrid systems," in Hybrid Systems (LNCS 736), R. Grossman,

pas, "Courteous cars: Decentralized multi-agent traffic coordination,"
Robot. Automat. Mag., vol. 15, no. 1, pp. 30-38, 2008.

A. Nerode, A. Ravn, and H. Rischel, Eds., Berlin: Springer, 1993,
pp. 209-229.

[22] M. Kloetzer and C. Belta, "A fully automated framework for control

[40] G. Lafferriere, G. J. Pappas, and S. Sastry, "O-minimal hybrid sys-

of linear systems from temporal logic specifications," IEEE Trans. Automat. Contr., vol. 53, no. 1, pp. 287-297, 2008.

tems," Math. Contr. Signals Syst., vol. 13, no. 1, pp. 1-21, 2000.
[41] R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete

[23] S. Karaman and E. Frazzoli, "Complex mission optimization for

abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984,

multiple-UAVs using linear temporal logic," in Proc. American Control
Conf., 2008, pp. 2003-2009.

July 2000.
[42] P. Tabuada and G. J. Pappas, "Hybrid abstractions that preserve

[24] S. Karaman and E. Frazzoli, "Sampling-based motion planning with
deterministic l-calculus specifications," in Proc. IEEE Conf. Decision and

timed languages," in Hybrid Systems: Computation and Control (LNCS
2034), M. D. Benedetto and A. L. Sangiovanni-Vincentelli, Eds., Berlin:

Control, 2009, pp. 2222-2229.

Springer-Verlag, 2001, pp. 501-514.

[25] G. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, "Temporal
logic motion planning for dynamic robots," Automatica, vol. 45, no. 2,

[43] E. Haghverdi, P. Tabuada, and G. J. Pappas, "Bisimulation relations for
dynamical and control systems," Electron. Notes Theor. Comput. Sci., vol. 69,

pp. 343-352, 2009.

pp. 120-136, 2002. Available: http://www.sciencedirect.com/science/article/

[26] T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Receding horizon
temporal logic planning for dynamical systems," in Proc. IEEE Conf. Deci-

pii/S1571066104805620
[44] E. Haghverdi, P. Tabuada, and G. J. Pappas, "Bisimulation relations

sion and Control, 2009, pp. 5997-6004.

for dynamical, control, and hybrid systems," Theor. Comput. Sci.,

[27] E. Plaku, L. E. Kavraki, and M. Y. Vardi, "Falsification of LTL safety
properties in hybrid systems," in Proc. Int. Conf. Tools and Algorithms for

vol. 342, no. 2-3, pp. 229-261, 2005.
[45] C. Belta, V. Isler, and G. J. Pappas, "Discrete abstractions for robot

the Construction and Analysis of Systems (LNCS 5505), Berlin: Springer-

motion planning and control in polygonal environments," IEEE Trans.

Verlag, 2009, pp. 368-382.

Robot., vol. 21, no. 5, pp. 864-874, 2005.

SEPTEMBER 2011

*

IEEE ROBOTICS & AUTOMATION MAGAZINE

*

63
http://www.sciencedirect.com/science/article/
Table of Contents for the Digital Edition of IEEE Robotics & Automation Magazine - September 2011
