{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:10:17Z","timestamp":1743145817403,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471501"},{"type":"electronic","value":"9783319471518"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47151-8_9","type":"book-chapter","created":{"date-parts":[[2016,9,25]],"date-time":"2016-09-25T16:30:46Z","timestamp":1474821046000},"page":"128-144","source":"Crossref","is-referenced-by-count":3,"title":["Discrete Abstraction of Multiaffine Systems"],"prefix":"10.1007","author":[{"given":"Hui","family":"Kong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergiy","family":"Bogomolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Schilling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,25]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-36580-X_4","volume-title":"Hybrid Systems: Computation and Control","author":"R Alur","year":"2003","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Progress on reachability analysis of hybrid systems using predicate abstraction. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 4\u201319. Springer, Heidelberg (2003)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-36580-X_5","volume-title":"Hybrid Systems: Computation and Control","author":"E Asarin","year":"2003","unstructured":"Asarin, E., Dang, T., Girard, A.: Reachability analysis of nonlinear systems using conservative approximation. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 20\u201335. Springer, Heidelberg (2003)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bak, S., Bogomolov, S., Henzinger, T.A., Johnson, T.T., Prakash, P.: Scalable static hybridization methods for analysis of nonlinear systems. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, pp. 155\u2013164, 12\u201314 April 2016","DOI":"10.1145\/2883817.2883837"},{"issue":"33","key":"9_CR4","doi-asserted-by":"crossref","first-page":"3149","DOI":"10.1016\/j.tcs.2009.02.042","volume":"410","author":"E Bartocci","year":"2009","unstructured":"Bartocci, E., Corradini, F., Di Berardini, M.R., Entcheva, E., Smolka, S.A., Grosu, R.: Modeling and simulation of cardiac tissue using hybrid I\/O automata. Theor. Comput. Sci. 410(33), 3149\u20133165 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"S\u20132","DOI":"10.1186\/1471-2105-9-S2-S3","volume":"9","author":"E Bartocci","year":"2008","unstructured":"Bartocci, E., Corradini, F., Entcheva, E., Grosu, R., Smolka, S.A.: Cellexcite: an efficient simulation environment for excitable cells. BMC Bioinform. 9, S\u20132 (2008)","journal-title":"BMC Bioinform."},{"issue":"1","key":"9_CR6","doi-asserted-by":"crossref","first-page":"e1004591","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"E Bartocci","year":"2016","unstructured":"Bartocci, E., Li\u00f3, P.: Computational modeling, formal analysis and tools for systems biology. PLOS Comput. Biol. 12(1), e1004591 (2016)","journal-title":"PLOS Comput. Biol."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-642-35524-0_3","volume":"14","author":"E Bartocci","year":"2012","unstructured":"Bartocci, E., Li\u00f2, P., Merelli, E., Paoletti, N.: Multiple verification in complex biological systems: the bone remodelling case study. Trans. Comput. Syst. Biol. 14, 53\u201376 (2012)","journal-title":"Trans. Comput. Syst. Biol."},{"issue":"Special Issue","key":"9_CR8","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TAC.2007.911330","volume":"53","author":"G Batt","year":"2008","unstructured":"Batt, G., Belta, C., Weiss, R.: Temporal logic analysis of gene networks under parameter uncertainty. Trans. Autom. Control 53(Special Issue), 215\u2013229 (2008)","journal-title":"Trans. Autom. Control"},{"issue":"4","key":"9_CR9","doi-asserted-by":"crossref","first-page":"982","DOI":"10.1016\/j.automatica.2007.08.004","volume":"44","author":"G Batt","year":"2008","unstructured":"Batt, G., De Jong, H., Page, M., Geiselmann, J.: Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. Automatica 44(4), 982\u2013989 (2008)","journal-title":"Automatica"},{"issue":"11","key":"9_CR10","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"C Belta","year":"2006","unstructured":"Belta, C., Habets, L.C.: Controlling a class of nonlinear systems on rectangles. Trans. Autom. Control 51(11), 1749\u20131759 (2006)","journal-title":"Trans. Autom. Control"},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s10009-015-0393-y","volume":"18","author":"S Bogomolov","year":"2016","unstructured":"Bogomolov, S., Donz\u00e9, A., Frehse, G., Grosu, R., Johnson, T.T., Ladan, H., Podelski, A., Wehrle, M.: Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18(4), 449\u2013467 (2016). doi: 10.1007\/s10009-015-0393-y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1007\/978-3-319-13338-6_10","volume-title":"Hardware and Software: Verification and Testing","author":"S Bogomolov","year":"2014","unstructured":"Bogomolov, S., Frehse, G., Greitschus, M., Grosu, R., Pasareanu, C., Podelski, A., Strump, T.: Assume-guarantee abstraction refinement meets hybrid systems. In: Yahav, E. (ed.) HVC 2014. LNCS, vol. 8855, pp. 116\u2013131. Springer, Heidelberg (2014)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-26287-1_2","volume-title":"Hardware and Software: Verification and Testing","author":"S Bogomolov","year":"2015","unstructured":"Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., Grosu, R.: Abstraction-based parameter synthesis for multiaffine systems. In: Piterman, N. (ed.) HVC 2015. LNCS, vol. 9434, pp. 19\u201335. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-26287-1_2"},{"key":"9_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-35651-8","volume-title":"Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"DA Cox","year":"2007","unstructured":"Cox, D.A., Little, J., O\u2019Shea, D.: Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer, New York (2007)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 5688, pp. 126\u2013141. Springer, Heidelberg (2009)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Dreossi, T., Dang, T.: Parameter synthesis for polynomial biological models. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, pp. 233\u2013242. ACM (2014)","DOI":"10.1145\/2562059.2562123"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1007\/978-3-642-22110-1_31","volume-title":"Computer Aided Verification","author":"R Grosu","year":"2011","unstructured":"Grosu, R., Batt, G., Fenton, F.H., Glimm, J., Le Guernic, C., Smolka, S.A., Bartocci, E.: From cardiac cells to genetic regulatory networks. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 396\u2013411. Springer, Heidelberg (2011)"},{"issue":"6","key":"9_CR18","doi-asserted-by":"crossref","first-page":"938","DOI":"10.1109\/TAC.2006.876952","volume":"51","author":"L Habets","year":"2006","unstructured":"Habets, L., Collins, P.J., van Schuppen, J.H.: Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Trans. Autom. Control 51(6), 938\u2013948 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"9_CR19","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.automatica.2003.08.001","volume":"40","author":"L Habets","year":"2004","unstructured":"Habets, L., Van Schuppen, J.H.: A control problem for affine dynamical systems on a full-dimensional polytope. Automatica 40(1), 21\u201335 (2004)","journal-title":"Automatica"},{"key":"9_CR20","first-page":"1","volume":"17","author":"LCGJM Habets","year":"2000","unstructured":"Habets, L.C.G.J.M., Van Schuppen, J.: A control problem for affine dynamical systems on a full-dimensional simplex. Rep. Probab. Netw. Algorithms 17, 1\u201319 (2000)","journal-title":"Rep. Probab. Netw. Algorithms"},{"issue":"2","key":"9_CR21","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/TIE.2014.2316234","volume":"62","author":"Y Jiang","year":"2015","unstructured":"Jiang, Y., Zhang, H., Li, Z., Deng, Y., Song, X., Gu, M., Sun, J.: Design and optimization of multiclocked embedded systems using formal techniques. IEEE Trans. Ind. Electron. 62(2), 1270\u20131278 (2015)","journal-title":"IEEE Trans. Ind. Electron."},{"issue":"8","key":"9_CR22","doi-asserted-by":"crossref","first-page":"2220","DOI":"10.1109\/TPDS.2014.2346171","volume":"26","author":"Y Jiang","year":"2015","unstructured":"Jiang, Y., Zhang, H., Zhang, H., Liu, H., Song, X., Gu, M., Sun, J.: Design of mixed synchronous\/asynchronous systems with multiple clocks. IEEE Trans. Parallel Distrib. Syst. 26(8), 2220\u20132232 (2015)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 3927, pp. 348\u2013362. Springer, Heidelberg (2006)"},{"key":"9_CR24","unstructured":"Kong, H., Bogomolov, S., Schilling, C., Jiang, Y., Henzinger, T.A., Invariant clusters for hybrid systems. arXiv preprint arXiv: 1605.01450 (2016)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"issue":"7","key":"9_CR26","doi-asserted-by":"crossref","first-page":"1033","DOI":"10.1093\/comjnl\/bxt059","volume":"57","author":"H Kong","year":"2014","unstructured":"Kong, H., Song, X., Han, D., Gu, M., Sun, J.: A new barrier certificate for safety verification of hybrid systems. Comput. J. 57(7), 1033\u20131045 (2014)","journal-title":"Comput. J."},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Liu, J., Zhan, N., Zhao, H.: Computing semi-algebraic invariants for polynomial dynamical systems. In: International Conference on Embedded Software, pp. 97\u2013106. ACM (2011)","DOI":"10.1145\/2038642.2038659"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-662-49122-5_13","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A Sogokon","year":"2016","unstructured":"Sogokon, A., Ghorbal, K., Jackson, P.B., Platzer, A.: A method for invariant generation for polynomial continuous systems. In: Jobstmann, B., Leino, K.R.M. (eds.) VMCAI 2016. LNCS, vol. 9583, pp. 268\u2013288. Springer, Heidelberg (2016). doi: 10.1007\/978-3-662-49122-5_13"},{"issue":"1","key":"9_CR29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s10703-007-0044-3","volume":"32","author":"A Tiwari","year":"2008","unstructured":"Tiwari, A.: Abstractions for hybrid systems. Formal Methods Syst. Des. 32(1), 57\u201383 (2008)","journal-title":"Formal Methods Syst. Des."},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/3-540-45873-5_36","volume-title":"Hybrid Systems: Computation and Control","author":"A Tiwari","year":"2002","unstructured":"Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 465\u2013478. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47151-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:40:33Z","timestamp":1498333233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47151-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471501","9783319471518"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47151-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}