{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:31:27Z","timestamp":1762522287619,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"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":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311816","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"109-118","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Characterizations of safety in hybrid inclusions via barrier functions"],"prefix":"10.1145","author":[{"given":"Mohamed","family":"Maghenem","sequence":"first","affiliation":[{"name":"University of California"}]},{"given":"Ricardo G.","family":"Sanfelice","sequence":"additional","affiliation":[{"name":"University of California"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"J. P. Aubin and H. Frankowska. 2009. Set-valued analysis. Springer Science & Business Media.  J. P. Aubin and H. Frankowska. 2009. Set-valued analysis. Springer Science & Business Media.","DOI":"10.1007\/978-0-8176-4848-0"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.11.008"},{"key":"e_1_3_2_1_4_1","unstructured":"F. H. Clarke Y. S. Ledyaev R. J. Stern and P. R. Wolenski. 2008. Nonsmooth analysis and control theory. Vol. 178. Springer Science & Business Media.  F. H. Clarke Y. S. Ledyaev R. J. Stern and P. R. Wolenski. 2008. Nonsmooth analysis and control theory. Vol. 178. Springer Science & Business Media."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"R. Goebel R. G. Sanfelice and A. R. Teel. 2012. Hybrid Dynamical Systems: modeling stability and robustness. Princeton University Press.  R. Goebel R. G. Sanfelice and A. R. Teel. 2012. Hybrid Dynamical Systems: modeling stability and robustness. Princeton University Press.","DOI":"10.23943\/princeton\/9780691153896.001.0001"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.12.019"},{"volume-title":"Stability of motion","author":"Hahn W.","key":"e_1_3_2_1_7_1","unstructured":"W. Hahn . 1967. Stability of motion . Vol. 138 . Springer . W. Hahn. 1967. Stability of motion. Vol. 138. Springer."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(66)90028-X"},{"key":"e_1_3_2_1_9_1","unstructured":"N. N. Krasovskii. 1963. Stability of Motion. Applications of Lyapunov's second method to differential systems and equations with delay. Translated by J. L. Brenner. Vol. 48s. Standford University Press.  N. N. Krasovskii. 1963. Stability of Motion. Applications of Lyapunov's second method to differential systems and equations with delay. Translated by J. L. Brenner. Vol. 48s. Standford University Press."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.21136\/CMJ.1955.100154"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.21136\/CMJ.1957.100246"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1974.51.215"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"M. Maghenem and R. G. Sanfelice. 2019. On the characterization of safety and conditional invariance in dynamical systems. (2019). To appear in 2019 American Control Conference.  M. Maghenem and R. G. Sanfelice. 2019. On the characterization of safety and conditional invariance in dynamical systems. (2019). To appear in 2019 American Control Conference.","DOI":"10.23919\/ACC.2019.8814799"},{"key":"e_1_3_2_1_14_1","volume-title":"Continuous selections. I. Annals of mathematics","author":"Michael E.","year":"1956","unstructured":"E. Michael . 1956. Continuous selections. I. Annals of mathematics ( 1956 ), 361--382. E. Michael. 1956. Continuous selections. I. Annals of mathematics (1956), 361--382."},{"key":"e_1_3_2_1_15_1","first-page":"541","article-title":"On a theorem of Liapunov","volume":"14","author":"Persidskii K. P.","year":"1937","unstructured":"K. P. Persidskii . 1937 . On a theorem of Liapunov . C. R. (Dokl.) Acad. Sci. URSS 14 (1937), 541 -- 543 . K. P. Persidskii. 1937. On a theorem of Liapunov. C. R. (Dokl.) Acad. Sci. URSS 14 (1937), 541--543.","journal-title":"C. R. (Dokl.) Acad. Sci. URSS"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"e_1_3_2_1_18_1","volume-title":"IFAC Proceedings Volumes 38","author":"Prajna S.","year":"2005","unstructured":"S. Prajna and A. Rantzer . 2005. On the necessity of barrier certificates . IFAC Proceedings Volumes 38 , 1 ( 2005 ), 526--531. S. Prajna and A. Rantzer. 2005. On the necessity of barrier certificates. IFAC Proceedings Volumes 38, 1 (2005), 526--531."},{"volume-title":"Variational analysis","author":"Rockafellar R. T.","key":"e_1_3_2_1_19_1","unstructured":"R. T. Rockafellar and J. B. R Wets . 1997. Variational analysis . Vol. 317 . Springer Science & Business Media . R. T. Rockafellar and J. B. R Wets. 1997. Variational analysis. Vol. 317. Springer Science & Business Media."},{"key":"e_1_3_2_1_20_1","volume-title":"LIPIcs-Leibniz International Proceedings in Informatics","volume":"4","author":"Taly A.","unstructured":"A. Taly and A. Tiwari . 2009. Deductive verification of continuous dynamical systems . In LIPIcs-Leibniz International Proceedings in Informatics , Vol. 4 . Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik. A. Taly and A. Tiwari. 2009. Deductive verification of continuous dynamical systems. In LIPIcs-Leibniz International Proceedings in Informatics, Vol. 4. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_21_1","unstructured":"H. G. Tanner A. Jadbabaie and G. J. Pappas. 2003. Stable flocking of mobile agents Part I: Fixed topology Vol. 2. IEEE 2010--2015.  H. G. Tanner A. Jadbabaie and G. J. Pappas. 2003. Stable flocking of mobile agents Part I: Fixed topology Vol. 2. IEEE 2010--2015."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.11.017"},{"key":"e_1_3_2_1_23_1","volume-title":"IFAC Proceedings Volumes 40","author":"Wieland P.","year":"2007","unstructured":"P. Wieland and F. Allg\u00f6wer . 2007. Constructive safety using control barrier functions . IFAC Proceedings Volumes 40 , 12 ( 2007 ), 462--467. P. Wieland and F. Allg\u00f6wer. 2007. Constructive safety using control barrier functions. IFAC Proceedings Volumes 40, 12 (2007), 462--467."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.03.002"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2476155"}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Montreal Quebec Canada","acronym":"HSCC '19"},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311816","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:37Z","timestamp":1750206337000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":24,"alternative-id":["10.1145\/3302504.3311816","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311816","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}