Fetching the paper…
Reading the bibliography…
Neural networks are increasingly used in robotics as policies, state transition models, state estimation models, or all of the above.
R. H. Wilkinson, “ A Method of Generating Functions of Several Variables Using Analog Diode Logic ,” IEEE Transactions on Electronic Computers , vol. EC-12, no. 2, pp. 112–129, 1963
1963
Earlier work this paper cites.
W. C. Rheinboldt and J. S. Vandergraft, “ On Piecewise Affine Mappings in R n R^{n} ,” SIAM Journal on Applied Mathematics , vol. 29, no. 4, pp. 680–689, 1975
1975
Earlier work this paper cites.
W. E. Lorensen and H. E. Cline, “ Marching cubes: A high resolution 3D surface construction algorithm ,” ACM siggraph computer graphics , vol. 21, no. 4, pp. 163–169, 1987
1987
Earlier work this paper cites.
L. Chua and A.-C. Deng, “ Canonical piecewise-linear representation ,” IEEE Transactions on Circuits and Systems , vol. 35, no. 1, pp. 101–111, 1988
1988
Earlier work this paper cites.
T. Kevenaar and D. Leenaerts, “ A comparison of piecewise-linear model descriptions ,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications , vol. 39, no. 12, pp. 996–1004, 1992
1992
Earlier work this paper cites.
J.-C. Hennet, “ Discrete time constrained linear systems ,” Control and dynamic systems , vol. 71, pp. 157–214, 1995
1995
Earlier work this paper cites.
J. A. Sethian, “ A fast marching level set method for monotonically advancing fronts ,” Proceedings of the National Academy of Sciences , vol. 93, no. 4, pp. 1591–1595, 1996
1996
Earlier work this paper cites.
A. Hassibi and S. Boyd, “ Quadratic stabilization and control of piecewise-linear systems ,” in Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207) , vol. 6, 1998, pp. 3659–3664 vol.6
1998
Earlier work this paper cites.
K. Fukuda, “ Cddlib reference manual ,” Report version 093a, McGill University, Montréal, Quebec, Canada , 2003
2003
Earlier work this paper cites.
R. Suard, J. Lofberg, P. Grieder, M. Kvasnica, and M. Morari, “ Efficient computation of controller partitions in multi-parametric programming ,” in 2004 43rd IEEE Conference on Decision and Control (CDC)(IEEE Cat. No. 04CH37601) , vol. 4. IEEE, 2004, pp. 3643–3648
2004
Earlier work this paper cites.
P. Biswas, P. Grieder, J. Löfberg, and M. Morari, “ A survey on stability analysis of discrete-time piecewise affine systems ,” IFAC Proceedings Volumes , vol. 38, no. 1, pp. 283–294, 2005
2005
Earlier work this paper cites.
S. Garrido, L. Moreno, M. Abderrahim, and F. Martin, “ Path Planning for Mobile Robot Navigation using Voronoi Diagram and Fast Marching ,” in 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems . IEEE, 2006, pp. 2376–2381
2006
Earlier work this paper cites.
S. Rakovic, E. Kerrigan, D. Mayne, and J. Lygeros, “ Reachability analysis of discrete-time systems with disturbances ,” IEEE Transactions on Automatic Control , vol. 51, no. 4, pp. 546–561, 2006
2006
Earlier work this paper cites.
F. Blanchini, S. Miani, et al. , Set-Theoretic Methods in Control . Springer, 2008, vol. 78
2008
Earlier work this paper cites.
M. Herceg, M. Kvasnica, C. N. Jones, and M. Morari, “ Multi-Parametric Toolbox 3.0 ,” in 2013 European control conference (ECC) . IEEE, 2013, pp. 502–510
2013
Earlier work this paper cites.
G. F. Montufar, R. Pascanu, K. Cho, and Y. Bengio, “ On the Number of Linear Regions of Deep Neural Networks ,” in Advances in neural information processing systems , 2014, pp. 2924–2932
2014
Earlier work this paper cites.
J. Xu, T. J. van den Boom, and B. De Schutter, “ Irredundant lattice piecewise affine representations and their applications in explicit model predictive control ,” in 53rd IEEE Conference on Decision and Control , 2014, pp. 4416–4421
2014
Earlier work this paper cites.
L. Janson, E. Schmerling, A. Clark, and M. Pavone, “ Fast marching tree: A fast marching sampling-based method for optimal motion planning in many dimensions ,” The International journal of robotics research , vol. 34, no. 7, pp. 883–921, 2015
2015
Earlier work this paper cites.
M. Rubagotti, L. Zaccarian, and A. Bemporad, “ A Lyapunov Method for Stability Analysis of Piecewise-Affine Systems Over Non-Invariant Domains ,” International Journal of Control , vol. 89, pp. 1–25, 10 2015
2015
Earlier work this paper cites.
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
2017
Earlier work this paper cites.
F. Borrelli, A. Bemporad, and M. Morari, Predictive Control for Linear and Hybrid Systems . Cambridge University Press, 2017
2017
Earlier work this paper cites.
A. Maréchal, D. Monniaux, and M. Périn, “ Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming ,” in International Static Analysis Symposium . Springer, 2017, pp. 212–231
2017
Earlier work this paper cites.
I. Dunning, J. Huchette, and M. Lubin, “ JuMP: A Modeling Language for Mathematical Optimization ,” SIAM Review , vol. 59, no. 2, pp. 295–320, 2017
2017
Cited alongside, same era.
R. Arora, A. Basu, P. Mianjy, and A. Mukherjee, “ Understanding Deep Neural Networks with Rectified Linear Units ,” in International Conference on Learning Representations , 2018
2018
Cited alongside, same era.
W. Xiang, H.-D. Tran, and T. T. Johnson, “ Output Reachable Set Estimation and Verification for Multilayer Neural Networks ,” IEEE transactions on neural networks and learning systems , vol. 29, no. 11, pp. 5777–5783, 2018
2018
Cited alongside, same era.
T.-W. Weng, H. Zhang, H. Chen, Z. Song, C.-J. Hsieh, L. Daniel, and I. Dhillon, “ Towards Fast Computation of Certified Robustness for ReLU Networks ,” in International Conference on Machine Learning (ICML) , 2018
2018
Cited alongside, same era.
S. Bak, H.-D. Tran, K. Hobbs, and T. T. Johnson, “ Improved geometric path enumeration for verifying relu neural networks ,” in Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I 32 . Springer, 2020, pp. 66–96
2020
Later among the works it cites.
D. Rolnick and K. Kording, “ Reverse-engineering deep relu networks ,” in International Conference on Machine Learning . PMLR, 2020, pp. 8178–8187
2020
Later among the works it cites.
2020
Later among the works it cites.
X. Lin, H. Zhu, R. Samanta, and S. Jagannathan, “ ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks ,” in Formal Methods in Computer-Aided Design , 2020
2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
S. Wang, K. Pei, J. Whitehouse, J. Yang, and S. Jana, “ Formal Security Analysis of Neural Networks using Symbolic Intervals ,” in 27th USENIX Security Symposium (USENIX Security 18) , 2018, pp. 1599–1614
2018
Cited alongside, same era.
S. Wang, K. Pei, J. Whitehouse, J. Yang, and S. Jana, “ Efficient Formal Safety Analysis of Neural Networks ,” in Advances in Neural Information Processing Systems , 2018, pp. 6367–6377
2018
Cited alongside, same era.
H. Zhang, T.-W. Weng, P.-Y. Chen, C.-J. Hsieh, and L. Daniel, “ Efficient Neural Network Robustness Certification with General Activation Functions ,” in Advances in neural information processing systems , 2018, pp. 4939–4948
2018
Cited alongside, same era.
2018
Cited alongside, same era.
W. Ruan, X. Huang, and M. Kwiatkowska, “ Reachability analysis of deep neural networks with provable guarantees ,” in Proceedings of the 27th International Joint Conference on Artificial Intelligence , 2018, pp. 2651–2659
2018
Cited alongside, same era.
T. Gehr, M. Mirman, D. Drachsler-Cohen, P. Tsankov, S. Chaudhuri, and M. Vechev, “ AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation ,” in 2018 IEEE Symposium on Security and Privacy (SP) , 2018, pp. 3–18
2018
Cited alongside, same era.
S. M. Richards, F. Berkenkamp, and A. Krause, “ https://proceedings.mlr.press/v87/richards18a.html ,” in Conference on Robot Learning . PMLR, 2018, pp. 466–476
2018
Cited alongside, same era.
S. Baldi and W. Xiang, “ Reachable set estimation for switched linear systems with dwell-time switching ,” Nonlinear Analysis: Hybrid Systems , vol. 29, pp. 20–33, 2018
2018
Cited alongside, same era.
2020
Later among the works it cites.
W. Xiang, H.-D. Tran, X. Yang, and T. T. Johnson, “ Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach ,” IEEE Transactions on Neural Networks and Learning Systems , vol. 32, no. 5, pp. 1821–1830, 2020
2020
Later among the works it cites.
B. Legat, R. Deits, M. Forets, D. Oyama, S. Timme, F. Pacaud, S. Guadalupe, M. Besançon, J. TagBot, and E. Saba, “Juliapolyhedra/cddlib.jl: v0.6.1,” Mar. 2020. [Online]. Available: https://doi.org/10.5281/zenodo.3733590
2020
Later among the works it cites.
J. A. Vincent and M. Schwager, “ Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components ,” in 2021 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2021, pp. 9029–9035
2021
Later among the works it cites.
C. Liu, T. Arnon, C. Lazarus, C. Strong, C. Barrett, M. J. Kochenderfer, et al. , “ Algorithms for Verifying Deep Neural Networks ,” Foundations and Trends® in Optimization , vol. 4, no. 3-4, pp. 244–404, 2021
2021
Later among the works it cites.
H. Yin, P. Seiler, and M. Arcak, “ Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers ,” IEEE Transactions on Automatic Control , pp. 1–1, 2021
2021
Later among the works it cites.
S. Chen, M. Fazlyab, M. Morari, G. J. Pappas, and V. M. Preciado, “ Learning Region of Attraction for Nonlinear Systems ,” in 2021 60th IEEE Conference on Decision and Control (CDC) . IEEE, 2021, pp. 6477–6484
2021
Later among the works it cites.
2021
Later among the works it cites.
G. Papamakarios, E. Nalisnick, D. J. Rezende, S. Mohamed, and B. Lakshminarayanan, “ Normalizing flows for probabilistic modeling and inference ,” Journal of Machine Learning Research , vol. 22, no. 57, pp. 1–64, 2021
2021
Later among the works it cites.
S. M. Katz, A. L. Corso, C. A. Strong, and M. J. Kochenderfer, “ Verification of Image-Based Neural Network Controllers Using Generative Models ,” Journal of Aerospace Information Systems , vol. 19, no. 9, pp. 574–584, 2022
2022
Closest in time.
N. Rober, M. Everett, and J. P. How, “ Backward Reachability Analysis for Neural Feedback Loops ,” in 2022 IEEE 61st Conference on Decision and Control (CDC) . IEEE, 2022, pp. 2897–2904
2022
Closest in time.
C. Sidrane, A. Maleki, A. Irfan, and M. J. Kochenderfer, “ OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems ,” Journal of Machine Learning Research , vol. 23, no. 117, pp. 1–45, 2022
2022
Closest in time.
Y. Meng, D. Sun, Z. Qiu, M. T. B. Waez, and C. Fan, “ learning density distribution of reachable states for autonomous systems,” in Conference on Robot Learning . PMLR, 2022, pp. 124–136
2022
Closest in time.
S. Xu, J. Vaughan, J. Chen, A. Zhang, and A. Sudjianto, “ Traversing the Local Polytopes of ReLU Neural Networks ,” in The AAAI-22 Workshop on Adversarial Machine Learning and Beyond , 2022
2022
Closest in time.
T. Wei and C. Liu, “ Safe Control with Neural Network Dynamic Models ,” in Learning for Dynamics and Control Conference . PMLR, 2022, pp. 739–750
2022
Closest in time.
T. Entesari and M. Fazlyab, “ Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes ,” in Learning for Dynamics and Control Conference . PMLR, 2023, pp. 407–419
2023
Closest in time.
N. Kochdumper, C. Schilling, M. Althoff, and S. Bak, “ Open-and closed-loop neural network verification using polynomial zonotopes ,” in NASA Formal Methods Symposium . Springer, 2023, pp. 16–36
2023
Closest in time.
N. Rober, S. M. Katz, C. Sidrane, E. Yel, M. Everett, M. J. Kochenderfer, and J. P. How, “ Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems ,” IEEE Open Journal of Control Systems , vol. 2, pp. 108–124, 2023
2023
Closest in time.
Y. Zhang, H. Zhang, and X. Xu, “ Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes ,” IEEE Control Systems Letters , vol. 7, pp. 2779–2784, 2023
2023
Closest in time.
L. Jouret, A. Saoud, and S. Olaru, “ Safety verification of Neural-Network-based controllers: a set invariance approach ,” IEEE Control Systems Letters , 2023
2023
Closest in time.