IEEE Robotics & Automation Magazine - June 2020 - 116

necessarily reflect the views of AFRL, DARPA, the Department of Defense, or the U.S. Government.
References
[1] S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin, "Hamilton-Jacobi
reachability: A brief overview and recent advances," in Proc. IEEE 56th
Annu. Conf. Decision and Control (CDC), Dec. 2017, pp. 2242-2253. doi:
10.1109/CDC.2017.8263977.
[2] X. Chen, E. Ábrahám, and S. Sankaranarayanan, "Flow*: An analyzer for non-linear hybrid systems," in Computer Aided Verification, N.
Sharygina and H. Veith, Eds. Berlin: Springer-Verlag, 2013, pp. 258-263.
[3] S. Kong, S. Gao, W. Chen, and E. Clarke, "dReach: δ-Reachability
analysis for hybrid systems," in Tools and Algorithms for the Construction and Analysis of Systems, C. Baier and C. Tinelli, Eds. Berlin: Springer-Verlag, 2015, pp. 200-205.
[4] R. Ivanov, J. Weimer, R. Alur, G. J. Pappas, and I. Lee, "Verisig: Verifying safety properties of hybrid systems with neural network controllers," Proc. 22nd Int. Conf. Hybrid Systems: Computation and Control,
2019, pp. 169-178. doi: 10.1145/3302504.3311806.
[5] J. F. Fisac, M. Chen, C. J. Tomlin, and S. S. Sastry, "Reach-avoid problems with time-varying dynamics, targets and constraints," in Proc.
ACM 18th Int. Conf. Hybrid Systems: Computation and Control, 2015,
pp. 11-20. doi: 10.1145/2728606.2728612.
[6] V. R. Royo, D. Fridovich-Keil, S. L. Herbert, and C. J. Tomlin, Classification-based approximate reachability with guarantees applied to
safe trajectory tracking. 2018. [Online]. Available: http://arxiv.org/
abs/1803.03237
[7] M. Chen, S. Herbert, and C. J. Tomlin, "Exact and efficient Hamilton-Jacobi guaranteed safety analysis via system decomposition," in
Proc. IEEE Int. Conf. Robotics and Automation (ICRA), May 2017,
pp. 87-92. doi: 10.1109/ICRA.2017.7989015.
[8] B. Djeridane and J. Lygeros, "Neural approximation of PDE solutions: An application to reachability computations," in Proc. 45th IEEE
Conf. Decision and Control, Dec. 2006, pp. 3034-3039. doi: 10.1109/
CDC.2006.377184.
[9] S. Singh, A. Majumdar, J. J. Slotine, and M. Pavone, "Robust online
motion planning via contraction theory and convex optimization," in
Proc. IEEE Int. Conf. Robotics and Automation (ICRA), May 2017,
pp. 5883-5890. doi: 10.1109/ICRA.2017.7989693.
[10] A. Majumdar and R. Tedrake, "Funnel libraries for real-time robust
feedback motion planning," Int. J. Robot. Res., vol. 36, no. 8, pp. 947-982,
2017. doi: 10.1177/0278364917712421.
[11] S. L. Herbert, M. Chen, S. Han, S. Bansal, J. F. Fisac, and C. J. Tomlin,
"Fastrack: A modular framework for fast and guaranteed safe motion
planning," in Proc. 2017 IEEE 56th Annu. Conf. Decision and Control
(CDC), Dec, 2017, pp. 1517-1522.
[12] S. Kousik, S. Vaskov, F. Bu, M. Johnson-Roberson, and R. Vasudevan, Bridging the gap between safety and real-time performance in
receding-horizon trajectory design for mobile robots. 2018. [Online].
Available: arXiv:1809.06746.
[13] E. Yel, T. X. Lin, and N. Bezzo, "Self-triggered adaptive planning
and scheduling of UAV operations," in Proc. IEEE Int. Conf. Robotics
and Automation (ICRA), Brisbane, Australia, May 21-25, 2018, pp. 7518-
7524. doi: 10.1109/ICRA.2018.8463205.
[14] N. Michael, D. Mellinger, Q. Lindsey, and V. Kumar, "The
GRASP multiple micro-UAV testbed," IEEE Robot. Autom. Mag.,

116

*

IEEE ROBOTICS & AUTOMATION MAGAZINE

*

JUNE 2020

vol. 17, no. 3, pp. 56 -65, Sept. 2010. doi: 10.1109/M R A.2010.
937855.
[15] E. van Doorn, B. Dhruva, K. R. Sreenivasan, and V. Cassella, "Statistics of wind direction and its increments," Phys. Fluids, vol. 12, no. 6,
pp. 1529-1534, 2000. doi: 10.1063/1.870401.
[16] R. T. Palomaki, N. T. Rose, M. van den Bossche, T. J. Sherman, and
S. F. De Wekker, "Wind estimation in the lower atmosphere using multirotor aircraft," J. Atmos. Ocean. Technol., vol. 34, no. 5, pp. 1183-1191,
2017. doi: 10.1175/JTECH-D-16-0177.1.
[17] D. Mellinger and V. Kumar, "Minimum snap trajectory generation
and control for quadrotors," in Proc. IEEE Int. Conf. Robotics and Automation, May 2011, pp. 2520-2525. doi: 10.1109/ICRA.2011.5980409.
[18] G. Montavon, W. Samek, and K.-R. Müller, "Methods for interpreting and understanding deep neural networks," Digit. Signal Process.,
vol. 73, pp. 1-15, Feb. 2018. doi: 10.1016/j.dsp.2017.10.011.
[19] H. Papadopoulos, V. Vovk, and A. Gammerman, "Regression conformal prediction with nearest neighbours," J. Artif. Intell. Res., vol. 40, pp. 815-
840, Jan. 2011.
[20] W. Xiang et al., Verification for machine learning, autonomy, and
neural networks survey. 2018. [Online]. Available: arXiv:1810.01989
[21] A. Girard and G. J. Pappas, "Approximate bisimulation relations for
constrained linear systems," Automatica, vol. 43, no. 8, pp. 1307-1317,
2007. doi: 10.1016/j.automatica.2007.01.019.

Esen Yel, Department of Engineering Systems and Environment, University of Virginia, Charlottesville. Email: esenyel@
virginia.edu.
Taylor J. Carpenter, Department of Computer and Information
Science, University of Pennsylvania, Philadelphia. Email:
carptj@seas.upenn.edu.
Carmelo Di Franco, Departments of Engineering Systems and
Environment and Electrical and Computer Engineering, University of Virginia, Charlottesville. Email: cd8gm@virginia.edu.
Radoslav Ivanov, Department of Computer and Information
Science, University of Pennsylvania, Philadelphia. Email: riva
nov@seas.upenn.edu.
Yiannis Kantaros, Department of Computer and Information
Science, University of Pennsylvania, Philadelphia. Email:
kantaros@seas.upenn.edu.
Insup Lee, Department of Computer and Information Science,
University of Pennsylvania, Philadelphia. Email: lee@seas
.upenn.edu.
James Weimer, Department of Computer and Information
Science, University of Pennsylvania, Philadelphia. Email:
weimerj@seas.upenn.edu.
Nicola Bezzo, Departments of Engineering Systems and Environment and Electrical and Computer Engineering, University of Virginia, Charlottesville. Email: nbezzo@virginia.edu.
http://www.arxiv.org/abs/1803.03237 http://www.arxiv.org/abs/1803.03237
IEEE Robotics & Automation Magazine - June 2020

Table of Contents for the Digital Edition of IEEE Robotics & Automation Magazine - June 2020
