{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:24:58Z","timestamp":1760171098256,"version":"3.37.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319955810"},{"type":"electronic","value":"9783319955827"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95582-7_25","type":"book-chapter","created":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T14:31:17Z","timestamp":1531319477000},"page":"418-437","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Vector Barrier Certificates and Comparison Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5849-7991","authenticated-orcid":false,"given":"Andrew","family":"Sogokon","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4941-6632","authenticated-orcid":false,"given":"Khalil","family":"Ghorbal","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7033-2463","authenticated-orcid":false,"given":"Yong Kiam","family":"Tan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7238-5710","authenticated-orcid":false,"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"key":"25_CR1","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-64971-4","volume-title":"Inequalities","author":"EF Beckenbach","year":"1961","unstructured":"Beckenbach, E.F.: Inequalities. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 30. Springer, New York (1961). https:\/\/doi.org\/10.1007\/978-3-642-64971-4"},{"issue":"1","key":"25_CR2","first-page":"32","volume":"1","author":"R Bellman","year":"1962","unstructured":"Bellman, R.: Vector Lyapunov functions. SIAM J. Control Optim. 1(1), 32\u201334 (1962)","journal-title":"SIAM J. Control Optim."},{"key":"25_CR3","volume-title":"Ordinary Differential Equations","author":"G Birkhoff","year":"1989","unstructured":"Birkhoff, G., Rota, G.C.: Ordinary Differential Equations. Wiley, New York (1989)"},{"issue":"11","key":"25_CR4","doi-asserted-by":"publisher","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","volume":"35","author":"F Blanchini","year":"1999","unstructured":"Blanchini, F.: Set invariance in control. Automatica 35(11), 1747\u20131767 (1999)","journal-title":"Automatica"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Chapoutot, A., Djaballah, A., Kieffer, M.: Computation of parametric barrier functions for dynamical systems using interval analysis. In: 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, 15\u201317 December 2014, pp. 753\u2013758. IEEE (2014)","DOI":"10.1109\/CDC.2014.7039472"},{"issue":"1","key":"25_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-247X(61)90051-8","volume":"2","author":"F Brauer","year":"1961","unstructured":"Brauer, F.: Global behavior of solutions of ordinary differential equations. J. Math. Anal. Appl. 2(1), 145\u2013158 (1961)","journal-title":"J. Math. Anal. Appl."},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"811","DOI":"10.4153\/CJM-1965-079-2","volume":"17","author":"F Brauer","year":"1965","unstructured":"Brauer, F.: Some refinements of Lyapunov\u2019s second method. Canad. J. Math. 17, 811\u2013819 (1965)","journal-title":"Canad. J. Math."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: Proceedings of the 33rd IEEE Real-Time Systems Symposium, RTSS 2012, San Juan, PR, USA, 4\u20137 December 2012, pp. 183\u2013192. IEEE Computer Society (2012)","DOI":"10.1109\/RTSS.2012.70"},{"issue":"3","key":"25_CR9","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"GE Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12(3), 299\u2013328 (1991)","journal-title":"J. Symb. Comput."},{"issue":"4","key":"25_CR10","first-page":"510","volume":"11","author":"R Conti","year":"1956","unstructured":"Conti, R.: Sulla prolungabilit\u00e0 delle soluzioni di un sistema di equazioni differenziali ordinarie. Bollettino dell\u2019Unione Matematica Italiana 11(4), 510\u2013514 (1956)","journal-title":"Bollettino dell\u2019Unione Matematica Italiana"},{"issue":"1","key":"25_CR11","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. Symb. Comput. 80(1), 62\u201386 (2017)","journal-title":"J. Symb. Comput."},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.automatica.2016.12.013","volume":"78","author":"A Djaballah","year":"2017","unstructured":"Djaballah, A., Chapoutot, A., Kieffer, M., Bouissou, O.: Construction of parametric barrier functions for dynamical systems using interval analysis. Automatica 78, 287\u2013296 (2017)","journal-title":"Automatica"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Fan, C., Kapinski, J., Jin, X., Mitra, S.: Locally optimal reach set over-approximation for nonlinear systems. In: 2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, 1\u20137 October 2016, pp. 6:1\u20136:10. ACM (2016)","DOI":"10.1145\/2968478.2968482"},{"key":"25_CR14","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., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"key":"25_CR15","first-page":"19","volume":"47","author":"K Ghorbal","year":"2017","unstructured":"Ghorbal, K., Sogokon, A., Platzer, A.: A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Comput. Lang. Syst. Struct. 47, 19\u201343 (2017)","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"1","key":"25_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.arcontrol.2009.03.002","volume":"33","author":"H Gu\u00e9guen","year":"2009","unstructured":"Gu\u00e9guen, H., Lefebvre, M., Zaytoon, J., Nasri, O.: Safety verification and reachability analysis for hybrid systems. Ann. Rev. Control 33(1), 25\u201336 (2009)","journal-title":"Ann. Rev. Control"},{"issue":"2","key":"25_CR17","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1090\/qam\/284664","volume":"29","author":"RW Gunderson","year":"1971","unstructured":"Gunderson, R.W.: A stability condition for linear comparison systems. Quart. Appl. Math. 29(2), 327\u2013328 (1971)","journal-title":"Quart. Appl. Math."},{"issue":"2","key":"25_CR18","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1016\/0022-247X(73)90090-5","volume":"43","author":"P Habets","year":"1973","unstructured":"Habets, P., Peiffer, K.: Classification of stability-like concepts and their study using vector Lyapunov functions. J. Math. Anal. Appl. 43(2), 537\u2013570 (1973)","journal-title":"J. Math. Anal. Appl."},{"key":"25_CR19","doi-asserted-by":"crossref","DOI":"10.1515\/9781400841042","volume-title":"Nonlinear Dynamical Systems and Control, A Lyapunov-Based Approach","author":"WM Haddad","year":"2008","unstructured":"Haddad, W.M., Chellaboina, V.: Nonlinear Dynamical Systems and Control, A Lyapunov-Based Approach. Princeton University Press, Princeton (2008)"},{"issue":"3","key":"25_CR20","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1137\/1005068","volume":"5","author":"JK Hale","year":"1963","unstructured":"Hale, J.K., LaSalle, J.P.: Differential equations: linearity vs. nonlinearity. SIAM Rev. 5(3), 249\u2013272 (1963)","journal-title":"SIAM Rev."},{"issue":"1","key":"25_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.2140\/pjm.1988.132.35","volume":"132","author":"D Handelman","year":"1988","unstructured":"Handelman, D.: Representing polynomials by positive linear functions on compact convex polyhedra. Pac. J. Math. 132(1), 35\u201362 (1988)","journal-title":"Pac. J. Math."},{"key":"25_CR22","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). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_17"},{"key":"25_CR23","volume-title":"Differential and Integral Inequalities: Theory and Applications. Volume I: Ordinary Differential Equations","author":"V Lakshmikantham","year":"1969","unstructured":"Lakshmikantham, V., Leela, S.: Differential and Integral Inequalities: Theory and Applications. Volume I: Ordinary Differential Equations. Academic Press, New York (1969)"},{"key":"25_CR24","series-title":"Mathematics and Its Applications","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7939-1","volume-title":"Vector Lyapunov Functions and Stability Analysis of Nonlinear Systems","author":"V Lakshmikantham","year":"1991","unstructured":"Lakshmikantham, V., Matrosov, V.M., Sivasundaram, S.: Vector Lyapunov Functions and Stability Analysis of Nonlinear Systems. Mathematics and Its Applications, vol. 63. Springer, Dordrecht (1991). https:\/\/doi.org\/10.1007\/978-94-015-7939-1"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Liu, J., Zhan, N., Zhao, H.: Computing semi-algebraic invariants for polynomial dynamical systems. In: Chakraborty, S., Jerraya, A., Baruah, S.K., Fischmeister, S. (eds.) Proceedings of Ninth ACM International Conference on Embedded Software, EMSOFT 2011, 9\u201314 October 2011, pp. 97\u2013106. ACM (2011)","DOI":"10.1145\/2038642.2038659"},{"key":"25_CR26","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1080\/00207179208934253","volume":"55","author":"AM Lyapunov","year":"1992","unstructured":"Lyapunov, A.M.: The general problem of stability of motion. Int. J. Control 55, 531\u2013773 (1992). Comm. Math. Soc. Kharkov (1892), English translation","journal-title":"Int. J. Control"},{"issue":"6","key":"25_CR27","first-page":"1506","volume":"26","author":"VM Matrosov","year":"1962","unstructured":"Matrosov, V.M.: On the theory of stability of motion. Prikl. Mat. Mekh. 26(6), 1506\u20131522 (1962). English translation (1962)","journal-title":"Prikl. Mat. Mekh."},{"key":"25_CR28","series-title":"Mathematics in Science and Engineering","volume-title":"Qualitative Analysis of Large Scale Dynamical Systems","author":"AN Michel","year":"1977","unstructured":"Michel, A.N., Miller, R.K.: Qualitative Analysis of Large Scale Dynamical Systems. Mathematics in Science and Engineering, vol. 134. Academic Press, New York (1977)"},{"key":"25_CR29","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., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 310\u2013323. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46430-1_27"},{"key":"25_CR30","unstructured":"Papachristodoulou, A., Anderson, J., Valmorbida, G., Prajna, S., Seiler, P., Parrilo, P.A.: SOSTOOLS version 3.00 sum of squares optimization toolbox for MATLAB. CoRR abs\/1310.4716 (2013)"},{"key":"25_CR31","unstructured":"Parrilo, P.A.: Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. Ph.D. thesis, California Institute of Technology, May 2000"},{"issue":"2","key":"25_CR32","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/j.tcs.2008.09.025","volume":"409","author":"H Peyrl","year":"2008","unstructured":"Peyrl, H., Parrilo, P.A.: Computing sum of squares decompositions with rational coefficients. Theor. Comput. Sci. 409(2), 269\u2013281 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"25_CR33","first-page":"1","volume":"8","author":"A Platzer","year":"2012","unstructured":"Platzer, A.: The structure of differential invariants and differential cut elimination. Log. Meth. Comput. Sci. 8(4), 1\u201338 (2012)","journal-title":"Log. Meth. Comput. Sci."},{"issue":"1","key":"25_CR34","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 Meth. Syst. Des. 35(1), 98\u2013120 (2009)","journal-title":"Formal Meth. Syst. Des."},{"key":"25_CR35","volume-title":"LICS","author":"A Platzer","year":"2018","unstructured":"Platzer, A., Tan, Y.K.: Differential equation axiomatization: the impressive power of differential ghosts. In: Dawar, A., Gr\u00e4del, E. (eds.) LICS. ACM, New York (2018)"},{"key":"25_CR36","unstructured":"Prajna, S.: Optimization-based methods for nonlinear and hybrid systems verification. Ph.D. thesis, California Institute of Technology, January 2005"},{"key":"25_CR37","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). https:\/\/doi.org\/10.1007\/978-3-540-24743-2_32"},{"issue":"8","key":"25_CR38","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\u20131428 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"25_CR39","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1145\/1183278.1183282","volume":"7","author":"S Ratschan","year":"2006","unstructured":"Ratschan, S.: Efficient solving of quantified inequality constraints over the real numbers. ACM Trans. Comput. Log. 7(4), 723\u2013748 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"7","key":"25_CR40","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)","journal-title":"SIAM J. Control Optim."},{"issue":"4","key":"25_CR41","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/2271358","volume":"33","author":"D Richardson","year":"1968","unstructured":"Richardson, D.: Some undecidable problems involving elementary functions of a real variable. J. Symb. Log. 33(4), 514\u2013520 (1968)","journal-title":"J. Symb. Log."},{"key":"25_CR42","series-title":"Applied Mathematical Sciences","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9362-7","volume-title":"Stability Theory by Liapunov\u2019s Direct Method","author":"N Rouche","year":"1977","unstructured":"Rouche, N., Habets, P., Laloy, M.: Stability Theory by Liapunov\u2019s Direct Method. Applied Mathematical Sciences, vol. 22. Springer, New York (1977). https:\/\/doi.org\/10.1007\/978-1-4684-9362-7"},{"key":"25_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-662-53413-7_21","volume-title":"Static Analysis","author":"P Roux","year":"2016","unstructured":"Roux, P., Voronin, Y.-L., Sankaranarayanan, S.: Validating numerical semidefinite programming solvers for polynomial invariants. In: Rival, X. (ed.) SAS 2016. LNCS, vol. 9837, pp. 424\u2013446. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53413-7_21"},{"issue":"23","key":"25_CR44","doi-asserted-by":"publisher","first-page":"576","DOI":"10.3182\/20130904-3-FR-2041.00198","volume":"46","author":"Sriram Sankaranarayanan","year":"2013","unstructured":"Sankaranarayanan, S., Chen, X., \u00c1brah\u00e1m, E.: Lyapunov function synthesis using Handelman representations. In: Tarbouriech, S., Krstic, M. (eds.) 9th IFAC Symposium on Nonlinear Control Systems, NOLCOS 2013, Toulouse, France, 4\u20136 September 2013, pp. 576\u2013581. International Federation of Automatic Control (2013)","journal-title":"IFAC Proceedings Volumes"},{"key":"25_CR45","doi-asserted-by":"crossref","unstructured":"Sloth, C., Pappas, G.J., Wi\u015bniewski, R.: Compositional safety analysis using barrier certificates. In: Dang, T., Mitchell, I.M. (eds.) Proceedings of Hybrid Systems: Computation and Control, HSCC 2012, 17\u201319 April 2012, pp. 15\u201324. ACM (2012)","DOI":"10.1145\/2185632.2185639"},{"issue":"5\u20136","key":"25_CR46","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1080\/01630569608816716","volume":"17","author":"NK Son","year":"1996","unstructured":"Son, N.K., Hinrichsen, D.: Robust stability of positive continuous time systems. Numer. Funct. Anal. Optim. 17(5\u20136), 649\u2013659 (1996)","journal-title":"Numer. Funct. Anal. Optim."},{"issue":"1","key":"25_CR47","doi-asserted-by":"publisher","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 Meth. Syst. Des. 32(1), 57\u201383 (2008)","journal-title":"Formal Meth. Syst. Des."},{"issue":"8","key":"25_CR48","doi-asserted-by":"publisher","first-page":"4695","DOI":"10.1016\/S0362-546X(96)00259-3","volume":"30","author":"W Walter","year":"1997","unstructured":"Walter, W.: Differential inequalities and maximum principles: theory, new methods and applications. Nonlinear Anal. Theor. Meth. Appl. 30(8), 4695\u20134711 (1997). Proceedings of the Second World Congress of Nonlinear Analysts","journal-title":"Nonlinear Anal. Theor. Meth. Appl."},{"key":"25_CR49","series-title":"Undergraduate Texts in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0601-9","volume-title":"Ordinary Differential Equations","author":"W Walter","year":"1998","unstructured":"Walter, W.: Ordinary Differential Equations. Undergraduate Texts in Mathematics. Springer, New York (1998)"},{"key":"25_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1007\/978-3-319-48989-6_44","volume-title":"FM 2016: Formal Methods","author":"Z Yang","year":"2016","unstructured":"Yang, Z., Huang, C., Chen, X., Lin, W., Liu, Z.: A linear programming relaxation based approach for generating barrier certificates of hybrid systems. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 721\u2013738. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48989-6_44"},{"key":"25_CR51","series-title":"Publications of the Mathematical Society of Japan","volume-title":"Stability Theory by Liapunov\u2019s Second Method","author":"T Yoshizawa","year":"1966","unstructured":"Yoshizawa, T.: Stability Theory by Liapunov\u2019s Second Method. Publications of the Mathematical Society of Japan, vol. 9. The Mathematical Society of Japan, Tokyo (1966)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95582-7_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T16:05:09Z","timestamp":1604592309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95582-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319955810","9783319955827"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95582-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}