{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T07:57:00Z","timestamp":1764403020638,"version":"3.40.3"},"publisher-location":"Cham","reference-count":50,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030617387"},{"type":"electronic","value":"9783030617394"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-61739-4_4","type":"book-chapter","created":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T23:11:38Z","timestamp":1602717098000},"page":"52-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model"],"prefix":"10.1007","author":[{"given":"Sergiy","family":"Bogomolov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Forets","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostiantyn","family":"Potomkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,15]]},"reference":[{"key":"4_CR1","unstructured":"JuliaReach. \n                    https:\/\/github.com\/JuliaReach\n                    \n                   (2017)"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1103\/RevModPhys.77.137","volume":"77","author":"JA Acebr\u00f3n","year":"2005","unstructured":"Acebr\u00f3n, J.A., Bonilla, L.L., Vicente, C.J.P., Ritort, F., Spigler, R.: The Kuramoto model: a simple paradigm for synchronization phenomena. Rev. Modern Phys. 77(1), 137 (2005)","journal-title":"Rev. Modern Phys."},{"key":"4_CR3","unstructured":"Ahern, R., Zuparic, M., Kalloniatis, A., Hoek, K.: Unifying warfighting functions in mathematical modelling: combat, Manoeuvre and C2. Submitted to Journal of the Operational research Society (JORS)"},{"key":"4_CR4","unstructured":"Althoff, M.: Reachability analysis and its application to the safety assessment of autonomous cars. Ph.D. thesis, Technische Universit\u00e4t M\u00fcnchen (2010)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 173\u2013182. ACM (2013)","DOI":"10.1145\/2461328.2461358"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993). \n                    https:\/\/doi.org\/10.1007\/3-540-57318-6_30"},{"key":"4_CR7","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: 19th International Conference on Hybrid Systems: Computation and Control (HSCC 2016), pp. 155\u2013164. ACM","DOI":"10.1145\/2883817.2883837"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Bansal, S., Chen, M., Herbert, S., Tomlin, C.J.: Hamilton-Jacobi reachability: a brief overview and recent advances. In: IEEE 56th Annual Conference on Decision and Control (CDC), pp. 2242\u20132253. IEEE (2017)","DOI":"10.1109\/CDC.2017.8263977"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"1043","DOI":"10.21105\/joss.01043","volume":"4","author":"L Benet","year":"2019","unstructured":"Benet, L., Sanders, D.: TaylorSeries.jl: Taylor expansions in one and several variables in Julia. J. Open Source Softw. 4, 1043 (2019)","journal-title":"J. Open Source Softw."},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Benet, L., Sanders, D.P.: JuliaDiff\/TaylorSeries.jl, March 2019. \n                    https:\/\/doi.org\/10.5281\/zenodo.2601942","DOI":"10.5281\/zenodo.2601942"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Benet, L., Sanders, D.P.: JuliaIntervals\/TaylorModels.jl, March 2019. \n                    https:\/\/doi.org\/10.5281\/zenodo.2613103","DOI":"10.5281\/zenodo.2613103"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M Berz","year":"1998","unstructured":"Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Comput. 4(4), 361\u2013369 (1998). \n                    https:\/\/doi.org\/10.1023\/A:1024467732637","journal-title":"Reliable Comput."},{"issue":"4","key":"4_CR13","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/s10009-015-0393-y","volume":"18","author":"S Bogomolov","year":"2015","unstructured":"Bogomolov, S., et al.: Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Tech. Trans. 18(4), 449\u2013467 (2015). \n                    https:\/\/doi.org\/10.1007\/s10009-015-0393-y","journal-title":"Int. J. Softw. Tools Tech. Trans."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., Schilling, C.: JuliaReach: a toolbox for set-based reachability. In: 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2019), pp. 39\u201344. ACM (2019)","DOI":"10.1145\/3302504.3311804"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-15643-4_7","volume-title":"Automated Technology for Verification and Analysis","author":"S Bogomolov","year":"2010","unstructured":"Bogomolov, S., Mitrohin, C., Podelski, A.: Composing reachability analyses of hybrid systems for safety and stability. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 67\u201381. Springer, Heidelberg (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-15643-4_7"},{"issue":"3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"033133","DOI":"10.1063\/1.4745197","volume":"22","author":"J Bronski","year":"2012","unstructured":"Bronski, J., deVille, L., Park, M.J.: Fully synchronous solutions and the synchronization phase transition for the finite-N Kuramoto model. Chaos 22(3), 033133 (2012)","journal-title":"Chaos"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1007\/s11075-017-0410-1","volume":"78","author":"F B\u00fcnger","year":"2017","unstructured":"B\u00fcnger, F.: Shrink wrapping for Taylor models revisited. Numer. Algorithms 78(4), 1001\u20131017 (2017). \n                    https:\/\/doi.org\/10.1007\/s11075-017-0410-1","journal-title":"Numer. Algorithms"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Chen, X., Abraham, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: IEEE 33rd Real-Time Systems Symposium, pp. 183\u2013192. IEEE (2012)","DOI":"10.1109\/RTSS.2012.70"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","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). \n                    https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S.: Decomposed reachability analysis for nonlinear systems. In: IEEE Real-Time Systems Symposium (RTSS), pp. 13\u201324. IEEE (2016)","DOI":"10.1109\/RTSS.2016.011"},{"issue":"2","key":"4_CR21","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1137\/120899728","volume":"12","author":"A Dekker","year":"2013","unstructured":"Dekker, A., Taylor, R.: Synchronization properties of trees in the Kuramoto model. SIAM J. Appl. Dyn. Sys. 12(2), 596\u2013617 (2013)","journal-title":"SIAM J. Appl. Dyn. Sys."},{"issue":"7","key":"4_CR22","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1109\/TCAD.2008.923410","volume":"27","author":"V D\u2019silva","year":"2008","unstructured":"D\u2019silva, V., Kroening, D., Weissenbacher, G.: A survey of automated techniques for formal software verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(7), 1165\u20131178 (2008)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"10","key":"4_CR23","doi-asserted-by":"publisher","first-page":"103204","DOI":"10.1088\/1742-5468\/aadb05","volume":"2018","author":"J da Fonseca","year":"2018","unstructured":"da Fonseca, J., Abud, C.: The Kuramoto model revisited. J. Stat. Mech: Theory Exp. 2018(10), 103204 (2018)","journal-title":"J. Stat. Mech: Theory Exp."},{"key":"4_CR24","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). \n                    https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"8966","DOI":"10.3182\/20080706-5-KR-1001.01514","volume":"41","author":"A Girard","year":"2008","unstructured":"Girard, A., Guernic, C.L.: Efficient reachability analysis for linear systems using support functions. IFAC Proc. Vol. 41, 8966\u20138971 (2008)","journal-title":"IFAC Proc. Vol."},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"066106","DOI":"10.1103\/PhysRevE.75.066106","volume":"75","author":"J Gomez-Gardenes","year":"2007","unstructured":"Gomez-Gardenes, J., Moreno, Y., Arenas, A.: Synchronizability determined by coupling strengths and topology on complex networks. Phys. Rev. E 75, 066106 (2007)","journal-title":"Phys. Rev. E"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00121125","volume":"1","author":"A Gupta","year":"1992","unstructured":"Gupta, A.: Formal hardware verification methods: a survey. Form Method Syst. Des. 1, 151\u2013238 (1992). In: Computer-Aided Verification. pp. 5\u201392. Springer","journal-title":"Form Method Syst. Des."},{"issue":"3","key":"4_CR28","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1080\/13523260.2013.839257","volume":"34","author":"J Has\u00edk","year":"2013","unstructured":"Has\u00edk, J.: Beyond the briefing: theoretical and practical problems in the works and legacy of John Boyd. Contemp. Secur. Policy 34(3), 583\u2013599 (2013)","journal-title":"Contemp. Secur. Policy"},{"issue":"2","key":"4_CR29","doi-asserted-by":"publisher","first-page":"026139","DOI":"10.1103\/PhysRevE.65.026139","volume":"65","author":"H Hong","year":"2002","unstructured":"Hong, H., Choi, M.Y., Kim, B.J.: Synchronization on small-world networks. Phys. Rev. E 65(2), 026139 (2002)","journal-title":"Phys. Rev. E"},{"issue":"2","key":"4_CR30","doi-asserted-by":"publisher","first-page":"026116","DOI":"10.1103\/PhysRevE.70.026116","volume":"70","author":"T Ichinomiya","year":"2004","unstructured":"Ichinomiya, T.: Frequency synchronization in a random oscillator network. Phys. Rev. E 70(2), 026116 (2004)","journal-title":"Phys. Rev. E"},{"key":"4_CR31","unstructured":"Immler, F., et al.: ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics. In: ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, pp. 41\u201361 (2019)"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"41","DOI":"10.29007\/m75b","volume":"61","author":"F Immler","year":"2019","unstructured":"Immler, F., et al.: ARCH-COMP19 category report: continuous and hybrid systems with nonlinear dynamics. EPiC Ser. Comput. 61, 41\u201361 (2019)","journal-title":"EPiC Ser. Comput."},{"key":"4_CR33","unstructured":"Joldes, M.M.: Rigorous polynomial approximations and applications. Ph.D. thesis (2011)"},{"key":"4_CR34","unstructured":"Kalloniatis, A., Hoek, K., Zuparic, M.: Network synchronisation and next generation combat models - a dynamical systems approach. In: 86th Military Operations Research Society Symposium (2018)"},{"key":"4_CR35","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2019.12.033","author":"A Kalloniatis","year":"2020","unstructured":"Kalloniatis, A., McLennan-Smith, T., Roberts, D.: Modelling distributed decision-making in command and control using stochastic network synchronisation. Eur. J. Oper. Res. (2020). \n                    https:\/\/doi.org\/10.1016\/j.ejor.2019.12.033","journal-title":"Eur. J. Oper. Res."},{"key":"4_CR36","series-title":"Lecture Notes in Physics","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/BFb0013294","volume-title":"International Symposium on Mathematical Problems in Theoretical Physics","author":"Y Kuramoto","year":"1975","unstructured":"Kuramoto, Y.: International Symposium on Mathematical Problems in Theoretical Physics. Lecture Notes in Physics, p. 420. Springer, Heidelberg (1975). \n                    https:\/\/doi.org\/10.1007\/BFb0013294"},{"key":"4_CR37","unstructured":"Kuramoto, Y.: Chemical Oscillations, Waves, and Turbulence. Courier Corporation (2003)"},{"key":"4_CR38","unstructured":"Lanchester, F.W.: Aircraft in Warfare: The Dawn of the Fourth Arm. Constable limited (1916)"},{"issue":"1","key":"4_CR39","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1037\/h0057189","volume":"46","author":"HJ Leavitt","year":"1951","unstructured":"Leavitt, H.J.: Some effects of certain communication patterns on group performance. J. Abnorm. Soc. Psychol. 46(1), 38\u201350 (1951)","journal-title":"J. Abnorm. Soc. Psychol."},{"key":"4_CR40","first-page":"239","volume":"6","author":"K Makino","year":"2003","unstructured":"Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 6, 239\u2013316 (2003)","journal-title":"Int. J. Pure Appl. Math."},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Meyer, P.J., Devonport, A., Arcak, M.: Tira: toolbox for interval reachability analysis. In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 224\u2013229. ACM (2019)","DOI":"10.1145\/3302504.3311808"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-71493-4_34","volume-title":"Hybrid Systems: Computation and Control","author":"IM Mitchell","year":"2007","unstructured":"Mitchell, I.M.: Comparing forward and backward reachability as tools for safety analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 428\u2013443. Springer, Heidelberg (2007). \n                    https:\/\/doi.org\/10.1007\/978-3-540-71493-4_34"},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"Morse, P., Kimball, G.: Methods of Operations Research. Massachusetts Institute of Technology (1951)","DOI":"10.1063\/1.3067068"},{"key":"4_CR44","unstructured":"Nedialkov, N.S.: Interval tools for ODEs and DAEs. In: 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), p. 4. IEEE (2006)"},{"issue":"3","key":"4_CR45","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1080\/13523260.2013.849154","volume":"34","author":"F Osinga","year":"2013","unstructured":"Osinga, F.: \u201cGetting\u201d a discourse on winning and losing: a primer on Boyd\u2019s \u201ctheory of intellectual evolution\u201d. Contemp. Secur. Policy 34(3), 603\u2013624 (2013)","journal-title":"Contemp. Secur. Policy"},{"key":"4_CR46","doi-asserted-by":"publisher","unstructured":"P\u00e9rez-Hern\u00e1ndez, J.A., Benet, L.: Perezhz\/taylorintegration.jl, February 2019. \n                    https:\/\/doi.org\/10.5281\/zenodo.2562353","DOI":"10.5281\/zenodo.2562353"},{"key":"4_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-26287-1_1","volume-title":"Hardware and Software: Verification and Testing","author":"R Ray","year":"2015","unstructured":"Ray, R., Gurung, A., Das, B., Bartocci, E., Bogomolov, S., Grosu, R.: XSpeed: accelerating reachability analysis on multi-core processors. In: Piterman, N. (ed.) HVC 2015. LNCS, vol. 9434, pp. 3\u201318. Springer, Cham (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-319-26287-1_1"},{"key":"4_CR48","first-page":"11135","volume":"37","author":"JA Rogge","year":"2004","unstructured":"Rogge, J.A., Aeyals, D.: Stability of phase locking in a ring of unidirectionally coupled oscillators. SIAM J. Appl. Dyn. Syst. 37, 11135\u201311148 (2004)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"4_CR49","doi-asserted-by":"crossref","unstructured":"Rwth, X.C., Sankaranarayanan, S., \u00c1brah\u00e1m, E.: Under-approximate flowpipes for non-linear continuous systems. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 59\u201366. IEEE (2014)","DOI":"10.1109\/FMCAD.2014.6987596"},{"issue":"2","key":"4_CR50","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1111\/j.1939-7445.1998.tb00302.x","volume":"11","author":"JH Tam","year":"1998","unstructured":"Tam, J.H.: Application of Lanchester combat model in the Ardennes campaign. Nat. Resour. Model. 11(2), 95\u2013116 (1998)","journal-title":"Nat. Resour. Model."}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61739-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T23:29:54Z","timestamp":1602718194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61739-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030617387","9783030617394"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61739-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"15 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reachability Problems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rp2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.irif.fr\/~rp2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}