{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:04:03Z","timestamp":1784675043117,"version":"3.55.0"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030532871","type":"print"},{"value":"9783030532888","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,14]],"date-time":"2020-07-14T00:00:00Z","timestamp":1594684800000},"content-version":"vor","delay-in-days":195,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-53288-8_29","type":"book-chapter","created":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T19:03:27Z","timestamp":1594839807000},"page":"582-603","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation"],"prefix":"10.1007","author":[{"given":"Xin","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chao","family":"Peng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wang","family":"Lin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhengfeng","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yifang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,7,14]]},"reference":[{"issue":"1","key":"29_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138(1), 3\u201334 (1995). \nhttps:\/\/doi.org\/10.1016\/0304-3975(94)00202-T","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"29_CR2","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/1132357.1132363","volume":"5","author":"R Alur","year":"2006","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embedded Comput. Syst. (TECS) 5(1), 152\u2013199 (2006). \nhttps:\/\/doi.org\/10.1145\/1132357.1132363","journal-title":"ACM Trans. Embedded Comput. Syst. (TECS)"},{"key":"29_CR3","doi-asserted-by":"publisher","unstructured":"Bouissou, O., Chapoutot, A., Djaballah, A., Kieffer, M.: Computation of parametric barrier functions for dynamical systems using interval analysis. In: Proceedings of the IEEE 53rd Annual Conference on Decision and Control (CDC), pp. 753\u2013758. IEEE (2014). \nhttps:\/\/doi.org\/10.1109\/CDC.2014.7039472","DOI":"10.1109\/CDC.2014.7039472"},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jsc.2016.07.010","volume":"80","author":"L Dai","year":"2017","unstructured":"Dai, L., Gan, T., Xia, B., Zhan, N.: Barrier certificates revisited. J. Symbol. Comput. 80, 62\u201386 (2017). \nhttps:\/\/doi.org\/10.1016\/j.jsc.2016.07.010","journal-title":"J. Symbol. Comput."},{"issue":"2","key":"29_CR5","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1137\/1028073","volume":"28","author":"J Demmel","year":"1986","unstructured":"Demmel, J.: Matrix computations. SIAM Rev. 28(2), 252\u2013255 (1986)","journal-title":"SIAM Rev."},{"issue":"1","key":"29_CR6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/s10440-014-9974-0","volume":"139","author":"A Ferragut","year":"2014","unstructured":"Ferragut, A., Gasull, A.: Seeking Darboux polynomials. Acta Applicandae Mathematicae 139(1), 167\u2013186 (2014). \nhttps:\/\/doi.org\/10.1007\/s10440-014-9974-0","journal-title":"Acta Applicandae Mathematicae"},{"issue":"1","key":"29_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/10.68209","volume":"38","author":"ME Fisher","year":"1991","unstructured":"Fisher, M.E.: A semiclosed-loop algorithm for the control of blood glucose levels in diabetics. IEEE Trans. Biomed. Eng. 38(1), 57\u201361 (1991). \nhttps:\/\/doi.org\/10.1109\/10.68209","journal-title":"IEEE Trans. Biomed. Eng."},{"key":"29_CR8","unstructured":"Gao, S.: Quadcopter model. \nhttps:\/\/github.com\/dreal\/benchmarks"},{"key":"29_CR9","doi-asserted-by":"publisher","unstructured":"Goubault, E., Jourdan, J.H., Putot, S., Sankaranarayanan, S.: Finding non-polynomial positive invariants and Lyapunov functions for polynomial systems through Darboux polynomials. In: Proceedings of the 2014 American Control Conference (ACC), pp. 3571\u20133578. IEEE (2014). \nhttps:\/\/doi.org\/10.1109\/ACC.2014.6859330","DOI":"10.1109\/ACC.2014.6859330"},{"issue":"1","key":"29_CR10","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10703-018-0323-1","volume":"54","author":"J Gronski","year":"2018","unstructured":"Gronski, J., Ben Sassi, M.-A., Becker, S., Sankaranarayanan, S.: Template polyhedra and bilinear optimization. Formal Methods Syst. Des. 54(1), 27\u201363 (2018). \nhttps:\/\/doi.org\/10.1007\/s10703-018-0323-1","journal-title":"Formal Methods Syst. Des."},{"key":"29_CR11","doi-asserted-by":"publisher","unstructured":"Gulwani, S., Tiwari, A.: Constraint-based approach for analysis of hybrid systems. In: Proceedings of the 20th International Conference on Computer Aided Verification (CAV), pp. 190\u2013203 (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-70545-1_18","DOI":"10.1007\/978-3-540-70545-1_18"},{"key":"29_CR12","doi-asserted-by":"publisher","unstructured":"Kapinski, J., Deshmukh, J.V., Sankaranarayanan, S., Ar\u00e9chiga, N.: Simulation-guided Lyapunov analysis for hybrid dynamical systems. In: Proceedings of the Hybrid Systems: Computation and Control (HSCC), pp. 133\u2013142. ACM (2014). \nhttps:\/\/doi.org\/10.1145\/2562059.2562139","DOI":"10.1145\/2562059.2562139"},{"key":"29_CR13","doi-asserted-by":"publisher","DOI":"10.1002\/3527603603","volume-title":"Systems Biology in Practice: Concepts, Implementation and Application","author":"E Klipp","year":"2005","unstructured":"Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems Biology in Practice: Concepts, Implementation and Application. Wiley-Blackwell, Weinheim (2005)"},{"issue":"3","key":"29_CR14","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1080\/1055678031000098773","volume":"18","author":"M Ko\u010dvara","year":"2003","unstructured":"Ko\u010dvara, M., Stingl, M.: PENNON: a code for convex nonlinear and semidefinite programming. Optim. Methods Softw. 18(3), 317\u2013333 (2003). \nhttps:\/\/doi.org\/10.1080\/1055678031000098773","journal-title":"Optim. Methods Softw."},{"key":"29_CR15","doi-asserted-by":"publisher","unstructured":"Kong, H., Bogomolov, S., Schilling, C., Jiang, Y., Henzinger, T.A.: Safety verification of nonlinear hybrid systems based on invariant clusters. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp. 163\u2013172. ACM (2017). \nhttps:\/\/doi.org\/10.1145\/3049797.3049814","DOI":"10.1145\/3049797.3049814"},{"key":"29_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-642-39799-8_17","volume-title":"Computer Aided Verification","author":"H Kong","year":"2013","unstructured":"Kong, H., He, F., Song, X., Hung, W.N.N., Gu, M.: Exponential-condition-based barrier certificate generation for safety verification of hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 242\u2013257. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-39799-8_17"},{"key":"29_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-40065-5","volume-title":"Numerical Optimization","author":"J Nocedal","year":"2006","unstructured":"Nocedal, J., Wright, S.: Numerical Optimization. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/978-0-387-40065-5"},{"key":"29_CR18","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/978-3-319-63588-0_21","volume-title":"Logical Foundations of Cyber-Physical Systems","author":"A Platzer","year":"2018","unstructured":"Platzer, A.: Virtual substitution & real arithmetic. Logical Foundations of Cyber-Physical Systems, pp. 607\u2013628. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63588-0_21"},{"issue":"1","key":"29_CR19","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s10703-009-0079-8","volume":"35","author":"A Platzer","year":"2009","unstructured":"Platzer, A., Clarke, E.M.: Computing differential invariants of hybrid systems as fixedpoints. Formal Methods Syst. Des. 35(1), 98\u2013120 (2009). \nhttps:\/\/doi.org\/10.1007\/s10703-009-0079-8","journal-title":"Formal Methods Syst. Des."},{"key":"29_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477\u2013492. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-24743-2_32"},{"issue":"8","key":"29_CR21","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131429 (2007). \nhttps:\/\/doi.org\/10.1109\/TAC.2007.902736","journal-title":"IEEE Trans. Autom. Control"},{"key":"29_CR22","unstructured":"Prajna, S., Papachristodoulou, A., Parrilo, P.A.: SOSTOOLS: sum of squares optimization toolbox for MATLAB (2002). \nhttp:\/\/www.cds.caltech.edu\/sostools"},{"key":"29_CR23","doi-asserted-by":"publisher","first-page":"968","DOI":"10.1512\/iumj.1993.42.42045","volume":"42","author":"M Putinar","year":"1993","unstructured":"Putinar, M.: Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J. 42, 968\u2013984 (1993)","journal-title":"Indiana Univ. Math. J."},{"key":"29_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/11856290_18","volume-title":"Artificial Intelligence and Symbolic Computation","author":"S Ratschan","year":"2006","unstructured":"Ratschan, S., She, Z.: Constraints for continuous reachability in the verification of hybrid systems. In: Calmet, J., Ida, T., Wang, D. (eds.) AISC 2006. LNCS (LNAI), vol. 4120, pp. 196\u2013210. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11856290_18"},{"issue":"1","key":"29_CR25","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1145\/1210268.1210276","volume":"6","author":"S Ratschan","year":"2007","unstructured":"Ratschan, S., She, Z.: Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Trans. Embedded Comput. Syst. 6(1), 573\u2013589 (2007). \nhttps:\/\/doi.org\/10.1145\/1210268.1210276","journal-title":"ACM Trans. Embedded Comput. Syst."},{"issue":"7","key":"29_CR26","doi-asserted-by":"publisher","first-page":"4377","DOI":"10.1137\/090749955","volume":"48","author":"S Ratschan","year":"2010","unstructured":"Ratschan, S., She, Z.: Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions. SIAM J. Control Optim. 48(7), 4377\u20134394 (2010). \nhttps:\/\/doi.org\/10.1137\/090749955","journal-title":"SIAM J. Control Optim."},{"issue":"2","key":"29_CR27","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/s10703-017-0302-y","volume":"53","author":"P Roux","year":"2017","unstructured":"Roux, P., Voronin, Y.-L., Sankaranarayanan, S.: Validating numerical semidefinite programming solvers for polynomial invariants. Formal Methods Syst. Des. 53(2), 286\u2013312 (2017). \nhttps:\/\/doi.org\/10.1007\/s10703-017-0302-y","journal-title":"Formal Methods Syst. Des."},{"key":"29_CR28","doi-asserted-by":"publisher","unstructured":"Sankaranarayanan, S., Chen, X., Abrah\u00e1m, E.: Lyapunov function synthesis using Handelman representations. In: The 9th IFAC Symposium on Nonlinear Control Systems, pp. 576\u2013581 (2013). \nhttps:\/\/doi.org\/10.3182\/20130904-3-FR-2041.00198","DOI":"10.3182\/20130904-3-FR-2041.00198"},{"issue":"1","key":"29_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10703-007-0046-1","volume":"32","author":"S Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Sipma, H., Manna, Z.: Constructing invariants for hybrid systems. Formal Methods Syst. Des. 32(1), 25\u201355 (2008). \nhttps:\/\/doi.org\/10.1007\/s10703-007-0046-1","journal-title":"Formal Methods Syst. Des."},{"key":"29_CR30","doi-asserted-by":"publisher","unstructured":"Sassi, M.A.B., Sankaranarayanan, S.: Stability and stabilization of polynomial dynamical systems using bernstein polynomials. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015, Seattle, WA, USA, 14\u201316 April 2015, pp. 291\u2013292 (2015). \nhttps:\/\/doi.org\/10.1145\/2728606.2728639","DOI":"10.1145\/2728606.2728639"},{"key":"29_CR31","doi-asserted-by":"publisher","unstructured":"Sibai, H., Mitra, S.: State estimation of dynamical systems with unknown inputs: entropy and bit rates. In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control, pp. 217\u2013226 (2018). \nhttps:\/\/doi.org\/10.1145\/3178126.3178150","DOI":"10.1145\/3178126.3178150"},{"key":"29_CR32","doi-asserted-by":"publisher","unstructured":"Sloth, C., Pappas, G.J., Wisniewski, R.: Compositional safety analysis using barrier certificates. In: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, pp. 15\u201324. ACM (2012). \nhttps:\/\/doi.org\/10.1145\/2185632.2185639","DOI":"10.1145\/2185632.2185639"},{"key":"29_CR33","unstructured":"Sogokon, A., Ghorbal, K., Johnson, T.T.: Non-linear continuous systems for safety verification (benchmark proposal). In: Applied Verification for Continuous and Hybrid Systems Workshop (ARCH) (2016)"},{"key":"29_CR34","doi-asserted-by":"publisher","unstructured":"Sogokon, A., Ghorbal, K., Tan, Y.K., Platzer, A.: Vector barrier certificates and comparison systems. In: Proceedings of the 22nd International Symposium on Formal Methods, pp. 418\u2013437 (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-95582-7_25","DOI":"10.1007\/978-3-319-95582-7_25"},{"issue":"1","key":"29_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2629424","volume":"14","author":"Z Yang","year":"2015","unstructured":"Yang, Z., Lin, W., Wu, M.: Exact verification of hybrid systems based on bilinear SOS representation. ACM Trans. Embedded Comput. Syst. 14(1), 1\u201319 (2015). \nhttps:\/\/doi.org\/10.1145\/2629424","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"29_CR36","doi-asserted-by":"publisher","unstructured":"Zeng, X., Lin, W., Yang, Z., Chen, X., Wang, L.: Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. In: Proceedings of the 2016 International Conference on Embedded Software (EMSOFT), pp. 1\u201310 (2016). \nhttps:\/\/doi.org\/10.1145\/2968478.2968484","DOI":"10.1145\/2968478.2968484"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-53288-8_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,15]],"date-time":"2020-07-15T19:14:03Z","timestamp":1594840443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-53288-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030532871","9783030532888"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-53288-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/i-cav.org\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"240","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}