{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:58:47Z","timestamp":1725886727699},"publisher-location":"Cham","reference-count":65,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319515465"},{"type":"electronic","value":"9783319515472"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51547-2_5","type":"book-chapter","created":{"date-parts":[[2017,5,2]],"date-time":"2017-05-02T14:59:28Z","timestamp":1493737168000},"page":"89-112","source":"Crossref","is-referenced-by-count":1,"title":["Some Recent Directions in Algebraic Methods for Optimization and Lyapunov Analysis"],"prefix":"10.1007","author":[{"given":"Amir Ali","family":"Ahmadi","sequence":"first","affiliation":[]},{"given":"Pablo A.","family":"Parrilo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,3]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"A.A. Ahmadi, Non-monotonic Lyapunov functions for stability of nonlinear and switched systems: theory and computation. Master\u2019s Thesis, Massachusetts Institute of Technology, June 2008. http:\/\/aaa.lids.mit.edu\/publications","DOI":"10.1109\/CDC.2008.4739402"},{"key":"5_CR2","unstructured":"A.A. Ahmadi, Algebraic relaxations and hardness results in polynomial optimization and Lyapunov analysis. Ph.D. Thesis, Massachusetts Institute of Technology, September 2011. http:\/\/aaa.lids.mit.edu\/publications"},{"key":"5_CR3","doi-asserted-by":"publisher","unstructured":"A.A. Ahmadi, On the difficulty of deciding asymptotic stability of cubic homogeneous vector fields. in Proceedings of the American Control Conference (2012)","DOI":"10.1109\/ACC.2012.6315687"},{"key":"5_CR4","unstructured":"A.A. Ahmadi, R. Jungers, SOS-convex Lyapunov functions with applications to nonlinear switched systems. in Proceedings of the IEEE Conference on Decision and Control (2013)"},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"A.A. Ahmadi, R. Jungers, On complexity of Lyapunov functions for switched linear systems. in Proceedings of the 19th World Congress of the International Federation of Automatic Control (2014)","DOI":"10.3182\/20140824-6-ZA-1003.02484"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"A.A. Ahmadi, A. Majumdar, Some applications of polynomial optimization in operations research and real-time decision making (2014). Under review","DOI":"10.1007\/s11590-015-0894-3"},{"key":"5_CR7","unstructured":"A.A. Ahmadi, A. Majumdar, DSOS and SDSOS: more tractable alternatives to sum of squares and semidefinite optimization (in preparation, 2016)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"A.A. Ahmadi, P.A. Parrilo, Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems. in Proceedings of the 47 $$^{th}\\,$$ \u00a0IEEE Conference on Decision and Control (2008)","DOI":"10.1109\/CDC.2008.4739402"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"A.A. Ahmadi, P.A. Parrilo, Converse results on existence of sum of squares Lyapunov functions. in Proceedings of the 50 $$^{th}$$ \u00a0IEEE Conference on Decision and Control (2011)","DOI":"10.1109\/CDC.2011.6161493"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"A.A. Ahmadi, P.A. Parrilo, On higher order derivatives of Lyapunov functions. in Proceedings of the 2011 American Control Conference (2011)","DOI":"10.1109\/ACC.2011.5991573"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1137\/110856010","volume":"23","author":"AA Ahmadi","year":"2013","unstructured":"A.A. Ahmadi, P.A. Parrilo, A complete characterization of the gap between convexity and sos-convexity. SIAM J. Optim. 23(2), 811\u2013833 (2013)","journal-title":"SIAM J. Optim."},{"key":"5_CR12","unstructured":"A.A. Ahmadi, P.A. Parrilo, Stability of polynomial differential equations: complexity and converse Lyapunov questions. Under review. Preprint available at http:\/\/arxiv.org\/abs\/1308.6833 , 2013"},{"key":"5_CR13","unstructured":"A.A. Ahmadi, P.A. Parrilo, Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization. in The Proceedings of the 53rd Annual Conference on Decision and Control (2014), pp. 2272\u20132281"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"A.A. Ahmadi, M. Krstic, P.A. Parrilo, A globally asymptotically stable polynomial vector field with no polynomial Lyapunov function. in Proceedings of the 50 $$^{th}$$ \u00a0IEEE Conference on Decision and Control (2011)","DOI":"10.1109\/CDC.2011.6161499"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"A.A. Ahmadi, R. Jungers, P.A. Parrilo, M. Roozbehani, Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs, Hybrid Systems: Computation and Control 2011, Lecture Notes in Computer Science (Springer, 2011)","DOI":"10.1145\/1967701.1967706"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"A.A. Ahmadi, R.M. Jungers, P.A. Parrilo, M. Roozbehani, When is a set of LMIs a sufficient condition for stability? in Proceedings of the IFAC Symposium on Robust Control Design (2012)","DOI":"10.3182\/20120620-3-DK-2025.00098"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"A.A. Ahmadi, A. Majumdar, R. Tedrake, Complexity of ten decision problems in continuous time dynamical systems. in Proceedings of the American Control Conference (2013)","DOI":"10.1109\/ACC.2013.6580838"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1137\/110855272","volume":"52","author":"AA Ahmadi","year":"2014","unstructured":"A.A. Ahmadi, R. Jungers, P.A. Parrilo, M. Roozbehani, Joint spectral radius and path-complete graph Lyapunov functions. SIAM J. Optim. Control 52(1), 687 (2014)","journal-title":"SIAM J. Optim. Control"},{"key":"5_CR19","unstructured":"V.I. Arnold. Problems of present day mathematics, XVII (Dynamical systems and differential equations). Proc. Symp. Pure Math., 28(59) (1976)"},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"A. Ataei-Esfahani, Q. Wang, Nonlinear control design of a hypersonic aircraft using sum-of-squares methods. in Proceedings of the American Control Conference (IEEE, 2007), pp. 5278\u20135283","DOI":"10.1109\/ACC.2007.4282934"},{"key":"5_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/b139028","volume-title":"Liapunov Functions and Stability in Control Theory","author":"A Bacciotti","year":"2005","unstructured":"A. Bacciotti, L. Rosier, Liapunov Functions and Stability in Control Theory (Springer, Heidelberg, 2005)"},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"A.J. Barry, A. Majumdar, R. Tedrake, Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates. in Proceedings of the IEEE International Conference on Robotics and Automation (IEEE, 2012), pp. 484\u2013490","DOI":"10.1109\/ICRA.2012.6225351"},{"issue":"12","key":"5_CR23","doi-asserted-by":"publisher","first-page":"2809","DOI":"10.1109\/TAC.2011.2162878","volume":"56","author":"D Bertsimas","year":"2011","unstructured":"D. Bertsimas, D.A. Iancu, P.A. Parrilo, A hierarchy of near-optimal policies for multistage adaptive optimization. IEEE Trans. Autom. Control 56(12), 2809\u20132824 (2011)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR24","doi-asserted-by":"publisher","unstructured":"A.R. Butz, Higher order derivatives of Liapunov functions. IEEE Trans. Autom. Control AC\u201314, 111\u2013112 (1969)","DOI":"10.1109\/TAC.1969.1099092"},{"issue":"1","key":"5_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2514\/1.50675","volume":"34","author":"A Chakraborty","year":"2011","unstructured":"A. Chakraborty, P. Seiler, G.J. Balas, Susceptibility of F\/A-18 flight controllers to the falling-leaf mode: nonlinear analysis. J. Guid. Control Dyn. 34(1), 73\u201385 (2011)","journal-title":"J. Guid. Control Dyn."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"G. Chesi, D. Henrion (eds.), Special issue on positive polynomials in control. IEEE Trans. Autom. Control 54(5), 935 (2009)","DOI":"10.1109\/TAC.2009.2015979"},{"key":"5_CR27","unstructured":"CPLEX. V12. 2: Users manual for CPLEX. International Business Machines Corporation, 46(53), 157 (2010)"},{"issue":"5","key":"5_CR28","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0167-6911(01)00118-9","volume":"43","author":"J Daafouz","year":"2001","unstructured":"J. Daafouz, J. Bernussou, Parameter dependent Lyapunov functions for discrete time systems with time varying parametric uncertainties. Syst. Control Lett. 43(5), 355\u2013359 (2001)","journal-title":"Syst. Control Lett."},{"issue":"18","key":"5_CR29","doi-asserted-by":"publisher","first-page":"187904","DOI":"10.1103\/PhysRevLett.88.187904","volume":"88","author":"AC Doherty","year":"2002","unstructured":"A.C. Doherty, P.A. Parrilo, F.M. Spedalieri, Distinguishing separable and entangled states. Phys. Rev. Lett. 88(18), 187904 (2002)","journal-title":"Phys. Rev. Lett."},{"issue":"4","key":"5_CR30","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/TAC.2006.872764","volume":"51","author":"R Goebel","year":"2006","unstructured":"R. Goebel, A.R. Teel, T. Hu, Z. Lin, Conjugate convex Lyapunov functions for dual linear differential inclusions. IEEE Trans. Autom. Control 51(4), 661\u2013666 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"5_CR31","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10107-006-0062-8","volume":"110","author":"N Gvozdenovi\u0107","year":"2007","unstructured":"N. Gvozdenovi\u0107, M. Laurent, Semidefinite bounds for the stability number of a graph via sums of squares of polynomials. Math. Program. 110(1), 145\u2013173 (2007)","journal-title":"Math. Program."},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-540-74591-4_9","volume-title":"Verifying nonlinear real formulas via sums of squares, Theorem Proving in Higher Order Logics","author":"J Harrison","year":"2007","unstructured":"J. Harrison, Verifying nonlinear real formulas via sums of squares, Theorem Proving in Higher Order Logics (Springer, Heidelberg, 2007), pp. 102\u2013118"},{"volume-title":"Positive Polynomials in Control","year":"2005","key":"5_CR33","unstructured":"D. Henrion, A. Garulli (eds.), Positive Polynomials in Control, vol. 312 (Lecture Notes in Control and Information Sciences (Springer, Heidelberg, 2005)"},{"issue":"2","key":"5_CR34","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1109\/TAC.2013.2283095","volume":"59","author":"D Henrion","year":"2014","unstructured":"D. Henrion, M. Korda, Convex computation of the region of attraction of polynomial control systems. IEEE Trans. Autom. Control 59(2), 297\u2013312 (2014)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"D. Hilbert, \u00dcber die Darstellung Definiter Formen als Summe von Formenquadraten. Math. Ann. 32, (1888)","DOI":"10.1007\/BF01443605"},{"key":"5_CR36","unstructured":"C. Hillar, L.-H. Lim, Most tensor problems are NP-hard. arXiv preprint arXiv:0911.1393 , 2009"},{"key":"5_CR37","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2001","unstructured":"J.E. Hopcroft, R. Motwani, J.D. Ullman, Introduction to Automata Theory, Languages, and Computation (Addison Wesley, Boston, 2001)"},{"issue":"6","key":"5_CR38","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1109\/TAC.2005.849201","volume":"50","author":"T Hu","year":"2005","unstructured":"T. Hu, Z. Lin, Absolute stability analysis of discrete-time systems with composite quadratic Lyapunov functions. IEEE Trans. Autom. Control 50(6), 781\u2013797 (2005)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"T. Hu, L. Ma, Z. Li, On several composite quadratic Lyapunov functions for switched systems. in Proceedings of the 45 $$^{th}\\,$$ \u00a0IEEE Conference on Decision and Control (2006)","DOI":"10.1109\/CDC.2006.377788"},{"issue":"11","key":"5_CR40","doi-asserted-by":"publisher","first-page":"2571","DOI":"10.1109\/TAC.2008.2006933","volume":"53","author":"T Hu","year":"2008","unstructured":"T. Hu, L. Ma, Z. Lin, Stabilization of switched systems via composite quadratic functions. IEEE Trans. Autom. Control 53(11), 2571\u20132585 (2008)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR41","unstructured":"Z. Jarvis-Wloszek, R. Feeley, W. Tan, K. Sun, A. Packard, Some controls applications of sum of squares programming. in Proceedings of the 42 $$^{th}\\,$$ \u00a0IEEE Conference on Decision and Control (2003), pp. 4676\u20134681"},{"key":"5_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-95980-9","volume-title":"The Joint Spectral Radius: Theory and Applications","author":"R Jungers","year":"2009","unstructured":"R. Jungers, The Joint Spectral Radius: Theory and Applications, vol. 385 (Lecture Notes in Control and Information Sciences (Springer, Heidelberg, 2009)"},{"key":"5_CR43","volume-title":"Nonlinear Systems","author":"H Khalil","year":"2002","unstructured":"H. Khalil, Nonlinear Systems, 3rd edn. (Prentice Hall, New Jersey, 2002)","edition":"3"},{"issue":"3","key":"5_CR44","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1137\/S1052623400366802","volume":"11","author":"JB Lasserre","year":"2001","unstructured":"J.B. Lasserre, Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11(3), 796\u2013817 (2001)","journal-title":"SIAM J. Optim."},{"issue":"4","key":"5_CR45","doi-asserted-by":"publisher","first-page":"1643","DOI":"10.1137\/070685051","volume":"47","author":"JB Lasserre","year":"2008","unstructured":"J.B. Lasserre, D. Henrion, C. Prieur, E. Tr\u00e9lat, Nonlinear optimal control via occupation measures and LMI-relaxations. SIAM J. Control Optim. 47(4), 1643\u20131666 (2008)","journal-title":"SIAM J. Control Optim."},{"issue":"2","key":"5_CR46","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/j.automatica.2005.08.019","volume":"42","author":"JW Lee","year":"2006","unstructured":"J.W. Lee, G.E. Dullerud, Uniform stabilization of discrete-time switched and Markovian jump linear systems. Automatica 42(2), 205\u2013218 (2006)","journal-title":"Automatica"},{"issue":"3","key":"5_CR47","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/TAC.2009.2012966","volume":"54","author":"JW Lee","year":"2009","unstructured":"J.W. Lee, P.P. Khargonekar, Detectability and stabilizability of discrete-time switched linear systems. IEEE Trans. Autom. Control 54(3), 424\u2013437 (2009)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR48","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626302","volume-title":"An Introduction to Symbolic Dynamics and Coding","author":"D Lind","year":"1995","unstructured":"D. Lind, B. Marcus, An Introduction to Symbolic Dynamics and Coding (Cambridge University Press, Cambridge, 1995)"},{"key":"5_CR49","unstructured":"J. L\u00f6fberg, YALMIP: a toolbox for modeling and optimization in MATLAB. in Proceedings of the CACSD Conference (2004). http:\/\/control.ee.ethz.ch\/~joloef\/yalmip.php"},{"key":"5_CR50","unstructured":"A. Magnani, S. Lall, S. Boyd, Tractable fitting with convex polynomials via sum of squares. in Proceedings of the 44 $$^{th}\\,$$ \u00a0IEEE Conference on Decision and Control (2005)"},{"key":"5_CR51","doi-asserted-by":"publisher","unstructured":"A. Majumdar, A.A. Ahmadi, R. Tedrake, Control design along trajectories with sums of squares programming. in Proceedings of the IEEE International Conference on Robotics and Automation (2013)","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"5_CR52","first-page":"105","volume-title":"Complexity of the positive semidefinite matrix completion problem with a rank constraint, Discrete Geometry and Optimization","author":"E Marianna","year":"2013","unstructured":"E. Marianna, M. Laurent, A. Varvitsiotis, Complexity of the positive semidefinite matrix completion problem with a rank constraint, Discrete Geometry and Optimization (Springer, Switzerland, 2013), pp. 105\u2013120"},{"key":"5_CR53","doi-asserted-by":"crossref","unstructured":"A. Majumdar, A.A. Ahmadi, R. Tedrake, Control and verification of high-dimensional systems via dsos and sdsos optimization. in Submitted to the 53rd IEEE Conference on Decision and Control (2014)","DOI":"10.1109\/CDC.2014.7039413"},{"issue":"9","key":"5_CR54","doi-asserted-by":"publisher","first-page":"1209","DOI":"10.1177\/0278364914528059","volume":"33","author":"A Majumdar","year":"2014","unstructured":"A. Majumdar, R. Vasudevan, M.M. Tobenkin, R. Tedrake, Convex optimization of nonlinear feedback controllers via occupation measures. Int. J. Robot. Res. 33(9), 1209 (2014)","journal-title":"Int. J. Robot. Res."},{"key":"5_CR55","unstructured":"P.A. Parrilo, Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. Ph.D. Thesis, California Institute of Technology, May 2000"},{"key":"5_CR56","doi-asserted-by":"crossref","unstructured":"P.A. Parrilo, Semidefinite programming relaxations for semialgebraic problems. Math. Program. 96(2, Ser. B), 293\u2013320 (2003)","DOI":"10.1007\/s10107-003-0387-5"},{"key":"5_CR57","doi-asserted-by":"crossref","unstructured":"P.A. Parrilo, Polynomial games and sum of squares optimization. in Proceedings of the 45 $$^{th}\\,$$ \u00a0IEEE Conference on Decision and Control (2006)","DOI":"10.1109\/CDC.2006.377261"},{"key":"5_CR58","first-page":"477","volume-title":"Safety verification of hybrid systems using barrier certificates, Hybrid Systems: Computation and Control","author":"S Prajna","year":"2004","unstructured":"S. Prajna, A. Jadbabaie, Safety verification of hybrid systems using barrier certificates, Hybrid Systems: Computation and Control (Springer, Heidelberg, 2004), pp. 477\u2013492"},{"issue":"8","key":"5_CR59","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"S. Prajna, A. Jadbabaie, G.J. Pappas, 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"},{"key":"5_CR60","unstructured":"S. Prajna, A. Papachristodoulou, P.A. Parrilo, SOSTOOLS: sum of squares optimization toolbox for MATLAB, May 2002. http:\/\/www.cds.caltech.edu\/sostools and http:\/\/www.mit.edu\/~parrilo\/sostools"},{"issue":"1","key":"5_CR61","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF02572604","volume":"220","author":"B Reznick","year":"1995","unstructured":"B. Reznick, Uniform denominators in Hilbert\u2019s 17th problem. Math Z. 220(1), 75\u201397 (1995)","journal-title":"Math Z."},{"key":"5_CR62","first-page":"251","volume-title":"Some concrete aspects of Hilbert\u2019s 17th problem, Contemporary Mathematics","author":"B Reznick","year":"2000","unstructured":"B. Reznick, Some concrete aspects of Hilbert\u2019s 17th problem, Contemporary Mathematics, vol. 253 (American Mathematical Society, Rhode Island, 2000), pp. 251\u2013272"},{"key":"5_CR63","unstructured":"M. Roozbehani, Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems. Ph.D. Thesis, Massachusetts Institute of Technology, 2008"},{"key":"5_CR64","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-22627-4_19","volume-title":"Assessment of aircraft flight controllers using nonlinear robustness analysis techniques, Optimization Based Clearance of Flight Control Laws","author":"P Seiler","year":"2012","unstructured":"P. Seiler, G.J. Balas, A.K. Packard, Assessment of aircraft flight controllers using nonlinear robustness analysis techniques, Optimization Based Clearance of Flight Control Laws (Springer, Heidelberg, 2012), pp. 369\u2013397"},{"issue":"4","key":"5_CR65","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1109\/JSTSP.2007.910261","volume":"1","author":"R Tae","year":"2007","unstructured":"R. Tae, B. Dumitrescu, L. Vandenberghe, Multidimensional FIR filter design via trigonometric sum-of-squares optimization. IEEE J. Sel. Top. Signal Process. 1(4), 641\u2013650 (2007)","journal-title":"IEEE J. Sel. Top. Signal Process."}],"container-title":["Springer Tracts in Advanced Robotics","Geometric and Numerical Foundations of Movements"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51547-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T11:09:28Z","timestamp":1692788968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51547-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319515465","9783319515472"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51547-2_5","relation":{},"ISSN":["1610-7438","1610-742X"],"issn-type":[{"type":"print","value":"1610-7438"},{"type":"electronic","value":"1610-742X"}],"subject":[],"published":{"date-parts":[[2017]]}}}