{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:33:41Z","timestamp":1768340021387,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:00:00Z","timestamp":1587513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["804639"],"award-info":[{"award-number":["804639"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["ZA 873\/1-1"],"award-info":[{"award-number":["ZA 873\/1-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382196","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Compositional construction of control barrier functions for interconnected control systems"],"prefix":"10.1145","author":[{"given":"Pushpak","family":"Jagtap","sequence":"first","affiliation":[{"name":"Technical University of Munich, Germany"}]},{"given":"Abdalla","family":"Swikir","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Germany"}]},{"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder and Ludwig Maximilian University of Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2753039"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2528046"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.06.021"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2920766"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"e_1_3_2_1_6_1","first-page":"3420","volume-title":"June 2019","author":"Ames A. D.","unstructured":"A. D. Ames , S. Coogan , M. Egerstedt , G. Notomista , K. Sreenath , and P. Tabuada , \" Control barrier functions: Theory and applications,\" in 18th European Control Conference (ECC) , June 2019 , pp. 3420 -- 3431 . A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada, \"Control barrier functions: Theory and applications,\" in 18th European Control Conference (ECC), June 2019, pp. 3420--3431."},{"key":"e_1_3_2_1_7_1","first-page":"89","volume-title":"June 2019","author":"Lindemann L.","unstructured":"L. Lindemann and D. V. Dimarogonas , \" Decentralized control barrier functions for coupled multi-agent systems under signal temporal logic tasks,\" in 2019 18th European Control Conference (ECC) , June 2019 , pp. 89 -- 94 . L. Lindemann and D. V. Dimarogonas, \"Decentralized control barrier functions for coupled multi-agent systems under signal temporal logic tasks,\" in 2019 18th European Control Conference (ECC), June 2019, pp. 89--94."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2917975"},{"key":"e_1_3_2_1_9_1","volume-title":"Formal synthesis of stochastic systems via control barrier certificates,\" arXiv preprint:1905.04585","author":"Jagtap P.","year":"2019","unstructured":"P. Jagtap , S. Soudjani , and M. Zamani , \" Formal synthesis of stochastic systems via control barrier certificates,\" arXiv preprint:1905.04585 , 2019 . P. Jagtap, S. Soudjani, and M. Zamani, \"Formal synthesis of stochastic systems via control barrier certificates,\" arXiv preprint:1905.04585, 2019."},{"key":"e_1_3_2_1_10_1","first-page":"177","volume-title":"Temporal logic verification of stochastic systems using barrier certificates,\" in International Symposium on Automated Technology for Verification and Analysis","author":"Jagtap P.","year":"2018","unstructured":"P. Jagtap , S. Soudjani , and M. Zamani , \" Temporal logic verification of stochastic systems using barrier certificates,\" in International Symposium on Automated Technology for Verification and Analysis . Springer , 2018 , pp. 177 -- 193 . P. Jagtap, S. Soudjani, and M. Zamani, \"Temporal logic verification of stochastic systems using barrier certificates,\" in International Symposium on Automated Technology for Verification and Analysis. Springer, 2018, pp. 177--193."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2511722"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0387-5"},{"key":"e_1_3_2_1_13_1","first-page":"44","volume-title":"A class of control certificates to ensure reach-while-stay for switched systems,\" in Proceedings Sixth Workshop on Synthesis","author":"Ravanbakhsh H.","year":"2017","unstructured":"H. Ravanbakhsh and S. Sankaranarayanan , \" A class of control certificates to ensure reach-while-stay for switched systems,\" in Proceedings Sixth Workshop on Synthesis , Heidelberg, Germany , 22nd July 2017 , ser. Electronic Proceedings in Theoretical Computer Science, D. Fisman and S. Jacobs, Eds., vol. 260 . Open Publishing Association , 2017, pp. 44 -- 61 . H. Ravanbakhsh and S. Sankaranarayanan, \"A class of control certificates to ensure reach-while-stay for switched systems,\" in Proceedings Sixth Workshop on Synthesis, Heidelberg, Germany, 22nd July 2017, ser. Electronic Proceedings in Theoretical Computer Science, D. Fisman and S. Jacobs, Eds., vol. 260. Open Publishing Association, 2017, pp. 44--61."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00183-6"},{"key":"e_1_3_2_1_15_1","volume-title":"The temporal logic of reactive and concurrent systems: Specification","author":"Manna Z.","year":"2012","unstructured":"Z. Manna and A. Pnueli , The temporal logic of reactive and concurrent systems: Specification . Springer Science & Business Media , 2012 . Z. Manna and A. Pnueli, The temporal logic of reactive and concurrent systems: Specification. Springer Science & Business Media, 2012."},{"key":"e_1_3_2_1_16_1","first-page":"223","volume-title":"Mechanizing the powerset construction for restricted classes of \u03c9-automata,\" in International Symposium on Automated Technology for Verification and Analysis","author":"Dax C.","year":"2007","unstructured":"C. Dax , J. Eisinger , and F. Klaedtke , \" Mechanizing the powerset construction for restricted classes of \u03c9-automata,\" in International Symposium on Automated Technology for Verification and Analysis . Springer , 2007 , pp. 223 -- 236 . C. Dax, J. Eisinger, and F. Klaedtke, \"Mechanizing the powerset construction for restricted classes of \u03c9-automata,\" in International Symposium on Automated Technology for Verification and Analysis. Springer, 2007, pp. 223--236."},{"key":"e_1_3_2_1_17_1","first-page":"122","volume-title":"Spot 2.0--a framework for LTL and \u03c9-automata manipulation,\" in International Symposium on Automated Technology for Verification and Analysis","author":"Duret-Lutz A.","year":"2016","unstructured":"A. Duret-Lutz , A. Lewkowicz , A. Fauchille , T. Michaud , E. Renault , and L. Xu , \" Spot 2.0--a framework for LTL and \u03c9-automata manipulation,\" in International Symposium on Automated Technology for Verification and Analysis . Springer , 2016 , pp. 122 -- 129 . A. Duret-Lutz, A. Lewkowicz, A. Fauchille, T. Michaud, E. Renault, and L. Xu, \"Spot 2.0--a framework for LTL and \u03c9-automata manipulation,\" in International Symposium on Automated Technology for Verification and Analysis. Springer, 2016, pp. 122--129."},{"key":"e_1_3_2_1_18_1","volume-title":"Principles of model checking","author":"Baier C.","year":"2008","unstructured":"C. Baier , J.-P. Katoen , and K. G. Larsen , Principles of model checking . London : MIT press , 2008 . C. Baier, J.-P. Katoen, and K. G. Larsen, Principles of model checking. London: MIT press, 2008."},{"key":"e_1_3_2_1_19_1","volume-title":"Artificial intelligence: a modern approach. Prentice hall Upper Saddle River","author":"Russell S. J.","year":"2003","unstructured":"S. J. Russell , P. Norvig , J. F. Canny , J. M. Malik , and D. D. Edwards , Artificial intelligence: a modern approach. Prentice hall Upper Saddle River , 2003 , vol. 2 . S. J. Russell, P. Norvig, J. F. Canny, J. M. Malik, and D. D. Edwards, Artificial intelligence: a modern approach. Prentice hall Upper Saddle River, 2003, vol. 2."},{"key":"e_1_3_2_1_20_1","first-page":"293","volume-title":"ACM","author":"Tkachev I.","year":"2013","unstructured":"I. Tkachev , A. Mereacre , J.-P. Katoen , and A. Abate , \" Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems,\" in Proceedings of the 16th international conference on Hybrid systems: computation and control . ACM , 2013 , pp. 293 -- 302 . I. Tkachev, A. Mereacre, J.-P. Katoen, and A. Abate, \"Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems,\" in Proceedings of the 16th international conference on Hybrid systems: computation and control. ACM, 2013, pp. 293--302."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1958119.1958139"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00498-007-0014-8"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01584975"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/238665.238694"},{"key":"e_1_3_2_1_26_1","first-page":"30","volume-title":"From dissipativity theory to compositional synthesis of symbolic models,\" in Proceedings of the 4th Indian Control Conference","author":"Swikir A.","year":"2018","unstructured":"A. Swikir , A. Girard , and M. Zamani , \" From dissipativity theory to compositional synthesis of symbolic models,\" in Proceedings of the 4th Indian Control Conference , 2018 , pp. 30 -- 35 . A. Swikir, A. Girard, and M. Zamani, \"From dissipativity theory to compositional synthesis of symbolic models,\" in Proceedings of the 4th Indian Control Conference, 2018, pp. 30--35."},{"key":"e_1_3_2_1_27_1","unstructured":"A. Papachristodoulou J. Anderson G. Valmorbida S. Prajna P. Seiler and P. A. Parrilo SOSTOOLS: Sum of squares optimization toolbox for MATLAB http:\/\/arxiv.org\/abs\/1310.4716 2013.  A. Papachristodoulou J. Anderson G. Valmorbida S. Prajna P. Seiler and P. A. Parrilo SOSTOOLS: Sum of squares optimization toolbox for MATLAB http:\/\/arxiv.org\/abs\/1310.4716 2013."},{"key":"e_1_3_2_1_28_1","volume-title":"a MATLAB toolbox for optimization over symmetric cones,\" Optimization methods and software","author":"Sturm J. F.","unstructured":"J. F. Sturm , \"Using SeDuMi 1.02 , a MATLAB toolbox for optimization over symmetric cones,\" Optimization methods and software , vol. 11 , no. 1-4, pp. 625--653, 1999. J. F. Sturm, \"Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones,\" Optimization methods and software, vol. 11, no. 1-4, pp. 625--653, 1999."},{"key":"e_1_3_2_1_29_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Z3: An efficient SMT solver,\" in Tools and algorithms for the construction and analysis of systems","author":"de Moura L.","year":"2008","unstructured":"L. de Moura and N. Bjorner , \" Z3: An efficient SMT solver,\" in Tools and algorithms for the construction and analysis of systems , ser. Lecture Notes in Computer Science , C. R. Ramakrishnan and J. Rehof, Eds. Berlin : Springer , 2008 , vol. 4963 , pp. 337 -- 340 . L. de Moura and N. Bjorner, \"Z3: An efficient SMT solver,\" in Tools and algorithms for the construction and analysis of systems, ser. Lecture Notes in Computer Science, C. R. Ramakrishnan and J. Rehof, Eds. Berlin: Springer, 2008, vol. 4963, pp. 337--340."},{"key":"e_1_3_2_1_30_1","first-page":"93","volume-title":"The mathsat5 smt solver,\" in International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Cimatti A.","year":"2013","unstructured":"A. Cimatti , A. Griggio , B. J. Schaafsma , and R. Sebastiani , \" The mathsat5 smt solver,\" in International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer , 2013 , pp. 93 -- 107 . A. Cimatti, A. Griggio, B. J. Schaafsma, and R. Sebastiani, \"The mathsat5 smt solver,\" in International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 2013, pp. 93--107."},{"key":"e_1_3_2_1_31_1","first-page":"208","volume-title":"dReal: An SMT solver for nonlinear theories over the reals,\" in Automated deduction - CADE-24, ser. LNCS sublibrary: SL 7 - artificial intelligence","author":"Gao S.","year":"2013","unstructured":"S. Gao , S. Kong , and E. M. Clarke , \" dReal: An SMT solver for nonlinear theories over the reals,\" in Automated deduction - CADE-24, ser. LNCS sublibrary: SL 7 - artificial intelligence , M. P. Bonacina, Ed. Heidelberg : Springer , 2013 , vol. 7898 , pp. 208 -- 214 . S. Gao, S. Kong, and E. M. Clarke, \"dReal: An SMT solver for nonlinear theories over the reals,\" in Automated deduction - CADE-24, ser. LNCS sublibrary: SL 7 - artificial intelligence, M. P. Bonacina, Ed. Heidelberg: Springer, 2013, vol. 7898, pp. 208--214."},{"key":"e_1_3_2_1_32_1","first-page":"309","volume-title":"QUEST: A tool for state-space quantization-free synthesis of symbolic controllers,\" in International Conference on Quantitative Evaluation of Systems","author":"Jagtap P.","year":"2017","unstructured":"P. Jagtap and M. Zamani , \" QUEST: A tool for state-space quantization-free synthesis of symbolic controllers,\" in International Conference on Quantitative Evaluation of Systems . Springer , 2017 , pp. 309 -- 313 . P. Jagtap and M. Zamani, \"QUEST: A tool for state-space quantization-free synthesis of symbolic controllers,\" in International Conference on Quantitative Evaluation of Systems. Springer, 2017, pp. 309--313."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00160535"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2215772"},{"key":"e_1_3_2_1_35_1","first-page":"13","volume-title":"Dec 2007","author":"Klein D. J.","unstructured":"D. J. Klein , P. Lee , K. A. Morgansen , and T. Javidi , \" Integration of communication and control using discrete time Kuramoto models for multivehicle coordination over broadcast networks,\" in 2007 46th IEEE Conference on Decision and Control , Dec 2007 , pp. 13 -- 19 . D. J. Klein, P. Lee, K. A. Morgansen, and T. Javidi, \"Integration of communication and control using discrete time Kuramoto models for multivehicle coordination over broadcast networks,\" in 2007 46th IEEE Conference on Decision and Control, Dec 2007, pp. 13--19."},{"key":"e_1_3_2_1_36_1","first-page":"930","volume-title":"June 2010","author":"D\u00f6rfler F.","unstructured":"F. D\u00f6rfler and F. Bullo , \" Synchronization and transient stability in power networks and non-uniform Kuramoto oscillators,\" in Proceedings of the 2010 American Control Conference , June 2010 , pp. 930 -- 937 . F. D\u00f6rfler and F. Bullo, \"Synchronization and transient stability in power networks and non-uniform Kuramoto oscillators,\" in Proceedings of the 2010 American Control Conference, June 2010, pp. 930--937."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1126\/sciadv.1500339"}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","location":"Sydney New South Wales Australia","acronym":"HSCC '20","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382196","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:48Z","timestamp":1750268988000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":36,"alternative-id":["10.1145\/3365365.3382196","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382196","relation":{},"subject":[],"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}