{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:58Z","timestamp":1750220998329,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"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"}],"funder":[{"name":"the Air Force Research Laboratory","award":["FA9453-16-1-0053"],"award-info":[{"award-number":["FA9453-16-1-0053"]}]},{"name":"CITRIS"},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["ECS-1450484, ECS-1710621, CNS-1544396"],"award-info":[{"award-number":["ECS-1450484, ECS-1710621, CNS-1544396"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Banatao Institute at the University of California"},{"name":"Air Force Office of Scientific Research","award":["FA9550-16-1-0015"],"award-info":[{"award-number":["FA9550-16-1-0015"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3313361","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"282-283","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Safety characterization in hybrid inclusions using barrier functions"],"prefix":"10.1145","author":[{"given":"Mohamed","family":"Mghenem","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":"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"},{"volume-title":"Barrier Function Certificates for Forward Invariance in Hybrid Inclusions. In 2018 IEEE Conference on Decision and Control (CDC). 759--764","author":"Maghenem M.","key":"e_1_3_2_1_2_1","unstructured":"M. Maghenem and R. G. Sanfelice . 2018 . Barrier Function Certificates for Forward Invariance in Hybrid Inclusions. In 2018 IEEE Conference on Decision and Control (CDC). 759--764 . M. Maghenem and R. G. Sanfelice. 2018. Barrier Function Certificates for Forward Invariance in Hybrid Inclusions. In 2018 IEEE Conference on Decision and Control (CDC). 759--764."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311816"},{"volume-title":"2019 American Control Conference. Accepted.","author":"Maghenem M.","key":"e_1_3_2_1_4_1","unstructured":"M. Maghenem and R. G. Sanfelice . 2019. Multiple barrier function certificates for forward invariance in hybrid inclusions. (2019) . 2019 American Control Conference. Accepted. M. Maghenem and R. G. Sanfelice. 2019. Multiple barrier function certificates for forward invariance in hybrid inclusions. (2019). 2019 American Control Conference. Accepted."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"M. Maghenem and R. G. Sanfelice. 2019. Multiple barrier function certificates for weak forward invariance in hybrid inclusions. (2019). To be submited to the 58th Annual Conference on Decision and Control.  M. Maghenem and R. G. Sanfelice. 2019. Multiple barrier function certificates for weak forward invariance in hybrid inclusions. (2019). To be submited to the 58th Annual Conference on Decision and Control.","DOI":"10.1109\/CDC40024.2019.9029980"},{"volume-title":"2019 American Control Conference. Accepted.","author":"Maghenem M.","key":"e_1_3_2_1_6_1","unstructured":"M. Maghenem and R. G. Sanfelice . 2019. On the characterization of safety and conditional invariance in dynamical systems. (2019) . 2019 American Control Conference. Accepted. M. Maghenem and R. G. Sanfelice. 2019. On the characterization of safety and conditional invariance in dynamical systems. (2019). 2019 American Control Conference. Accepted."}],"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.3313361","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3313361","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3313361","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.3313361"}},"subtitle":["poster abstract"],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":6,"alternative-id":["10.1145\/3302504.3313361","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3313361","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"}}]}}