Fetching the paper…
Reading the bibliography…
Reachability analysis provides formal guarantees for performance and safety properties of nonlinear control systems.
E. A. Coddington and N. Levinson, Theory of ordinary differential equations . Tata McGraw-Hill Education, 1955
1955
Earlier work this paper cites.
P. P. Varaiya, “On the Existence of Solutions to a Differential Game,” SIAM J. Contr. , vol. 5, no. 1, pp. 153–162, Feb. 1967
1967
Earlier work this paper cites.
E. N. Barron, “Differential games with maximum cost,” Nonlinear Anal. , vol. 14, no. 11, pp. 971–989, Jun. 1990
1990
Earlier work this paper cites.
F. M. Callier and C. A. Desoer, “The System Representation R=[A,B,C,D], Part II,” in Linear System Theory . Springer, 1991, pp. 103–139
1991
Earlier work this paper cites.
M. R. Greenstreet and I. Mitchell, “Integrating projections,” in Hybrid Systems: Computation and Control , 1998, pp. 159–174
1998
Earlier work this paper cites.
S. S. Sastry, “Linearization by State Feedback,” in Nonlinear Systems: Analysis, Stability, and Control . Springer-Verlag, 1999, ch. 9, p. 384
1999
Earlier work this paper cites.
A. Kurzhanski and P. Varaiya, “Ellipsoidal techniques for reachability analysis: internal approximation,” Syst. & Contr. Lett. , vol. 41, no. 3, pp. 201–211, Oct. 2000
2000
Earlier work this paper cites.
R. Ghosh and C. J. Tomlin, “Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model,” in Proc. ACM Int. Conf. Hybrid Syst.: Computation and Contr. , 2001, pp. 232–246
2001
Earlier work this paper cites.
——, “On Ellipsoidal Techniques for Reachability Analysis. Part II: Internal Approximations Box-valued Constraints,” Optimization Methods and Software , vol. 17, no. 2, pp. 207–237, Jan. 2002
2002
Earlier work this paper cites.
I. M. Mitchell and C. J. Tomlin, “Overapproximating Reachable Sets by Hamilton-Jacobi Projections,” J. Scientific Computing , vol. 19, no. 1-3, pp. 323–346, 2003
2003
Earlier work this paper cites.
R. Ghosh and C. Tomlin, “A query-based technique for interpreting reachable sets for hybrid automaton models of protein feedback signaling,” in Proc. Amer. Contr. Conf. , 2005, pp. 4417–4422
2005
Earlier work this paper cites.
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. Autom. Control , vol. 50, no. 7, pp. 947–957, 2005
2005
Earlier work this paper cites.
G. Hoffmann, H. Huang, S. Waslander, and C. Tomlin, “Quadrotor Helicopter Flight Dynamics and Control: Theory and Experiment,” in Guidance, Navigation and Contr. Conf. and Exhibit , Aug. 2007
2007
Earlier work this paper cites.
I. M. Mitchell, “Comparing Forward and Backward Reachability as Tools for Safety Analysis,” in Proc. ACM Int. Conf. Hybrid Syst.: Computation and Contr. , 2007, pp. 428–443
2007
Earlier work this paper cites.
M. R. Hafner and D. Del Vecchio, “Computation of safety control for uncertain piecewise continuous systems on a partial order,” in Proc. Conf. Decision and Contr. , 2009, pp. 1671–1677
2009
Cited alongside, same era.
S. Kaynama and M. Oishi, “Schur-based decomposition for reachability analysis of linear time-invariant systems,” in Proc. IEEE Conf. on Decision and Control , Dec. 2009, pp. 69–74
2009
Cited alongside, same era.
G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler, “SpaceEx: Scalable Verification of Hybrid Systems,” in Proc. Int. Conf. on Computer Aided Verification , 2011, pp. 379–395
2011
Cited alongside, same era.
K. Margellos and J. Lygeros, “Hamilton-Jacobi Formulation for Reach-Avoid Differential Games,” IEEE Trans. Autom. Control , vol. 56, no. 8, pp. 1849–1861, Aug. 2011
2011
Cited alongside, same era.
J. Kong, M. Pfeiffer, G. Schildbach, and F. Borrelli, “Kinematic and dynamic vehicle models for autonomous driving control design,” in Intelligent Vehicles Symp. , Jun. 2015, pp. 1094–1099
2015
Later among the works it cites.
S. Kong, S. Gao, W. Chen, and E. Clarke, “dReach: δ \delta -Reachability Analysis for Hybrid Systems,” in Proc. Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems , 2015, pp. 200–205
2015
Later among the works it cites.
P. S. Duggirala, S. Mitra, M. Viswanathan, and M. Potok, “C2E2: A Verification Tool for Stateflow Models,” in Proc. Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems , 2015, pp. 68–82
2015
Later among the works it cites.
M. Althoff, “An Introduction to CORA 2015,” in Proc. Workshop on Applied Verification for Continuous and Hybrid Systems , 2015
2015
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
O. Bokanowski and H. Zidani, “Minimal Time Problems with Moving Targets and Obstacles,” IFAC Proc. Volumes , vol. 44, no. 1, pp. 2589–2593, Jan. 2011
2011
Cited alongside, same era.
I. Mitchell, “Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: a mixed implicit explicit formulation,” in Proc. ACM Int. Conf. Hybrid Syst.: Computation and Contr. , 2011, pp. 103–112
2011
Cited alongside, same era.
J. H. Gillula, G. M. Hoffmann, Haomiao Huang, M. P. Vitus, and C. J. Tomlin, “Applications of hybrid reachability analysis to robotic aerial vehicles,” Int. J. of Robotics Res. , vol. 30, no. 3, pp. 335–354, Mar. 2011
2011
Cited alongside, same era.
2011
Cited alongside, same era.
J. N. Maidens, S. Kaynama, I. M. Mitchell, M. M. K. Oishi, and G. A. Dumont, “Lagrangian methods for approximating the viability kernel in high-dimensional systems,” Automatica , vol. 49, no. 7, pp. 2017–2029, Jul. 2013
2013
Cited alongside, same era.
X. Chen, E. Ábrahám, and S. Sankaranarayanan, “Flow*: An Analyzer for Non-linear Hybrid Systems,” in Proc. Conf. Computer Aided Verification , 2013, pp. 258–263
2013
Cited alongside, same era.
——, “A Modified Riccati Transformation for Decentralized Computation of the Viability Kernel Under LTI Dynamics,” IEEE Trans. on Automatic Control , vol. 58, no. 11, pp. 2878–2892, Nov. 2013
2013
Cited alongside, same era.
C. Zhao, U. Topcu, N. Li, and S. Low, “Design and Stability of Load-Side Primary Frequency Control in Power Systems,” IEEE Trans. Autom. Control , vol. 59, no. 5, pp. 1177–1189, May 2014
2014
Cited alongside, same era.
S. Coogan and M. Arcak, “Efficient finite abstraction of mixed monotone systems,” in Proc. ACM Int. Conf. Hybrid Syst.: Computation and Contr. , 2015, pp. 58–67
2015
Later among the works it cites.
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 Int. Conf. Hybrid Syst.: Computation and Contr. , 2015, pp. 11–20
2015
Later among the works it cites.
R. Dobbe, D. Arnold, S. Liu, D. Callaway, and C. Tomlin, “Real-Time Distribution Grid State Estimation with Limited Sensors and Load Forecasting,” in Int. Conf. on Cyber-Physical Syst. , Apr. 2016, pp. 1–10
2016
Closest in time.
T. Dreossi, T. Dang, and C. Piazza, “Parallelotope Bundles for Polynomial Reachability,” in Proc. ACM Int. Conf. Hybrid Syst.: Computation and Contr. , 2016, pp. 297–306
2016
Closest in time.
P. Nilsson and N. Ozay, “Synthesis of separable controlled invariant sets for modular local control design,” in American Control Conference , Jul. 2016, pp. 5656–5663
2016
Closest in time.
J. Darbon and S. Osher, “Algorithms for overcoming the curse of dimensionality for certain Hamilton–Jacobi equations arising in control theory and elsewhere,” Res. Math. Sci. , vol. 3, no. 1, p. 19, Dec. 2016
2016
Closest in time.
M. Chen, S. Herbert, and C. J. Tomlin, “Fast reachable set approximations via state decoupling disturbances,” in IEEE Conf. Decision and Contr. , Dec. 2016, pp. 191–196
2016
Closest in time.
2016
Closest in time.
M. Chen, S. Herbert, and C. J. Tomlin, “Exact and efficient Hamilton-Jacobi-based guaranteed safety analysis via system decomposition,” in Proc. IEEE Int. Conf. on Robotics and Automation , 2017
2017
Closest in time.