{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:15:36Z","timestamp":1766067336431,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Nature Science Foundation of China","award":["61625206,61732001,61902284,61872341,61836005"],"award-info":[{"award-number":["61625206,61732001,61902284,61872341,61836005"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456657","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Switching controller synthesis for delay hybrid systems under perturbations"],"prefix":"10.1145","author":[{"given":"Yunjun","family":"Bai","sequence":"first","affiliation":[{"name":"Univ. of CAS, Beijing, China"}]},{"given":"Ting","family":"Gan","sequence":"additional","affiliation":[{"name":"Wuhan University, Wuhan, China"}]},{"given":"Li","family":"Jiao","sequence":"additional","affiliation":[{"name":"Univ. of CAS, Beijing, China"}]},{"given":"Bican","family":"Xia","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}]},{"given":"Bai","family":"Xue","sequence":"additional","affiliation":[{"name":"Univ. of CAS, Beijing, China"}]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[{"name":"Univ. of CAS, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"volume-title":"Implementation of Interval Arithmetic in CORA 2016. In Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems.","key":"e_1_3_2_1_1_1","unstructured":"Matthias. Althoff and Dmitry. Grebenyuk. 2016 . Implementation of Interval Arithmetic in CORA 2016. In Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems. Matthias. Althoff and Dmitry. Grebenyuk. 2016. Implementation of Interval Arithmetic in CORA 2016. In Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871306"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Yunjun Bai Ting Gan Li Jiao Bican Xia Bai Xue and Naijun Zhan. 2021. Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. arXiv:2103.11565 [eess.SY]  Yunjun Bai Ting Gan Li Jiao Bican Xia Bai Xue and Naijun Zhan. 2021. Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. arXiv:2103.11565 [eess.SY]","DOI":"10.1145\/3447928.3456657"},{"key":"e_1_3_2_1_5_1","first-page":"1","article-title":"Switching Controller Synthesis for Time-delayed Hybrid Systems","volume":"51","author":"Bai Yunjun","year":"2021","unstructured":"Yunjun Bai , Ting Gan , Li Jiao , Bai Xue , and Naijun Zhan . 2021 . Switching Controller Synthesis for Time-delayed Hybrid Systems . Science China Mathematica 51 , 1( 1 -- 2 ) (2021), 97--114. in Chinese. Yunjun Bai, Ting Gan, Li Jiao, Bai Xue, and Naijun Zhan. 2021. Switching Controller Synthesis for Time-delayed Hybrid Systems. Science China Mathematica 51, 1(1--2) (2021), 97--114. in Chinese.","journal-title":"Science China Mathematica"},{"volume-title":"Formal Methods for Discrete-Time Dynamical Systems","author":"Belta Calin","key":"e_1_3_2_1_6_1","unstructured":"Calin Belta , Boyan Yordanov , and Ebru Aydin Gol . 2017. Formal Methods for Discrete-Time Dynamical Systems . Springer . Calin Belta, Boyan Yordanov, and Ebru Aydin Gol. 2017. Formal Methods for Discrete-Time Dynamical Systems. Springer."},{"volume-title":"Nonnegative matrices in the mathematical sciences","author":"Berman Abraham","key":"e_1_3_2_1_7_1","unstructured":"Abraham Berman and Robert J Plemmons . 1994. Nonnegative matrices in the mathematical sciences . Vol. 9 . Siam . Abraham Berman and Robert J Plemmons. 1994. Nonnegative matrices in the mathematical sciences. Vol. 9. Siam."},{"key":"e_1_3_2_1_8_1","volume-title":"Validated Simulation-Based Verification of Delayed Differential Dynamics. In FM 2016 (LNCS","volume":"154","author":"Chen Mingshuai","year":"2016","unstructured":"Mingshuai Chen , Martin Fr\u00e4nzle , Yangjia Li , Peter N Mosaad , and Naijun Zhan . 2016 . Validated Simulation-Based Verification of Delayed Differential Dynamics. In FM 2016 (LNCS , Vol. 9995). 137-- 154 . Mingshuai Chen, Martin Fr\u00e4nzle, Yangjia Li, Peter N Mosaad, and Naijun Zhan. 2016. Validated Simulation-Based Verification of Delayed Differential Dynamics. In FM 2016 (LNCS, Vol. 9995). 137--154."},{"key":"e_1_3_2_1_9_1","volume-title":"Peter Nazier Mosaad, and Naijun Zhan","author":"Chen Mingshuai","year":"2018","unstructured":"Mingshuai Chen , Martin Fr\u00e4nzle , Yangjia Li , Peter Nazier Mosaad, and Naijun Zhan . 2018 . What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. In ATVA 2018 (LNCS , Vol. 11138). 56-- 74 . Mingshuai Chen, Martin Fr\u00e4nzle, Yangjia Li, Peter Nazier Mosaad, and Naijun Zhan. 2018. What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. In ATVA 2018 (LNCS, Vol. 11138). 56--74."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-020-00374-7"},{"key":"e_1_3_2_1_11_1","volume-title":"Taming Delays in Dynamical Systems. In CAV 2019 (LNCS","volume":"669","author":"Feng Shenghua","year":"2019","unstructured":"Shenghua Feng , Mingshuai Chen , Naijun Zhan , Martin Fr\u00e4nzle , and Bai Xue . 2019 . Taming Delays in Dynamical Systems. In CAV 2019 (LNCS , Vol. 11561). Springer, 650-- 669 . Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fr\u00e4nzle, and Bai Xue. 2019. Taming Delays in Dynamical Systems. In CAV 2019 (LNCS, Vol. 11561). Springer, 650--669."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11075-019-00810-x"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Eric Goubault and Sylvie Putot. 2019. Inner and outer reachability for the verification of control systems.. In HSCC. 11--22.  Eric Goubault and Sylvie Putot. 2019. Inner and outer reachability for the verification of control systems.. In HSCC. 11--22.","DOI":"10.1145\/3302504.3311794"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.04.025"},{"key":"e_1_3_2_1_17_1","volume-title":"Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. In HSCC'18","author":"Hsu Kyle","year":"2018","unstructured":"Kyle Hsu , Rupak Majumdar , Kaushik Mallik , and Anne-Kathrin Schmuck . 2018 . Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. In HSCC'18 . ACM, 120--129. Kyle Hsu, Rupak Majumdar, Kaushik Mallik, and Anne-Kathrin Schmuck. 2018. Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. In HSCC'18. ACM, 120--129."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2016.05.005"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038660"},{"key":"e_1_3_2_1_20_1","volume-title":"TACAS 2015 (LNCS","volume":"205","author":"Kong Soonho","unstructured":"Soonho Kong , Sicun Gao , Wei Chen , and Edmund M. Clarke . 2015. dReach: \u0394-Reachability Analysis for Hybrid Systems . In TACAS 2015 (LNCS , Vol. 9035), Christel Baier and Cesare Tinelli (Eds.). Springer, 200-- 205 . Soonho Kong, Sicun Gao, Wei Chen, and Edmund M. Clarke. 2015. dReach: \u0394-Reachability Analysis for Hybrid Systems. In TACAS 2015 (LNCS, Vol. 9035), Christel Baier and Cesare Tinelli (Eds.). Springer, 200--205."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s13137-017-0092-9"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934253"},{"key":"e_1_3_2_1_24_1","volume-title":"Monitoring Temporal Properties of Continuous Signals. In FORMATS 2004 + FTRTFT (LNCS","volume":"166","author":"Maler Oded","year":"2004","unstructured":"Oded Maler and Dejan Nickovic . 2004 . Monitoring Temporal Properties of Continuous Signals. In FORMATS 2004 + FTRTFT (LNCS , Vol. 3253), Yassine Lakhnech and Sergio Yovine (Eds.). Springer, 152-- 166 . Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In FORMATS 2004 + FTRTFT (LNCS, Vol. 3253), Yassine Lakhnech and Sergio Yovine (Eds.). Springer, 152--166."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0243-z"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.3204"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.04.001"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582846"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.solener.2012.08.003"},{"volume-title":"Verification and control of hybrid systems: a symbolic approach","author":"Tabuada Paulo","key":"e_1_3_2_1_31_1","unstructured":"Paulo Tabuada . 2009. Verification and control of hybrid systems: a symbolic approach . Springer . Paulo Tabuada. 2009. Verification and control of hybrid systems: a symbolic approach. Springer."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879025"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_16"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2977993"},{"volume-title":"Theories of Programming and Formal Methods","author":"Zhao Hengjun","key":"e_1_3_2_1_36_1","unstructured":"Hengjun Zhao , Naijun Zhan , and Deepak Kapur . 2013. Synthesizing switching controllers for hybrid systems by generating invariants . In Theories of Programming and Formal Methods . Springer , 354--373. Hengjun Zhao, Naijun Zhan, and Deepak Kapur. 2013. Synthesizing switching controllers for hybrid systems by generating invariants. In Theories of Programming and Formal Methods. Springer, 354--373."},{"key":"e_1_3_2_1_37_1","volume-title":"Automatic Verification of Stability and Safety for Delay Differential Equations. In CAV 2015 (LNCS","volume":"355","author":"Zou Liang","year":"2015","unstructured":"Liang Zou , Martin Fr\u00e4nzle , Naijun Zhan , and Peter Nazier Mosaad . 2015 . Automatic Verification of Stability and Safety for Delay Differential Equations. In CAV 2015 (LNCS , Vol. 9207). 338-- 355 . Liang Zou, Martin Fr\u00e4nzle, Naijun Zhan, and Peter Nazier Mosaad. 2015. Automatic Verification of Stability and Safety for Delay Differential Equations. In CAV 2015 (LNCS, Vol. 9207). 338--355."}],"event":{"name":"HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Nashville Tennessee","acronym":"HSCC '21"},"container-title":["Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456657","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:24Z","timestamp":1750195704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456657"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":36,"alternative-id":["10.1145\/3447928.3456657","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456657","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}