{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T18:54:42Z","timestamp":1785956082882,"version":"3.56.0"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Scientific Computing"],"published-print":{"date-parts":[[2003,12]]},"DOI":"10.1023\/a:1025364227563","type":"journal-article","created":{"date-parts":[[2003,9,19]],"date-time":"2003-09-19T21:20:03Z","timestamp":1064006403000},"page":"323-346","source":"Crossref","is-referenced-by-count":104,"title":["Overapproximating Reachable Sets by Hamilton-Jacobi Projections"],"prefix":"10.1007","volume":"19","author":[{"given":"Ian M.","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claire J.","family":"Tomlin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"460018_CR1","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1109\/6979.928722","volume":"2","author":"C. J. Tomlin","year":"2001","unstructured":"Tomlin, C. J., Mitchell, I., and Ghosh, R. (2001). Safety verification of conflict resolution maneuvers. IEEE T. Intell. Transp. 2, 110-120.","journal-title":"IEEE T. Intell. Transp."},{"key":"460018_CR2","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. E. Bryant","year":"1986","unstructured":"Bryant, R. E. (1986). Graph-based algorithms for boolean function manipulation. IEEE T. Comput. C 35, 677-691.","journal-title":"IEEE T. Comput. C"},{"key":"460018_CR3","unstructured":"Mitchell, I., Bayen, A., and Tomlin, C. J. Computing reachable sets for continuous dynamic games using level set methods. Submitted January 2002 to IEEE T. Automat. Contr."},{"key":"460018_CR4","doi-asserted-by":"crossref","unstructured":"Mitchell, I., and Tomlin, C. (2002). Level set methods for computation in hybrid systems. In Krogh, B., and Lynch, N. (eds.), Hybrid Systems: Computation and Control, Vol. 1790, Lecture Notes in Computer Science, Springer-Verlag, pp. 310-323.","DOI":"10.1007\/3-540-46430-1_27"},{"key":"460018_CR5","doi-asserted-by":"crossref","unstructured":"Mitchell, I., Bayen, A., and Tomlin, C. J. (2001). Validating a Hamilton-Jacobi approximation to hybrid system reachable sets. In Benedetto, M. D. D., and Sangiovanni-Vincentelli, A. (eds.), Hybrid Systems: Computation and Control, Vol. 2034, Lecture Notes in Computer Science, Springer-Verlag, pp. 418-432.","DOI":"10.1007\/3-540-45351-2_34"},{"key":"460018_CR6","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1016\/0021-9991(88)90002-2","volume":"79","author":"S. Osher","year":"1988","unstructured":"Osher, S., and Sethian, J. A. (1988). Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations. J. Comput. Phys. 79, 12-49.","journal-title":"J. Comput. Phys."},{"issue":"4","key":"460018_CR7","doi-asserted-by":"crossref","first-page":"907","DOI":"10.1137\/0728049","volume":"28","author":"S. Osher","year":"1991","unstructured":"Osher, S., and Shu, C.-W. (1991). High-order essentially nonoscillatory schemes for Hamilton-Jacobi equations. SIAM J. Numer. Anal. 28(4), 907-922.","journal-title":"SIAM J. Numer. Anal."},{"key":"460018_CR8","doi-asserted-by":"crossref","unstructured":"Osher, S., and Fedkiw, R. (2002). Level Set Methods and Dynamic Implicit Surfaces, Springer-Verlag.","DOI":"10.1007\/b98879"},{"issue":"2","key":"460018_CR9","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1090\/S0002-9947-1984-0732102-X","volume":"282","author":"M. G. Crandall","year":"1984","unstructured":"Crandall, M. G., Evans, L. C., and Lions, P.-L. (1984). Some properties of viscosity solutions of Hamilton-Jacobi equations. Trans. Amer. Math. Soc. 282(2), 487-502.","journal-title":"Trans. Amer. Math. Soc."},{"issue":"5","key":"460018_CR10","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1512\/iumj.1984.33.33040","volume":"33","author":"L. C. Evans","year":"1984","unstructured":"Evans, L. C., and Souganidis, P. E. (1984). Differential games and representation formulas for solutions of Hamilton-Jacobi-Isaacs equations. Indiana Univ. Math. J. 33(5), 773-797.","journal-title":"Indiana Univ. Math. J."},{"issue":"3","key":"460018_CR11","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","volume":"35","author":"J. Lygeros","year":"1999","unstructured":"Lygeros, J., Tomlin, C., and Sastry, S. (1999). Controllers for reachability specifications for hybrid systems. Automatica 35(3), 349-370.","journal-title":"Automatica"},{"key":"460018_CR12","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/5.871303","volume":"88","author":"C. Tomlin","year":"2000","unstructured":"Tomlin, C., Lygeros, J., and Sastry, S. (2000). A game theoretic approach to controller design for hybrid systems, P. IEEE 88, 949-970.","journal-title":"P. IEEE"},{"key":"460018_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4755-1","volume-title":"Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations","author":"M. Bardi","year":"1997","unstructured":"Bardi, M., and Capuzzo-Dolcetta, I. (1997). Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations, Boston, Birkh\u00e4user."},{"key":"460018_CR14","doi-asserted-by":"crossref","unstructured":"Broucke, M., Benedetto, M. D. D., Gennaro, S. D., and Sangiovanni-Vincentelli, A. (2001). Optimal control using bisimulations: Implementation. In Benedetto, M. D. D., and Sangiovanni-Vincentelli, A. (eds.), Hybrid Systems: Computation and Control, Vol. 2034, Lecture Notes in Computer Science, Springer-Verlag, pp. 175-188.","DOI":"10.1007\/3-540-45351-2_17"},{"key":"460018_CR15","doi-asserted-by":"crossref","unstructured":"Cardaliaguet, P., Quincampoix, M., and Saint-Pierre, P. (1999). Set-valued numerical analysis for optimal control and differential games. In Bardi, M., Raghavan, T. E. S., and Parthasarathy, T. (eds.), Stochastic and Differential Games: Theory and Numerical Methods, Vol. 4, pp. 177-247, Annals of International Society of Dynamic Games, Birkh\u00e4user.","DOI":"10.1007\/978-1-4612-1592-9_4"},{"key":"460018_CR16","doi-asserted-by":"crossref","unstructured":"Asarin, E., Bournez, O., Dang, T., and Maler, O. (2000). Approximate reachability analysis of piecewise-linear dynamical systems. In Lynch, N., and Krogh, B. (eds.), Hybrid Systems: Computation and Control, Vol. 1790, Lecture Notes in Computer Science, Springer-Verlag, pp. 21-31.","DOI":"10.1007\/3-540-46430-1_6"},{"key":"460018_CR17","doi-asserted-by":"crossref","unstructured":"Botchkarev, O., and Tripakis, S. (2000). Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In Krogh, B., and Lynch, N. (eds.), Hybrid Systems: Computation and Control, Vol. 1790, Lecture Notes in Computer Science, Springer-Verlag, pp. 73-88.","DOI":"10.1007\/3-540-46430-1_10"},{"key":"460018_CR18","doi-asserted-by":"crossref","unstructured":"Bemporad, A., Torrisi, F. D., and Morari, M. (2000). Optimization-based verification and stability characterization of piecewise affine and hybrid systems. In Krogh, B., and Lynch, N. (eds.), Hybrid Systems: Computation and Control, Vol. 1790, Lecture Notes in Computer Science, Springer-Verlag, pp. 45-59.","DOI":"10.1007\/3-540-46430-1_8"},{"key":"460018_CR19","doi-asserted-by":"crossref","unstructured":"Chutinan, A., and Krogh, B. H. (2000). Approximating quotient transition systems for hybrid systems. In Proceedings of the American Control Conference, Chicago, IL, pp. 1689-1693.","DOI":"10.1109\/ACC.2000.879489"},{"key":"460018_CR20","doi-asserted-by":"crossref","unstructured":"Hassibi, A., Boyd, S., and How, J. P. (1999). A class of Lyapunov functionals for analyzing hybrid dynamical systems. In Proceedings of the American Control Conference, San Diego, CA, pp. 2455-2460.","DOI":"10.1109\/ACC.1999.786489"},{"key":"460018_CR21","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A., Horowitz, B., Majumdar, R., and Wong-Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Krogh, B., and Lynch, N. (eds.) Hybrid Systems: Computation and Control, Vol. 1790, Lecture Notes in Computer Science, Springer-Verlag, pp. 130-144.","DOI":"10.1007\/3-540-46430-1_14"},{"key":"460018_CR22","doi-asserted-by":"crossref","unstructured":"Kurzhanski, A. B., and Varaiya, P. (2000). Ellipsoidal techniques for reachability analysis. In Krogh, B., and Lynch, N. (eds.), Hybrid Systems: Computation and Control, Vol. 1790, Lecture Notes in Computer Science, Springer-Verlag, pp. 202-214.","DOI":"10.1007\/3-540-46430-1_19"},{"key":"460018_CR23","doi-asserted-by":"crossref","unstructured":"Shakernia, O., Pappas, G. J., and Sastry, S. S. (2000). Decidable controller synthesis for classes of linear systems. In Krogh, B., and Lynch, N. (eds.), Hybrid Systems: Computation and Control, Vol. 1790, Lecture Notes in Computer Science, Springer-Verlag, pp. 407-420.","DOI":"10.1007\/3-540-46430-1_34"},{"key":"460018_CR24","doi-asserted-by":"crossref","unstructured":"Shishido, N., and Tomlin, C. J. (2000). Ellipsoidal approximations of reachable sets for linear games. In Proceedings of the IEEE Conference on Decision and Control, Sydney, Australia.","DOI":"10.1109\/CDC.2000.912904"},{"key":"460018_CR25","doi-asserted-by":"crossref","unstructured":"Tiwari, A., and Khanna, G. (2002). Series of abstractions for hybrid automata. In Tomlin, C. J., and Greenstreet, M. R. (eds.), Hybrid Systems: Computation and Control, Vol. 2289, Lecture Notes in Computer Science, Springer-Verlag, pp. 465-478.","DOI":"10.1007\/3-540-45873-5_36"},{"key":"460018_CR26","doi-asserted-by":"crossref","unstructured":"Vidal, R., Schaffert, S., Lygeros, J., and Sastry, S. S. (2000). Controlled invariance of discrete time systems. In Krogh, B., and Lynch, N. (eds.), Hybrid Systems: Computation and Control, Vol. 1790, Lecture Notes in Computer Science, Springer-Verlag, pp. 437-450.","DOI":"10.1007\/3-540-46430-1_36"},{"key":"460018_CR27","doi-asserted-by":"crossref","unstructured":"Greenstreet, M., and Mitchell, I. (1998). Integrating projections. In Sastry, S., and Henzinger, T. (eds.), Hybrid Systems: Computation and Control, Vol. 1386, Lecture Notes in Computer Science, pp. 159-174, Springer-Verlag.","DOI":"10.1007\/3-540-64358-3_38"},{"key":"460018_CR28","doi-asserted-by":"crossref","unstructured":"Greenstreet, M., and Mitchell, I. (1999). Reachability analysis using polygonal projections. In Vaandrager, F., and van Schuppen, J. (eds.), Hybrid Systems: Computation and Control, Vol. 1569, Lecture Notes in Computer Science, Springer-Verlag, pp. 103-116.","DOI":"10.1007\/3-540-48983-5_12"},{"key":"460018_CR29","doi-asserted-by":"crossref","unstructured":"Govindaraju, S. G., Dill, D. L., Hu, A. J., and Horowitz, M. A. (1998). Approximate reachability with BDDs using overlapping projections. In 35th Design Automation Conference, San Francisco, CA, pp. 451-456.","DOI":"10.1145\/277044.277169"},{"key":"460018_CR30","doi-asserted-by":"crossref","unstructured":"Govindaraju, S. G., Dill, D. L., and Bergmann, J. P. (1999). Improved approximate reachability using auxiliary state variables. In 36th Design Automation Conference, New Orleans, LA, pp. 312-316.","DOI":"10.1145\/309847.309940"},{"key":"460018_CR31","doi-asserted-by":"crossref","unstructured":"Govindaraju, S. G., and Dill, D. L. (2000). Counterexample-guided choice of projections in approximate symbolic model checking. In International Conference on Computer Aided Design, San Jose, CA, pp. 115-119.","DOI":"10.1109\/ICCAD.2000.896460"},{"key":"460018_CR32","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1006\/jcph.2001.6758","volume":"170","author":"P. Burchard","year":"2001","unstructured":"Burchard, P., Cheng, L.-T., Merriman, B., and Osher, S. (2001). Motion of curves in three spatial dimensions using a level set approach. J. Comput. Phys. 170, 720-741.","journal-title":"J. Comput. Phys."},{"key":"460018_CR33","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1006\/jcph.2002.7080","volume":"179","author":"S. Osher","year":"2001","unstructured":"Osher, S., Cheng, L.-T., Kang, M., Shim, H., and Tsai, Y.-H. (2001). Geometric optics in a phase space based level set and Eulerian framework. J. Comput. Phys. 179, 622-648.","journal-title":"J. Comput. Phys."},{"key":"460018_CR34","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1006\/jcph.2002.7033","volume":"178","author":"B. Engquist","year":"2002","unstructured":"Engquist, B., Runborg, O., and Tornberg, A.-K. (2002). High frequency wave propagation by the segment projection method. J. Comput. Phys. 178, 373-390.","journal-title":"J. Comput. Phys."},{"issue":"5","key":"460018_CR35","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BF00932932","volume":"9","author":"A. W. Merz","year":"1972","unstructured":"Merz, A. W. (1972). The game of two identical cars. J. Optim. Theory Appl. 9(5), 324-343.","journal-title":"J. Optim. Theory Appl."},{"key":"460018_CR36","series-title":"Tech. Rep. SUDAAR","volume-title":"Games of two identical vehicles","author":"I. Mitchell","year":"2001","unstructured":"Mitchell, I. (2001). Games of two identical vehicles. Tech. Rep. SUDAAR 740, Department of Aeronautics and Astronautics, Stanford University, Stanford, CA."},{"key":"460018_CR37","doi-asserted-by":"crossref","first-page":"2126","DOI":"10.1137\/S106482759732455X","volume":"21","author":"G.-S. Jiang","year":"2000","unstructured":"Jiang, G.-S., and Peng, D. (2000). Weighted ENO schemes for Hamilton-Jacobi equations. SIAM J. Sci. Comput. 21, 2126-2143.","journal-title":"SIAM J. Sci. Comput."},{"key":"460018_CR38","volume-title":"Level Set Methods and Fast Marching Methods","author":"J. A. Sethian","year":"1999","unstructured":"Sethian, J. A. (1999). Level Set Methods and Fast Marching Methods, New York, Cambridge University Press."},{"issue":"167","key":"460018_CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0025-5718-1984-0744921-8","volume":"43","author":"M. G. Crandall","year":"1984","unstructured":"Crandall, M. G., and Lions, P.-L. (1984). Two approximations of solutions of Hamilton-Jacobi equations. Math. Comp. 43(167), 1-19.","journal-title":"Math. Comp."},{"key":"460018_CR40","doi-asserted-by":"crossref","first-page":"1686","DOI":"10.1073\/pnas.68.8.1686","volume":"68","author":"K. O. Friedrichs","year":"1971","unstructured":"Friedrichs, K. O., and Lax, P. D. (1971). Systems of conservation equations with a convex extension. Proc. Nat. Acad. Sci. U.S.A. 68, 1686-1688.","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"460018_CR41","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/0021-9991(88)90177-5","volume":"77","author":"C.-W. Shu","year":"1988","unstructured":"Shu, C.-W., and Osher, S. (1988). Efficient implementation of essentially non-oscillatory shock-capturing schemes. J. Comput. Phys. 77, 439-471.","journal-title":"J. Comput. Phys."},{"issue":"4","key":"460018_CR42","doi-asserted-by":"crossref","first-page":"905","DOI":"10.57262\/die\/1370032242","volume":"6","author":"S. Bortoletto","year":"1993","unstructured":"Bortoletto, S. (1993). The Bellman equation for constrained deterministic optimal control problems. Differential Integral Equations 6(4), 905-924.","journal-title":"Differential Integral Equations"},{"key":"460018_CR43","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/jcph.1998.6090","volume":"148","author":"D. Adalsteinsson","year":"1999","unstructured":"Adalsteinsson, D., and Sethian, J. A. (1999). The fast construction of extension velocities in level set methods. J. Comput. Phys. 148, 2-22.","journal-title":"J. Comput. Phys."},{"key":"460018_CR44","unstructured":"http:\/\/cherokee.stanford.edu\/~mitchell."}],"container-title":["Journal of Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025364227563.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025364227563\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025364227563.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T09:26:46Z","timestamp":1751621206000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025364227563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":44,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["460018"],"URL":"https:\/\/doi.org\/10.1023\/a:1025364227563","relation":{},"ISSN":["0885-7474","1573-7691"],"issn-type":[{"value":"0885-7474","type":"print"},{"value":"1573-7691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}