{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T14:55:50Z","timestamp":1772290550209,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642333859","type":"print"},{"value":"9783642333866","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33386-6_12","type":"book-chapter","created":{"date-parts":[[2012,9,28]],"date-time":"2012-09-28T10:58:20Z","timestamp":1348829900000},"page":"137-151","source":"Crossref","is-referenced-by-count":25,"title":["Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations"],"prefix":"10.1007","author":[{"given":"Mohamed Amin","family":"Ben Sassi","sequence":"first","affiliation":[]},{"given":"Romain","family":"Testylier","sequence":"additional","affiliation":[]},{"given":"Thao","family":"Dang","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"7","key":"12_CR1","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s00236-006-0035-7","volume":"43","author":"E. Asarin","year":"2007","unstructured":"Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Informatica\u00a043(7), 451\u2013476 (2007)","journal-title":"Acta Informatica"},{"key":"12_CR2","unstructured":"Bernstein, S.: Collected Works, vol.\u00a01. USSR Academy of Sciences (1952)"},{"key":"12_CR3","unstructured":"Bernstein, S.: Collected Works, vol.\u00a02. USSR Academy of Sciences (1954)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/11730637_13","volume-title":"Hybrid Systems: Computation and Control","author":"T. Dang","year":"2006","unstructured":"Dang, T.: Approximate Reachability Computation for Polynomial Systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 138\u2013152. Springer, Heidelberg (2006)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-03845-7_9","volume-title":"Computational Methods in Systems Biology","author":"T. Dang","year":"2009","unstructured":"Dang, T., Le Guernic, C., Maler, O.: Computing Reachable States for Nonlinear Biological Models. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 126\u2013141. Springer, Heidelberg (2009)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Dang, T., Maler, O., Testylier, R.: Accurate hybridization of nonlinear systems. In: HSCC 2010, pp. 11\u201320 (2010)","DOI":"10.1145\/1755952.1755956"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-02658-4_19","volume-title":"Computer Aided Verification","author":"T. Dang","year":"2009","unstructured":"Dang, T., Salinas, D.: Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 219\u2013232. Springer, Heidelberg (2009)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/S0006-3495(61)86902-6","volume":"1","author":"R. FitzHugh","year":"1961","unstructured":"FitzHugh, R.: Impulses and physiological states in theoretical models of nerve membrane. Biophysical J.\u00a01, 445\u2013466 (1961)","journal-title":"Biophysical J."},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G. Frehse","year":"2011","unstructured":"Frehse, G., Le Guernic, C., Donz\u00e9, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: Scalable Verification of Hybrid Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 379\u2013395. Springer, Heidelberg (2011)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11730637_21","volume-title":"Hybrid Systems: Computation and Control","author":"A. Girard","year":"2006","unstructured":"Girard, A., Le Guernic, C., Maler, O.: Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 257\u2013271. Springer, Heidelberg (2006)"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1049\/iet-syb:20060035","volume":"1","author":"A. Halasz","year":"2007","unstructured":"Halasz, A., Kumar, V., Imielinski, M., Belta, C., Sokolsky, O., Pathak, S., Rubin, H.: Analysis of lactose metabolism in e.coli using reachability analysis of hybrid systems. IET Systems Biology\u00a01(2), 130\u2013148 (2007)","journal-title":"IET Systems Biology"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11730637_23","volume-title":"Hybrid Systems: Computation and Control","author":"Z. Han","year":"2006","unstructured":"Han, Z., Krogh, B.H.: Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 287\u2013301. Springer, Heidelberg (2006)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Horst, R., Tuy, H.: Global optimazation: Deterministic approaches, 2nd edn. Springer (1993)","DOI":"10.1007\/978-3-662-02947-3"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer (2001)","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Kaynama, S., Oishi, M., Mitchell, I., Dumont, G.A.: The continual reachability set and its computation using maximal reachability techniques. In: CDC (2011)","DOI":"10.1109\/CDC.2011.6161424"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/11730637_27","volume-title":"Hybrid Systems: Computation and Control","author":"M. Kloetzer","year":"2006","unstructured":"Kloetzer, M., Belta, C.: Reachability Analysis of Multi-affine Systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 348\u2013362. Springer, Heidelberg (2006)"},{"issue":"3","key":"12_CR17","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1137\/S1052623400366802","volume":"11","author":"J.B. Lasserre","year":"2001","unstructured":"Lasserre, J.B.: Global optimization with polynomials and the problem of moments. SIAM Journal of Optimization\u00a011(3), 796\u2013817 (2001)","journal-title":"SIAM Journal of Optimization"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/978-3-642-02658-4_40","volume-title":"Computer Aided Verification","author":"C. Le Guernic","year":"2009","unstructured":"Le Guernic, C., Girard, A.: Reachability Analysis of Hybrid Systems Using Support Functions. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 540\u2013554. Springer, Heidelberg (2009)"},{"key":"12_CR19","first-page":"101","volume":"31","author":"Q. Lin","year":"1996","unstructured":"Lin, Q., Rokne, J.G.: Interval approxiamtions of higher order to the ranges of functions. Computers Math\u00a031, 101\u2013109 (1996)","journal-title":"Computers Math"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Martin, R., Shou, H., Voiculescu, I., Bowyer, A., Wang, G.: Comparison of interval methods for plotting algebraic curves. Computer Aided Geometric Design\u00a0(19), 553\u2013587 (2002)","DOI":"10.1016\/S0167-8396(02)00146-2"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/3-540-46430-1_27","volume-title":"Hybrid Systems: Computation and Control","author":"I. Mitchell","year":"2000","unstructured":"Mitchell, I., Tomlin, C.J.: Level Set Methods for Computation in Hybrid Systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 310\u2013323. Springer, Heidelberg (2000)"},{"key":"12_CR22","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"N.S. Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation\u00a0(105), 21\u201368 (1999)","journal-title":"Applied Mathematics and Computation"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-540-71493-4_37","volume-title":"Hybrid Systems: Computation and Control","author":"A. Platzer","year":"2007","unstructured":"Platzer, A., Clarke, E.M.: The Image Computation Problem in Hybrid Systems Model Checking. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 473\u2013486. Springer, Heidelberg (2007)"},{"issue":"8","key":"12_CR24","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 Transactions on Automatic Control\u00a052(8), 1415\u20131429 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-78800-3_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Dang, T., Ivan\u010di\u0107, F.: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 188\u2013202. Springer, Heidelberg (2008)"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BF00121304","volume":"2","author":"H.D. Sherali","year":"1991","unstructured":"Sherali, H.D., Tuncbilek, C.H.: A global optimization algorithm for polynomial programming using a reformulation-linearization technique. Journal of Global Optimization\u00a02, 101\u2013112 (1991)","journal-title":"Journal of Global Optimization"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6377(97)00013-8","volume":"21","author":"H.D. Sherali","year":"1997","unstructured":"Sherali, H.D., Tuncbilek, C.H.: New reformulation-linearization\/convexification relaxations for univariate and multivariate polynomial programming problems. Operation Research Letters\u00a021, 1\u20139 (1997)","journal-title":"Operation Research Letters"},{"key":"12_CR28","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)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Yordanov, B., Belta, C.: Cdc. In: A Formal Verification Approach to the Design of Synthetic Gene Networks (2011)","DOI":"10.1109\/CDC.2011.6160969"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33386-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T01:19:33Z","timestamp":1557278373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33386-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333859","9783642333866"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33386-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}