Fetching the paper…
Reading the bibliography…
Hamilton-Jacobi (HJ) reachability analysis is an important formal verification method for guaranteeing performance and safety properties of dynamical control systems.
“Theory of ordinary differential equations” pp. 1–42
E.. Coddington and N. Levinson · 1955
Earlier work this paper cites.
“Neural algorithm for solving differential equations”
Hyuk Lee and In Kang · 1990
Earlier work this paper cites.
“Integrating Projections Mark R. Greenstreet Department of Computer Science”
Mark Greenstreet · 1998
Earlier work this paper cites.
“Artificial neural networks for solving ordinary and partial differential equations”
Isaac Lagaris, Aristidis Likas and Dimitrios Fotiadis · 1998
Earlier work this paper cites.
“Ellipsoidal techniques for reachability analysis: internal approximation”
A.B. Kurzhanski and P. Varaiya · 2000
Earlier work this paper cites.
“Multilayer neural networks for solving a class of partial differential equations”
Shouling He, Konrad Reif and Rolf Unbehauen · 2000
Earlier work this paper cites.
“On Ellipsoidal Techniques for Reachability Analysis. Part II: Internal Approximations Box-valued Constraints”
A.B. Kurzhanski and P. Varaiya · 2002
Earlier work this paper cites.
“Approximation of function and its derivatives using radial basis function networks”
Nam Mai-Duy and Thanh Tran-Cong · 2003
Earlier work this paper cites.
“On reachability and minimum cost optimal control”
John Lygeros · 2004
Earlier work this paper cites.
“A toolbox of level set methods”
I. Mitchell · 2004
Earlier work this paper cites.
“A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games”
I. Mitchell, A. Bayen and C.. Tomlin · 2005
Earlier work this paper cites.
“Reachability of uncertain linear systems using zonotopes”
Antoine Girard · 2005
Earlier work this paper cites.
“A neural approximation to continuous time reachability computations”
KN Niarchos and John Lygeros · 2006
Earlier work this paper cites.
“Neural approximation of PDE solutions: An application to reachability computations”
Badis Djeridane and John Lygeros · 2006
Earlier work this paper cites.
“Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes”
Matthias Althoff, Olaf Stursberg and Martin Buss · 2010
Earlier work this paper cites.
“Hamilton-Jacobi Formulation for Reach–Avoid Differential Games”
K. Margellos and J. Lygeros · 2011
Earlier work this paper cites.
“SpaceEx: Scalable Verification of Hybrid Systems”
G. Frehse et al · 2011
Earlier work this paper cites.
“Convex optimization of nonlinear feedback controllers via occupation measures”
A. Majumdar, R. Vasudevan, M.M. Tobenkin and R. Tedrake · 2014
Earlier work this paper cites.
“Convex computation of the region of attraction of polynomial control systems”
D. Henrion and M. Korda · 2014
Earlier work this paper cites.
“A machine learning approach for real-time reachability analysis”
Ross Allen, Ashley Clark, Joseph Starek and Marco Pavone · 2014
Cited alongside, same era.
“Reach-avoid problems with time-varying dynamics, targets and constraints”
Jaime Fisac, Mo Chen, Claire Tomlin and S Sastry · 2015
Cited alongside, same era.
“Efficient finite abstraction of mixed monotone systems”
Samuel Coogan and Murat Arcak · 2015
Cited alongside, same era.
“Parallelotope Bundles for Polynomial Reachability”
T. Dreossi, T. Dang and C. Piazza · 2016
Cited alongside, same era.
“Synthesis of separable controlled invariant sets for modular local control design”
Petter Nilsson and Necmiye Ozay · 2016
Cited alongside, same era.
“Control barrier function based quadratic programs for safety critical systems”
Aaron Ames, Xiangru Xu, Jessy Grizzle and Paulo Tabuada · 2016
“Neural ordinary differential equations”
Ricky Chen, Yulia Rubanova, Jesse Bettencourt and David Duvenaud · 2018
Later among the works it cites.
“Numerical verification of affine systems with up to a billion dimensions”
Stanley Bak, Hoang-Dung Tran and Taylor Johnson · 2019
Later among the works it cites.
“Control barrier functions: Theory and applications”
Aaron Ames et al · 2019
Later among the works it cites.
“A new simulation metric to determine safe environments and controllers for systems with unknown dynamics”
Shromona Ghosh et al · 2019
Later among the works it cites.
“A Classification-based Approach for Approximate Reachability”
Vicenç Rubies-Royo, David Fridovich-Keil, Sylvia Herbert and Claire Tomlin · 2019
Later among the works it cites.
“Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning”
Jaime. Fisac et al · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
“Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances”
S. Bansal, M. Chen, S. Herbert and C.. Tomlin · 2017
Cited alongside, same era.
“Guaranteeing constraints of disturbed nonlinear systems using set-based optimal control in generator space”
Bastian Schürmann and Matthias Althoff · 2017
Cited alongside, same era.
“Funnel libraries for real-time robust feedback motion planning”
A. Majumdar and R. Tedrake · 2017
Cited alongside, same era.
“Algorithm for overcoming the curse of dimensionality for time-dependent non-convex hamilton–jacobi equations arising from optimal control and differential games problems”
Yat Chow, Jérôme Darbon, Stanley Osher and Wotao Yin · 2017
Cited alongside, same era.
“Data-driven approximate dynamic programming: A linear programming approach”
Tobias Sutter, Angeliki Kamoutsi, Peyman Esfahani and John Lygeros · 2017
Cited alongside, same era.
“A hybrid framework for multi-vehicle collision avoidance”
Aparna Dhinakaran et al · 2017
Cited alongside, same era.
Later among the works it cites.
“Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations”
Maziar Raissi, Paris Perdikaris and George Karniadakis · 2019
Later among the works it cites.
“Reachability-Based Safety Guarantees using Efficient Initializations”
Sylvia Herbert, Shromona Ghosh, Somil Bansal and Claire Tomlin · 2019
Later among the works it cites.
“An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments”
Andrea Bajcsy et al · 2019
Later among the works it cites.
“Implicit neural representations with periodic activation functions”
Vincent Sitzmann et al · 2020
Closest in time.
“On infusing reachability-based safety assurance within planning frameworks for human–robot vehicle interactions”
Karen Leung et al · 2020
Closest in time.
“Reachable Sets for Safe, Real-Time Manipulator Trajectory Design”
Patrick Holmes et al · 2020
Closest in time.
“Leveraging the template and anchor framework for safe, online robotic gait design”
Jinsun Liu et al · 2020
Closest in time.
“Estimating Reachable Sets with Scenario Optimization”, 2020
Alex Devonport and Murat Arcak · 2020
Closest in time.
“Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling”
Thomas Lew and Marco Pavone · 2020
Closest in time.
“Overcoming the curse of dimensionality for some Hamilton–Jacobi partial differential equations via neural network architectures”
Jerome Darbon, Gabriel Langlois and Tingwei Meng · 2020
Closest in time.
“A Robust Controlled Backward Reach Tube with (Almost) Analytic Solution for Two Dubins Cars”
Ian Mitchell · 2020
Closest in time.
“Lagrangian methods for approximating the viability kernel in high-dimensional systems”
J.N. Maidens et al · 2029
Closest in time.