{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T14:48:07Z","timestamp":1758638887287,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"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 Science Foundation of China","award":["62032010"],"award-info":[{"award-number":["62032010"]}]},{"name":"The Leading-edge Technology Program of Jiangsu Natural Science Foundation","award":["BK20202001"],"award-info":[{"award-number":["BK20202001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456658","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":2,"title":["Approximate optimal hybrid control synthesis by classification-based derivative-free optimization"],"prefix":"10.1145","author":[{"given":"Shaopeng","family":"Xing","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, China"}]},{"given":"Jiawan","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, China"}]},{"given":"Lei","family":"Bu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, China"}]},{"given":"Xin","family":"Chen","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, China"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, Jiangsu, China"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3047411"},{"volume-title":"Hybrid systems","author":"Alur Rajeev","key":"e_1_3_2_1_2_1","unstructured":"Rajeev Alur , Costas Courcoubetis , Thomas A Henzinger , and Pei-Hsin Ho. 1992. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems . In Hybrid systems . Springer , 209--229. Rajeev Alur, Costas Courcoubetis, Thomas A Henzinger, and Pei-Hsin Ho. 1992. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid systems. Springer, 209--229."},{"key":"e_1_3_2_1_3_1","volume-title":"Gradient descent approach to optimal mode scheduling in hybrid dynamical systems. Journal of Optimization Theory and Applications","author":"Axelsson Henrik","year":"2008","unstructured":"Henrik Axelsson , Y Wardi , and Magnus Egerstedt . 2008. Gradient descent approach to optimal mode scheduling in hybrid dynamical systems. Journal of Optimization Theory and Applications ( 2008 ), 167--186. Henrik Axelsson, Y Wardi, and Magnus Egerstedt. 2008. Gradient descent approach to optimal mode scheduling in hybrid dynamical systems. Journal of Optimization Theory and Applications (2008), 167--186."},{"key":"e_1_3_2_1_4_1","volume-title":"Optimal control of switching systems. automatica 41, 1","author":"Bengea Sorin C","year":"2005","unstructured":"Sorin C Bengea and Raymond A DeCarlo . 2005. Optimal control of switching systems. automatica 41, 1 ( 2005 ), 11--27. Sorin C Bengea and Raymond A DeCarlo. 2005. Optimal control of switching systems. automatica 41, 1 (2005), 11--27."},{"volume-title":"Handbook of networked and embedded control systems","author":"Branicky Michael S","key":"e_1_3_2_1_5_1","unstructured":"Michael S Branicky . 2005. Introduction to hybrid systems . In Handbook of networked and embedded control systems . Springer , 91--116. Michael S Branicky. 2005. Introduction to hybrid systems. In Handbook of networked and embedded control systems. Springer, 91--116."},{"key":"e_1_3_2_1_6_1","volume-title":"A unified framework for hybrid control: Model and optimal control theory","author":"Branicky Michael S","year":"1998","unstructured":"Michael S Branicky , Vivek S Borkar , and Sanjoy K Mitter . 1998. A unified framework for hybrid control: Model and optimal control theory . IEEE transactions on automatic control 43, 1 ( 1998 ), 31--45. Michael S Branicky, Vivek S Borkar, and Sanjoy K Mitter. 1998. A unified framework for hybrid control: Model and optimal control theory. IEEE transactions on automatic control 43, 1 (1998), 31--45."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. Intl. Symp. on Mathematical Theory of Networks and Systems","volume":"750","author":"Branicky Michael S","year":"2002","unstructured":"Michael S Branicky and Michael M Curtiss . 2002 . Nonlinear and hybrid control via RRTs . In Proc. Intl. Symp. on Mathematical Theory of Networks and Systems , Vol. 750 . Citeseer. Michael S Branicky and Michael M Curtiss. 2002. Nonlinear and hybrid control via RRTs. In Proc. Intl. Symp. on Mathematical Theory of Networks and Systems, Vol. 750. Citeseer."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272639"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1995.478514"},{"key":"e_1_3_2_1_10_1","volume-title":"A tutorial on Bayesian optimization of expensive cost functions, with application to active user modeling and hierarchical reinforcement learning. arXiv","author":"Brochu Eric","year":"2010","unstructured":"Eric Brochu , Vlad M Cora , and Nando De Freitas . 2010. A tutorial on Bayesian optimization of expensive cost functions, with application to active user modeling and hierarchical reinforcement learning. arXiv ( 2010 ). Eric Brochu, Vlad M Cora, and Nando De Freitas. 2010. A tutorial on Bayesian optimization of expensive cost functions, with application to active user modeling and hierarchical reinforcement learning. arXiv (2010)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717354"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-005-5724-z"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717115"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2026864"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.861711"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272934"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.195"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_2_1_20_1","volume-title":"Hybrid dynamical systems","author":"Goebel Rafal","year":"2009","unstructured":"Rafal Goebel , Ricardo G Sanfelice , and Andrew R Teel . 2009. Hybrid dynamical systems . IEEE control systems magazine 29, 2 ( 2009 ), 28--93. Rafal Goebel, Ricardo G Sanfelice, and Andrew R Teel. 2009. Hybrid dynamical systems. IEEE control systems magazine 29, 2 (2009), 28--93."},{"volume-title":"Genetic Algorithms in Search Optimization and Machine Learning","author":"Goldberg David E.","key":"e_1_3_2_1_21_1","unstructured":"David E. Goldberg . 1989. Genetic Algorithms in Search Optimization and Machine Learning . Addison-Wesley . David E. Goldberg. 1989. Genetic Algorithms in Search Optimization and Machine Learning. Addison-Wesley."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755961"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717469"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802753"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Thomas A Henzinger. 2000. The theory of hybrid automata. In Verification of Digital and Hybrid Systems. 265--292.  Thomas A Henzinger. 2000. The theory of hybrid automata. In Verification of Digital and Hybrid Systems. 265--292.","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400282"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.660866"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"e_1_3_2_1_30_1","volume-title":"Rapidly-exploring random trees: Progress and prospects. Algorithmic and computational robotics: new directions 5","author":"LaValle Steven M","year":"2001","unstructured":"Steven M LaValle and James J Kuffner . 2001. Rapidly-exploring random trees: Progress and prospects. Algorithmic and computational robotics: new directions 5 ( 2001 ), 293--308. Steven M LaValle and James J Kuffner. 2001. Rapidly-exploring random trees: Progress and prospects. Algorithmic and computational robotics: new directions 5 (2001), 293--308."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 32nd Chinese Control Conference. IEEE, 2382--2386","author":"Liu Jinjin","year":"2013","unstructured":"Jinjin Liu , Kanjian Zhang , Changyin Sun , and Haikun Wei . 2013 . Second order transition-time optimization for switched dynamical systems . In Proceedings of the 32nd Chinese Control Conference. IEEE, 2382--2386 . Jinjin Liu, Kanjian Zhang, Changyin Sun, and Haikun Wei. 2013. Second order transition-time optimization for switched dynamical systems. In Proceedings of the 32nd Chinese Control Conference. IEEE, 2382--2386."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.11.002"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040368"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912823"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206235"},{"key":"e_1_3_2_1_36_1","volume-title":"Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS","author":"Wang Jiawan","year":"2021","unstructured":"Jiawan Wang , Lei Bu , Shaopeng Xing , and Xuandong Li. 2021. Path-Oriented , Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS . IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ( 2021 ). Jiawan Wang, Lei Bu, Shaopeng Xing, and Xuandong Li. 2021. Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2021)."},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of ACC","volume":"4","author":"Xu Xuping","year":"2000","unstructured":"Xuping Xu and Panos J Antsaklis . 2000 . Optimal control of switched systems: new results and open problems . In Proceedings of ACC 2000, Vol. 4 . IEEE, 2683--2687. Xuping Xu and Panos J Antsaklis. 2000. Optimal control of switched systems: new results and open problems. In Proceedings of ACC 2000, Vol. 4. IEEE, 2683--2687."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_39"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2014.6900455"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of AAAI","author":"Yu Yang","year":"2016","unstructured":"Yang Yu and Hong Qian . 2016 . Derivative-free optimization via classification . In Proceedings of AAAI 2016. Yang Yu and Hong Qian. 2016. Derivative-free optimization via classification. In Proceedings of AAAI 2016."},{"key":"e_1_3_2_1_41_1","volume-title":"Optimal control for nonlinear hybrid systems via convex relaxations. arXiv preprint arXiv:1702.04310","author":"Zhao Pengcheng","year":"2017","unstructured":"Pengcheng Zhao , Shankar Mohan , and Ram Vasudevan . 2017. Optimal control for nonlinear hybrid systems via convex relaxations. arXiv preprint arXiv:1702.04310 ( 2017 ). Pengcheng Zhao, Shankar Mohan, and Ram Vasudevan. 2017. Optimal control for nonlinear hybrid systems via convex relaxations. arXiv preprint arXiv:1702.04310 (2017)."}],"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.3456658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456658","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.3456658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":41,"alternative-id":["10.1145\/3447928.3456658","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456658","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"}}]}}