Hybrid systems in robotics

IEEE Robotics and Automation Magazine

Volumn 18, Issue 3, 2011, Pages 33-43

  Ding, Jerry ^a   Gillula, Jeremy H ^b   Huang, Haomiao ^c   Vitus, Michael P ^c   Zhang, Wei ^a   Tomlin, Claire J ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Stanford University   (United States)

^c Department of Aeronautics and Astronautics Department of Mechanical Engineering and Industrial for Computational and Mathematical Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GEOMETRIC NON-LINEAR; MACHINE-LEARNING; NONHOLONOMICS; PLANNING AND CONTROL; PREIMAGES; PROBABILISTIC ROAD MAPS; ROBOTIC CONTROLS; SEMI-AUTONOMOUS SYSTEMS;

ALGORITHMS; HYBRID SYSTEMS; MOTION PLANNING; ROBOTICS; ROBOTS;

ROBOT PROGRAMMING;

EID: 80052870820     PISSN: 10709932     EISSN: None     Source Type: Journal    
DOI: 10.1109/MRA.2011.942113     Document Type: Conference Paper

References (41)

1. J. P. Laumond, P. E. Jacobs, M. Taix, and R. M. Murray, "A motion planner for nonholonomic mobile robots," IEEE Trans. Robot. Automat., vol. 10, no. 5, pp. 577-593, Oct. 1994.
2. L. Kavraki, P. Svestka, J.-C. Latombe, and M. Overmars, "Probabilistic roadmaps for path planning in high-dimensional configuration spaces," IEEE Trans. Robot. Automat., vol. 12, no. 4, pp. 566-580, Aug. 1996. (Pubitemid 126774162)
3. E. Rimon and D. Koditschek, "Exact robot navigation using artificial potential functions," IEEE Trans. Robot. Automat., vol. 8, no. 5, pp. 501-518, Oct. 1992. (Pubitemid 23580959)
4. T. Lozano-Perez, "Spatial planning: A configuration space approach," IEEE Trans. Comput., vol. C-32, no. 2, pp. 108-120, Feb. 1983.
5. M. Spong and M. Vidyasagar, "Robust linear compensator design for nonlinear robotic control," IEEE J. Robot. Automat., vol. 3, no. 4, pp. 345-351, Aug. 1987. (Pubitemid 18521695)
6. R. M. Murray, L. Zexiang, and S. S. Sastry, A Mathematical Introduction to Robotic Manipulation, 1st ed. Boca Raton, FL: CRC, 1994.
7. A. Coates, P. Abbeel, and A. Y. Ng, "Apprenticeship learning for helicopter control," Commun. ACM, vol. 52, no. 7, pp. 97-105, 2009.
8. E. Asarin, O. Maler, and A. Pnueli, "Reachability analysis of dynamical systems having piecewise-constant derivatives," Theor. Comput. Sci., vol. 138, no. 1, pp. 35-65, 1995.
9. C. 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, July 2000.
10. J. Ding, E. Li, H. Huang, and C. J. Tomlin, "Reachability-based synthesis of feedback policies for motion planning under bounded disturbances," in Proc. IEEE Int. Conf. Robotics and Automation (ICRA), Shanghai, China, May 2011.
11. S. Prajna, A. Jadbabaie, and G. Pappas, "A framework for worst-case and stochastic safety verification using barrier certificates," IEEE Trans. Automat. Contr., vol. 52, no. 8, pp. 1415-1428, Aug. 2007. (Pubitemid 47316689)
12. A. Bemporad, F. D. Torrisi, and M. Morari, "Optimization-based verification and stability characterization of piecewise affine and hybrid systems," in Proc. Hybrid Systems: Computation and Control, 2000, pp. 45-58.
13. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for reachability analysis," in Proc. Hybrid Systems: Computation and Control, 2000, pp. 202-214.
14. E. Asarin, T. Dang, and A. Girard, "Reachability analysis of nonlinear systems using conservative approximation," in Proc. Hybrid Systems: Computation and Control, 2003, pp. 20-35.
15. A. Girard, C. L. Guernic, and O. Maler, "Efficient computation of reachable sets of linear time-invariant systems with inputs," in Proc. Hybrid Systems: Computation and Control, 2006, pp. 257-271. (Pubitemid 44019592)
16. M. Kvasnica, P. Grieder, and M. Baotic. (2004). Multi-Parametric Toolbox (MPT). [Online]. Available: http://control.ee.ethz.ch/~mpt/
17. A. Chutinan and B. Krogh, "Computational techniques for hybrid system verification," IEEE Trans. Automat. Contr., vol. 48, no. 1, pp. 64-75, Jan. 2003.
18. M. Branicky, V. Borkar, and S. Mitter, "A unified framework for hybrid control: Model and optimal control theory," IEEE Trans. Automat. Contr., vol. 43, no. 1, pp. 31-45, Jan. 1998. (Pubitemid 128743101)
19. R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, July 2000.
20. J. M. Esposito, "Simulation and control of hybrid systems with applications to mobile robotics," Ph.D. dissertation, Univ. Pennsylvania, Philadelphia, PA, 2002.
21. E. R. Westervelt, J. W. Grizzle, C. Chevallerea, J. H. Choi, and B. Morris, Feedback Control of Dynamic Bipedal Robot Locomotion. New York: Taylor & Francis, 2007.
22. J. Gillula, G. M. Hoffmann, H. Huang, M. P. Vitus, and C. J. Tomlin, "Applications of hybrid reachability analysis to robotic aerial vehicles," Int. J. Robot. Res., vol. 30, no. 3, pp. 335-354, Mar. 2011.
23. B. Shucker, T. Murphey, and J. K. Bennett, "Switching rules for decentralized control with simple control laws," in Proc. 2007 American Control Conf., New York, July 2007, pp. 1485-1492.
24. R. Alur, J. Esposito, M. Kim, V. Kumar, and I. Lee, "Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination," in Proc. World Congr. Formal Methods (ser. LNCS 1708), J. M. Wing, J. Woodcock, and J. Davies, Eds. Toulouse, France: Springer-Verlag, 1999, pp. 212-232.
25. A. Kwok and S.Martínez, "Unicycle coverage control via hybrid modeling," IEEE Trans. Automat. Contr., vol. 55, no. 2, pp. 528-532, 2010.
26. P. Ramadge and W. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan 1989.
27. R. Alur and D. L. Dill, "A theory of timed automata," Theor. Comput. Sci., vol. 126, no. 2, pp. 183-235, 1994.
28. E. Asarin, B. Olivier, T. Dang, and O. Maler, "Approximate reachability analysis of piecewise-linear dynamical systems," in Proc. Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, vol. 1790. Berlin, Germany: Springer-Verlag, 2000, pp. 20-31.
29. A. Girard, G. Pola, and P. Tabuada, "Approximately bisimilar symbolic models for incrementally stable switched systems," IEEE Trans. Automat. Contr., vol. 55, no. 1, pp. 116-126, Jan. 2010.
30. P. Saint-Pierre, "Hybrid kernels and capture basins for impulse constrained systems," in Proc. Hybrid Systems: Computation and Control, 2002, pp. 378-392.
31. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games," IEEE Trans. Automat. Contr., vol. 50, no. 7, pp. 947-957, 2005. (Pubitemid 41078397)
32. J. H. Gillula, H. Huang, M. P. Vitus, and C. J. Tomlin, "Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice," in Proc. 2010 IEEE Int. Conf. Robotics and Automation, Anchorage, AK, May 2010, pp. 1649-1654.
33. H. Huang, J. Ding, W. Zhang, and C. J. Tomlin, "A differential game approach to planning in adversarial scenarios: A case study on capturethe-flag," in Proc. IEEE Int. Conf. Robotics and Automation (ICRA), Shanghai, China, May 2011 .
34. L. C. Evans and P. E. Souganidis, "Differential games and representation formulas for solutions of Hamilton-Jacobi-Isaacs equations," Indiana Univ. Math. J., vol. 33, no. 5, pp. 773-797, 1984.
35. I. M. Mitchell, "The flexible, extensible and efficient toolbox of level set methods," J. Sci. Comput., vol. 35, no. 2-3, pp. 300-329, June 2008.
36. I. M. Mitchell, "Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: A mixed implicit explicit formulation," in Proc. 14th Int. Conf. Hybrid Systems: Computation and Control. New York, NY: ACM, 2011, pp. 103-112.
37. I. Mitchell, "Application of level set methods to control and reachability problems in continuous and hybrid systems," Ph.D. dissertation, Stanford Univ., CA, 2002.
38. X. Xu and P. Antsaklis, "Optimal control of switched systems based on parameterization of the switching instants," IEEE Trans. Automat. Contr., vol. 49, no. 1, pp. 2-16, Jan. 2004.
39. M. Boccadoro, Y. Wardi, M. Egerstedt, and E. Verriest, "Optimal control of switching surfaces in hybrid dynamical systems," Discrete Event Dynamic Syst., vol. 15, no. 4, pp. 433-448, 2005. (Pubitemid 41428108)
40. H. Axelsson, Y. Wardi, M. Egerstedt, and E. Verriest, "Gradient descent approach to optimal mode scheduling in hybrid dynamical systems," J. Optim. Theory Applicat., vol. 136, no. 2, pp. 167-186, 2008.
41. J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, 1999.