Fetching the paper…
Reading the bibliography…
The Hopf formula for Hamilton-Jacobi reachability (HJR) analysis has been proposed to solve high-dimensional differential games, producing the set of initial states and corresponding controller required to reach (or avoid) a target despite bounded disturbances.
B. O. Koopman, “Hamiltonian systems and transformation in Hilbert space,” Proceedings of the National Academy of Sciences , vol. 17, no. 5, pp. 315–318, 1931
1931
Earlier work this paper cites.
E. Hopf, “Generalized solutions of non-linear equations of first order,” Journal of Mathematics and Mechanics , vol. 14, no. 6, pp. 951–973, 1965
1965
Earlier work this paper cites.
D. Gabay and B. Mercier, “A dual algorithm for the solution of nonlinear variational problems via finite element approximation,” Computers & mathematics with applications , vol. 2, no. 1, pp. 17–40, 1976
1976
Earlier work this paper cites.
L. C. Evans and P. E. Souganidis, “Differential games and representation formulas for solutions of Hamilton-Jacobi-isaacs equations,” Indiana University mathematics journal , vol. 33, no. 5, pp. 773–797, 1984
1984
Earlier work this paper cites.
M. Bardi and L. C. Evans, “On hopf’s formulas for solutions of hamilton-jacobi equations,” Nonlinear Analysis: Theory, Methods & Applications , vol. 8, no. 11, pp. 1373–1381, 1984
1984
Earlier work this paper cites.
P.-L. Lions and J.-C. Rochet, “Hopf formula and multitime Hamilton-Jacobi equations,” Proceedings of the American Mathematical Society , vol. 96, no. 1, pp. 79–84, 1986
1986
Earlier work this paper cites.
J. Bezdek, R. Hathaway, R. Howard, C. Wilson, and M. Windham, “Local convergence analysis of a grouped variable version of coordinate descent,” Journal of Optimization Theory and Applications , vol. 54, pp. 471–477, 1987
1987
Earlier work this paper cites.
P. J. Barry and R. N. Goldman, “A recursive evaluation algorithm for a class of catmull-rom splines,” ACM SIGGRAPH Computer Graphics , vol. 22, no. 4, pp. 199–204, 1988
1988
Earlier work this paper cites.
A. I. Subbotin, “Minimax solutions of first-order partial differential equations,” Russian Mathematical Surveys , vol. 51, no. 2, p. 283, 1996
1996
Earlier work this paper cites.
T. Başar and G. J. Olsder, Dynamic noncooperative game theory . SIAM, 1998
1998
Earlier work this paper cites.
E. Hairer and G. Wanner, “Stiff differential equations solved by radau methods,” Journal of Computational and Applied Mathematics , vol. 111, no. 1-2, pp. 93–111, 1999
1999
Earlier work this paper cites.
I. Rublev, “Generalized Hopf formulas for the nonautonomous Hamilton-Jacobi equation,” Computational Mathematics and Modeling , vol. 11, no. 4, pp. 391–400, 2000
2000
Earlier work this paper cites.
A. Ben-Tal and A. Nemirovski, Lectures on modern convex optimization . SIAM, 2001
2001
Earlier work this paper cites.
A. Bemporad, F. Borrelli, M. Morari et al. , “Model predictive control based on linear programming˜ the explicit solution,” IEEE transactions on automatic control , vol. 47, no. 12, pp. 1974–1985, 2002
2002
Earlier work this paper cites.
I. M. Mitchell and C. J. Tomlin, “Overapproximating reachable sets by Hamilton-Jacobi projections,” 2003
2003
Earlier work this paper cites.
P. Ruoff, M. K. Christensen, J. Wolf, and R. Heinrich, “Temperature dependency and temperature compensation in a model of yeast glycolytic oscillations,” Biophysical chemistry , vol. 106, no. 2, pp. 179–192, 2003
2003
Earlier work this paper cites.
S. P. Boyd and L. Vandenberghe, Convex optimization . Cambridge university press, 2004
2004
Earlier work this paper cites.
M. Althoff and B. H. Krogh, “Zonotope bundles for the efficient computation of reachable sets,” in 2011 50th IEEE conference on decision and control and European control conference . IEEE, 2011, pp. 6814–6821
2011
Earlier work this paper cites.
S. Boyd, N. Parikh, E. Chu, B. Peleato, J. Eckstein et al. , “Distributed optimization and statistical learning via the alternating direction method of multipliers,” Foundations and Trends® in Machine learning , vol. 3, no. 1, pp. 1–122, 2011
2011
Cited alongside, same era.
Q. Wei, “Viscosity solution of the hamilton–jacobi equation by a limiting minimax method,” Nonlinearity , vol. 27, no. 1, p. 17, 2013
2013
Cited alongside, same era.
Y. Lan and I. Mezić, “Linearization in the large of nonlinear systems and koopman operator spectrum,” Physica D: Nonlinear Phenomena , vol. 242, no. 1, pp. 42–53, 2013
2013
Cited alongside, same era.
A. Majumdar, R. Vasudevan, M. M. Tobenkin, and R. Tedrake, “Convex optimization of nonlinear feedback controllers via occupation measures,” The International Journal of Robotics Research , vol. 33, no. 9, pp. 1209–1230, 2014
2014
Cited alongside, same era.
M. Korda and I. Mezić, “Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control,” Automatica , vol. 93, pp. 149–160, 2018
2018
Later among the works it cites.
D. Lee and C. J. Tomlin, “Iterative method using the generalized Hopf formula: Avoiding spatial discretization for computing solutions of Hamilton-Jacobi equations for nonlinear systems,” in 2019 IEEE 58th Conference on Decision and Control (CDC) . IEEE, 2019, pp. 1486–1493
2019
Later among the works it cites.
Y. T. Chow, J. Darbon, S. Osher, and W. Yin, “Algorithm for overcoming the curse of dimensionality for state-dependent Hamilton-Jacobi equations,” Journal of Computational Physics , vol. 387, pp. 376–409, 2019
2019
Later among the works it cites.
E. Yeung, S. Kundu, and N. Hodas, “Learning deep neural network representations for Koopman operators of nonlinear dynamical systems,” in 2019 American Control Conference (ACC) . IEEE, 2019, pp. 4832–4839
2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
J. L. Proctor, S. L. Brunton, and J. N. Kutz, “Dynamic mode decomposition with control,” 2014
2014
Cited alongside, same era.
A. B. Kurzhanski, “Dynamics and control of trajectory tubes. theory and computation,” in 2014 20th International Workshop on Beam Dynamics and Optimization (BDO) . IEEE, 2014, pp. 1–1
2014
Cited alongside, same era.
F. John, “Extremum problems with inequalities as subsidiary conditions,” Traces and emergence of nonlinear programming , pp. 197–215, 2014
2014
Cited alongside, same era.
P. T. Inc. (2015) Collaborative data science. Montreal, QC. [Online]. Available: https://plot.ly
2015
Cited alongside, same era.
B. C. Daniels and I. Nemenman, “Efficient inference of parsimonious phenomenological models of cellular dynamics using s-systems and alternating regression,” PloS one , vol. 10, no. 3, p. e0119821, 2015
2015
Cited alongside, same era.
J. Darbon and S. Osher, “Algorithms for overcoming the curse of dimensionality for certain hamilton–jacobi equations arising in control theory and elsewhere,” Research in the Mathematical Sciences , vol. 3, no. 1, p. 19, 2016
2016
Cited alongside, same era.
S. L. Brunton, B. W. Brunton, J. L. Proctor, and J. N. Kutz, “Koopman invariant subspaces and finite linear representations of nonlinear dynamical systems for control,” PloS one , vol. 11, no. 2, p. e0150171, 2016
2016
Cited alongside, same era.
A. Mesbah, “Stochastic model predictive control: An overview and perspectives for future research,” IEEE Control Systems Magazine , vol. 36, no. 6, pp. 30–44, 2016
2016
Cited alongside, same era.
2019
Later among the works it cites.
2019
Later among the works it cites.
D. Lee and C. J. Tomlin, “A Hopf-Lax formula in hamilton–jacobi analysis of reach-avoid problems,” IEEE Control Systems Letters , vol. 5, no. 3, pp. 1055–1060, 2020
2020
Later among the works it cites.
Y. Li, H. He, J. Wu, D. Katabi, and A. Torralba, “Learning compositional Koopman operators for model-based control,” 2020
2020
Later among the works it cites.
I. Mezić, “Koopman operator, geometry, and learning of dynamical systems,” Not. Am. Math. Soc , vol. 68, no. 7, pp. 1087–1105, 2021
2021
Later among the works it cites.
E. Kaiser, J. N. Kutz, and S. L. Brunton, “Data-driven discovery of Koopman eigenfunctions for control,” Machine Learning: Science and Technology , vol. 2, no. 3, p. 035023, 2021
2021
Later among the works it cites.
S. Bansal and C. J. Tomlin, “Deepreach: A deep learning approach to high-dimensional reachability,” in 2021 IEEE International Conference on Robotics and Automation (ICRA) . IEEE, 2021, pp. 1817–1824
2021
Later among the works it cites.
N. Kochdumper and S. Bak, “Conformant synthesis for Koopman operator linearized control systems,” in 2022 IEEE 61st Conference on Decision and Control (CDC) , 2022, pp. 7327–7332
2022
Later among the works it cites.
M. Haseli and J. Cortés, “Temporal forward–backward consistency, not residual error, measures the prediction accuracy of extended dynamic mode decomposition,” IEEE Control Systems Letters , vol. 7, pp. 649–654, 2022
2022
Later among the works it cites.
D. Lab, “pykoopman,” 2023, gitHub repository for the pykoopman package. [Online]. Available: https://github.com/dynamicslab/pykoopman
2023
Closest in time.
E. J. Lew, “Autokoopman,” 2023, gitHub repository for the AutoKoopman package. [Online]. Available: https://github.com/EthanJamesLew/AutoKoopman
2023
Closest in time.
S. ASL, “hj_reachability,” 2023, gitHub repository for the hj_reachability package. [Online]. Available: https://github.com/StanfordASL/hj_reachability
2023
Closest in time.
D. Lee and C. J. Tomlin, “Efficient computation of state-constrained reachability problems using hopf-lax formulae,” IEEE Transactions on Automatic Control , 2023
2023
Closest in time.