{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T23:04:28Z","timestamp":1784675068515,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642397981","type":"print"},{"value":"9783642397998","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39799-8_17","type":"book-chapter","created":{"date-parts":[[2013,7,10]],"date-time":"2013-07-10T19:13:06Z","timestamp":1373483586000},"page":"242-257","source":"Crossref","is-referenced-by-count":77,"title":["Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Hui","family":"Kong","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fei","family":"He","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"William N. N.","family":"Hung","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Proc. IEEE Symp. Logic in Computer Science (LICS), pp. 278\u2013292 (1996)"},{"issue":"1","key":"17_CR2","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., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"17_CR3","unstructured":"Jirstrand, M.: Invariant sets for a class of hybrid systems. In: Proc. IEEE Conference on Decision and Control, vol.\u00a04, pp. 3699\u20133704 (1998)"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1007\/978-3-540-31954-2_38","volume-title":"Hybrid Systems: Computation and Control","author":"E. Rodr\u00edguez-Carbonell","year":"2005","unstructured":"Rodr\u00edguez-Carbonell, E., Tiwari, A.: Generating polynomial invariants for hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 590\u2013605. Springer, Heidelberg (2005)"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-540-24743-2_36","volume-title":"Hybrid Systems: Computation and Control","author":"S. Sankaranarayanan","year":"2004","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Constructing invariants for hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 539\u2013554. Springer, Heidelberg (2004)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S.: Automatic invariant generation for hybrid systems using ideal fixed points. In: Proc. ACM International Conference on Hybrid Systems: Computation and Control, pp. 221\u2013230 (2010)","DOI":"10.1145\/1755952.1755984"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1007\/978-3-540-24743-2_40","volume-title":"Hybrid Systems: Computation and Control","author":"A. Tiwari","year":"2004","unstructured":"Tiwari, A., Khanna, G.: Nonlinear systems: Approximating reach sets. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 600\u2013614. Springer, Heidelberg (2004)"},{"issue":"8","key":"17_CR8","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.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Transactions on Automatic Control\u00a052(8), 1415\u20131428 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"17_CR9","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.\u00a02993, pp. 477\u2013492. Springer, Heidelberg (2004)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Sloth, C., Pappas, G., Wisniewski, R.: Compositional safety analysis using barrier certificates. In: Proc. ACM International Conference on Hybrid Systems: Computation and Control, pp. 15\u201324 (2012)","DOI":"10.1145\/2185632.2185639"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-70545-1_17","volume-title":"Computer Aided Verification","author":"A. Platzer","year":"2008","unstructured":"Platzer, A., Clarke, E.M.: Computing differential invariants of hybrid systems as fixedpoints. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 176\u2013189. Springer, Heidelberg (2008)"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-70545-1_18","volume-title":"Computer Aided Verification","author":"S. Gulwani","year":"2008","unstructured":"Gulwani, S., Tiwari, A.: Constraint-based approach for analysis of hybrid systems. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 190\u2013203. Springer, Heidelberg (2008)"},{"key":"17_CR13","unstructured":"Taly, A., Tiwari, A.: Deductive verification of continuous dynamical systems. In: FSTTCS, vol.\u00a04, pp. 383\u2013394 (2009)"},{"issue":"6","key":"17_CR14","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/s10009-010-0172-8","volume":"13","author":"A. Taly","year":"2011","unstructured":"Taly, A., Gulwani, S., Tiwari, A.: Synthesizing switching logic using constraint solving. Intl. J. Software Tools for Technology Transfer\u00a013(6), 519\u2013535 (2011)","journal-title":"Intl. J. Software Tools for Technology Transfer"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Prajna, S., Papachristodoulou, A., Seiler, P., Parrilo, P.: SOSTOOLS and its control applications. Positive Polynomials in Control, pp. 580\u2013580 (2005)","DOI":"10.1007\/10997703_14"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Carloni, L., Passerone, R., Pinto, A.: Languages and tools for hybrid systems design. Foundations and Trends\u00ae in Electronic Design Automation\u00a01(1-2) (2006)","DOI":"10.1561\/1000000001"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O. Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: Prom timed to hybrid systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 447\u2013484. Springer, Heidelberg (1992)"},{"key":"17_CR18","doi-asserted-by":"crossref","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 (March 2013), ArXiv e-prints: \n                    \n                      http:\/\/arxiv.org\/abs\/1303.6885","DOI":"10.1007\/978-3-642-39799-8_17"},{"issue":"5","key":"17_CR19","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/s00013-007-2251-y","volume":"89","author":"J. Lasserre","year":"2007","unstructured":"Lasserre, J.: Sufficient conditions for a real polynomial to be a sum of squares. Archiv der Mathematik\u00a089(5), 390\u2013398 (2007)","journal-title":"Archiv der Mathematik"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear matrix inequalities in system and control theory. Society for Industrial Mathematics, vol.\u00a015 (1994)","DOI":"10.1137\/1.9781611970777"},{"issue":"2","key":"17_CR21","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"P. Parrilo","year":"2003","unstructured":"Parrilo, P.: Semidefinite programming relaxations for semialgebraic problems. Mathematical Programming\u00a096(2), 293\u2013320 (2003)","journal-title":"Mathematical Programming"},{"key":"17_CR22","unstructured":"Khalil, H.K.: Nonlinear Systems, 3rd edn. Prentice Hall (2001)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39799-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T14:23:44Z","timestamp":1557930224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39799-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397981","9783642397998"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39799-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}