{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T02:19:18Z","timestamp":1777601958119,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T00:00:00Z","timestamp":1334620800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,4,17]]},"DOI":"10.1145\/2185632.2185644","type":"proceedings-article","created":{"date-parts":[[2012,4,17]],"date-time":"2012-04-17T12:53:22Z","timestamp":1334667202000},"page":"55-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Computing the viability kernel using maximal reachable sets"],"prefix":"10.1145","author":[{"given":"Shahab","family":"Kaynama","sequence":"first","affiliation":[{"name":"University of British Columbia, Vancouver, BC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Maidens","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, BC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meeko","family":"Oishi","sequence":"additional","affiliation":[{"name":"University of New Mexico, Albuquerque, NM, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian M.","family":"Mitchell","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, BC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy A.","family":"Dumont","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, BC, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Viability Theory. Systems and Control: Foundations and Applications","author":"Aubin J.-P.","year":"1991","unstructured":"J.-P. Aubin . Viability Theory. Systems and Control: Foundations and Applications . Birkh\u00e4user , Boston, MA , 1991 . J.-P. Aubin. Viability Theory. Systems and Control: Foundations and Applications. Birkh\u00e4user, Boston, MA, 1991."},{"key":"e_1_3_2_1_2_1","volume-title":"Aircraft autolander safety analysis through optimal control-based reach set computation. Journal of Guidance, Control, and Dynamics, 30(1):68--77","author":"Bayen A. M.","year":"2007","unstructured":"A. M. Bayen , I. M. Mitchell , M. Oishi , and C. J. Tomlin . Aircraft autolander safety analysis through optimal control-based reach set computation. Journal of Guidance, Control, and Dynamics, 30(1):68--77 , 2007 . A. M. Bayen, I. M. Mitchell, M. Oishi, and C. J. Tomlin. Aircraft autolander safety analysis through optimal control-based reach set computation. Journal of Guidance, Control, and Dynamics, 30(1):68--77, 2007."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1564828"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/993483"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400880034"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/978-1-4612-1592-9_4","volume-title":"Stochastic and Differential Games: Theory and Numerical Methods, number 4 in Annals of the International Society of Dynamic Games","author":"Cardaliaguet P.","year":"1999","unstructured":"P. Cardaliaguet , M. Quincampoix , and P. Saint-Pierre . Set-valued numerical analysis for optimal control and differential games . In M. Bardi, T. Raghavan, and T. Parthasarathy, editors, Stochastic and Differential Games: Theory and Numerical Methods, number 4 in Annals of the International Society of Dynamic Games , pages 177 -- 247 , Boston, MA , 1999 . Birkh\u00e4user . P. Cardaliaguet, M. Quincampoix, and P. Saint-Pierre. Set-valued numerical analysis for optimal control and differential games. In M. Bardi, T. Raghavan, and T. Parthasarathy, editors, Stochastic and Differential Games: Theory and Numerical Methods, number 4 in Annals of the International Society of Dynamic Games, pages 177--247, Boston, MA, 1999. Birkh\u00e4user."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377784"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1002\/acs.1087","article-title":"Robust control of depth of anesthesia","volume":"23","author":"Dumont G.","year":"2009","unstructured":"G. Dumont , A. Martinez , and J. Ansermino . Robust control of depth of anesthesia . International Journal of Adaptive Control and Signal Processing , 23 : 435 -- 454 , 2009 . G. Dumont, A. Martinez, and J. Ansermino. Robust control of depth of anesthesia. International Journal of Adaptive Control and Signal Processing, 23:435--454, 2009.","journal-title":"International Journal of Adaptive Control and Signal Processing"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_20"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01514"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_13_1","first-page":"1505","volume-title":"Proc. American Control Conference","author":"Han Z.","year":"2006","unstructured":"Z. Han and B. H. Krogh . Reachability analysis of nonlinear systems using trajectory piecewise linearized models . In Proc. American Control Conference , pages 1505 -- 1510 , Minneapolis, MN , 2006 . Z. Han and B. H. Krogh. Reachability analysis of nonlinear systems using trajectory piecewise linearized models. In Proc. American Control Conference, pages 1505--1510, Minneapolis, MN, 2006."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.2008.923142"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2010.543703"},{"key":"e_1_3_2_1_16_1","article-title":"A modified Riccati transformation for complexity reduction in reachability analysis of linear time-invariant systems","author":"Kaynama S.","year":"2011","unstructured":"S. Kaynama and M. Oishi . A modified Riccati transformation for complexity reduction in reachability analysis of linear time-invariant systems . IEEE Transactions on Automatic Control , 2011 . (accepted; preprint available at www.ece.ubc.ca\/~kaynama). S. Kaynama and M. Oishi. A modified Riccati transformation for complexity reduction in reachability analysis of linear time-invariant systems. IEEE Transactions on Automatic Control, 2011. (accepted; preprint available at www.ece.ubc.ca\/~kaynama).","journal-title":"IEEE Transactions on Automatic Control"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161424"},{"key":"e_1_3_2_1_18_1","volume-title":"Ellipsoidal Calculus for Estimation and Control","author":"Kurzhanski A. B.","year":"1996","unstructured":"A. B. Kurzhanski and I. V\u00e1lyi . Ellipsoidal Calculus for Estimation and Control . Birkh\u00e4user , Boston, MA , 1996 . A. B. Kurzhanski and I. V\u00e1lyi. Ellipsoidal Calculus for Estimation and Control. Birkh\u00e4user, Boston, MA, 1996."},{"key":"e_1_3_2_1_19_1","first-page":"202","volume-title":"Hybrid Systems: Computation and Control, LNCS 1790","author":"Kurzhanski A. B.","year":"2000","unstructured":"A. B. Kurzhanski and P. Varaiya . Ellipsoidal techniques for reachability analysis . In N. Lynch and B. Krogh, editors, Hybrid Systems: Computation and Control, LNCS 1790 , pages 202 -- 214 , Berlin Heidelberg, 2000 . Springer-Verlag . A. B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis. In N. Lynch and B. Krogh, editors, Hybrid Systems: Computation and Control, LNCS 1790, pages 202--214, Berlin Heidelberg, 2000. Springer-Verlag."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(00)00059-1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012999361093"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377036"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"e_1_3_2_1_24_1","first-page":"448","volume-title":"Hybrid Systems: Computation and Control, LNCS 2993","author":"Kvasnica M.","year":"2004","unstructured":"M. Kvasnica , P. Grieder , M. Baoti\u0107 , and M. Morari . Multi-Parametric Toolbox (MPT) . In R. Alur and G. J. Pappas, editors, Hybrid Systems: Computation and Control, LNCS 2993 , pages 448 -- 462 , Berlin, Germany , 2004 . Springer . M. Kvasnica, P. Grieder, M. Baoti\u0107, and M. Morari. Multi-Parametric Toolbox (MPT). In R. Alur and G. J. Pappas, editors, Hybrid Systems: Computation and Control, LNCS 2993, pages 448--462, Berlin, Germany, 2004. Springer."},{"key":"e_1_3_2_1_25_1","unstructured":"C. Le Guernic. Reachability analysis of hybrid systems with linear continuous dynamics. PhD thesis Universit\u00e9 Grenoble 1 -- Joseph Fourier 2009. C. Le Guernic. Reachability analysis of hybrid systems with linear continuous dynamics. PhD thesis Universit\u00e9 Grenoble 1 -- Joseph Fourier 2009."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.01.012"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400119"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2008.2005995"},{"key":"e_1_3_2_1_29_1","first-page":"428","volume-title":"Hybrid Systems: Computation and Control, LNCS 4416","author":"Mitchell I. M.","year":"2007","unstructured":"I. M. Mitchell . Comparing forward and backward reachability as tools for safety analysis . In A. Bemporad, A. Bicchi, and G. Buttazzo, editors, Hybrid Systems: Computation and Control, LNCS 4416 , pages 428 -- 443 , Berlin Heidelberg, 2007 . Springer-Verlag . I. M. Mitchell. Comparing forward and backward reachability as tools for safety analysis. In A. Bemporad, A. Bicchi, and G. Buttazzo, editors, Hybrid Systems: Computation and Control, LNCS 4416, pages 428--443, Berlin Heidelberg, 2007. Springer-Verlag."},{"key":"e_1_3_2_1_30_1","first-page":"11","article-title":"A toolbox of level set methods. Technical report","author":"Mitchell I. M.","year":"2007","unstructured":"I. M. Mitchell . A toolbox of level set methods. Technical report , UBC Department of Computer Science, TR- 2007 -- 11 , June 2007. I. M. Mitchell. A toolbox of level set methods. Technical report, UBC Department of Computer Science, TR-2007--11, June 2007.","journal-title":"UBC Department of Computer Science, TR-"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967718"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025364227563"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2009.7074875"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400954"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01204182"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2007.4433738"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2003.7084971"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/978-3-642-01094-1_40","volume-title":"Nonlinear Model Predictive Control","author":"Syafiie S.","year":"2009","unstructured":"S. Syafiie , J. Ni\u00f1o , C. Ionescu , and R. De Keyser . NMPC for propofol drug dosing during anesthesia induction . In Nonlinear Model Predictive Control , volume 384 , pages 501 -- 509 . Springer Berlin Heidelberg , 2009 . S. Syafiie, J. Ni\u00f1o, C. Ionescu, and R. De Keyser. NMPC for propofol drug dosing during anesthesia induction. In Nonlinear Model Predictive Control, volume 384, pages 501--509. Springer Berlin Heidelberg, 2009."}],"event":{"name":"HSCC'12: Hybrid Systems: Computation and Control","location":"Beijing China","acronym":"HSCC'12","sponsor":["IEEE","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185632.2185644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2185632.2185644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:48:45Z","timestamp":1750236525000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2185632.2185644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,17]]},"references-count":38,"alternative-id":["10.1145\/2185632.2185644","10.1145\/2185632"],"URL":"https:\/\/doi.org\/10.1145\/2185632.2185644","relation":{},"subject":[],"published":{"date-parts":[[2012,4,17]]},"assertion":[{"value":"2012-04-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}