{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:25:56Z","timestamp":1762521956674,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"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_5","type":"book-chapter","created":{"date-parts":[[2016,9,25]],"date-time":"2016-09-25T16:30:46Z","timestamp":1474821046000},"page":"67-84","source":"Crossref","is-referenced-by-count":2,"title":["Application of the Reachability Analysis for the Iron Homeostasis Study"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Rocca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thao","family":"Dang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Fanchon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Moulis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,25]]},"reference":[{"issue":"18","key":"5_CR1","doi-asserted-by":"crossref","first-page":"2415","DOI":"10.1093\/bioinformatics\/btm362","volume":"23","author":"G Batt","year":"2007","unstructured":"Batt, G., Yordanov, B., Weiss, R., Belta, C.: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18), 2415\u20132422 (2007)","journal-title":"Bioinformatics"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-71493-4_9","volume-title":"Hybrid Systems: Computation and Control","author":"S Berman","year":"2007","unstructured":"Berman, S., Hal\u00e1sz, \u00c1., Kumar, V.: MARCO: a reachability algorithm for multi-affine systems with applications to biological systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 76\u201389. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71493-4_9"},{"key":"5_CR3","unstructured":"Brim, L., Fabrikov\u00e1, J., Drazan, S., Safranek, D.: Reachability in biochemical dynamical systems by quantitative discrete approximation (2011). arXiv preprint: arXiv:1107.5924"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","first-page":"258","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Dang, T., Maler, O., Testylier, R.: Accurate hybridization of nonlinear systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, pp. 11\u201320. ACM (2010)","DOI":"10.1145\/1755952.1755956"},{"issue":"2","key":"5_CR6","first-page":"128","volume":"17","author":"T Dang","year":"2012","unstructured":"Dang, T., Testylier, R.: Reachability analysis for polynomial dynamical systems using the bernstein expansion. Reliable Comput. 17(2), 128\u2013152 (2012)","journal-title":"Reliable Comput."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Dreossi, T., Dang, T., Piazza, C.: Parallelotope bundles for polynomial reachability. In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pp. 297\u2013306. ACM (2016)","DOI":"10.1145\/2883817.2883838"},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/965105.807481","volume":"14","author":"H Fuchs","year":"1980","unstructured":"Fuchs, H., Kedem, Z.M., Naylor, B.F.: On visible surface generation by a priori tree structures. ACM Siggraph Comput. Graph. 14, 124\u2013133 (1980). ACM","journal-title":"ACM Siggraph Comput. Graph."},{"key":"5_CR9","unstructured":"Mobilia, N.: M\u00e9thodologie semi-formelle pour l\u2019\u00e9tude de syst\u00e8mes biologiques: application \u00e0 l\u2019hom\u00e9ostasie du fer. Ph.D. thesis, Universit\u00e9 Joseph Fourier, Grenoble (2015)"},{"key":"5_CR10","first-page":"34","volume":"17","author":"A Narkawicz","year":"2012","unstructured":"Narkawicz, A., Garloff, J., Smith, A.P., Munoz, C.A.: Bounding the range of a rational functiom over a box. Reliable Comput. 17, 34\u201339 (2012)","journal-title":"Reliable Comput."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-540-71070-7_15","volume-title":"Automated Reasoning","author":"A Platzer","year":"2008","unstructured":"Platzer, A., Quesel, J.-D.: KeYmaera: a hybrid theorem prover for hybrid systems (system description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 171\u2013178. Springer, Heidelberg (2008)"},{"key":"5_CR12","unstructured":"Sassi, M.A.B.: Analyse et contr\u00f4le des syst\u00e8mes dynamiques polynomiaux. Ph.D. thesis, Universit\u00e9 de Grenoble (2013)"},{"issue":"2\u20133","key":"5_CR13","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/s10898-007-9195-4","volume":"43","author":"AP Smith","year":"2009","unstructured":"Smith, A.P.: Fast construction of constant bound functions for sparse polynomials. J. Glob. Optim. 43(2\u20133), 445\u2013458 (2009)","journal-title":"J. Glob. Optim."}],"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_5","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_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471501","9783319471518"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47151-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}