{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:48:41Z","timestamp":1740142121295,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T00:00:00Z","timestamp":1617235200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T00:00:00Z","timestamp":1617235200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001843","name":"Science and Engineering Research Board","doi-asserted-by":"publisher","award":["Seed-Grant\/559\/2017-5567"],"award-info":[{"award-number":["Seed-Grant\/559\/2017-5567"]}],"id":[{"id":"10.13039\/501100001843","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1007\/s11334-021-00391-w","type":"journal-article","created":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T17:02:56Z","timestamp":1617296576000},"page":"319-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Parallel simulation of cyber-physical systems"],"prefix":"10.1007","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5012-8972","authenticated-orcid":false,"given":"Kamal","family":"Das","sequence":"first","affiliation":[]},{"given":"Amit","family":"Gurung","sequence":"additional","affiliation":[]},{"given":"Rajarshi","family":"Ray","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,4,1]]},"reference":[{"key":"391_CR1","unstructured":"Mathworks: Types of Model Coverage. https:\/\/in.mathworks.com\/help\/slcoverage\/ug\/types-of-model-coverage.html"},{"key":"391_CR2","unstructured":"Althoff M (2010) Reachability analysis and its application to the safety assessment of autonomous cars. PhD thesis, Technische Universit\u00e4t M\u00fcnchen"},{"key":"391_CR3","doi-asserted-by":"publisher","unstructured":"Althoff M, Bak S, Bao Z, Forets M, Frehse G, Freire D, Kochdumper N, Li Y, Mitra S, Ray R, Schilling C, Schupp S, Wetzlinger M (2020) Arch-comp20 category report: continuous and hybrid systems with linear continuous dynamics. In: Frehse G, Althoff M (eds) ARCH20. 7th international workshop on applied verification of continuous and hybrid systems (ARCH20). EPiC series in computing, vol\u00a074, pp 16\u201348. EasyChair. doi: https:\/\/doi.org\/10.29007\/7dt2,https:\/\/easychair.org\/publications\/paper\/DRpS","DOI":"10.29007\/7dt2,"},{"key":"391_CR4","unstructured":"Althoff M, Grebenyuk D (2016) Implementation of interval arithmetic in cora 2016. In: ARCH@ CPSWeek, pp 91\u2013105"},{"key":"391_CR5","volume-title":"Principles of cyber-physical systems","author":"R Alur","year":"2015","unstructured":"Alur R (2015) Principles of cyber-physical systems. MIT Press, Cambridge"},{"key":"391_CR6","doi-asserted-by":"crossref","unstructured":"Alur R, Courcoubetis C, Henzinger TA, Ho PH (1992) Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Hybrid systems. Springer, pp 209\u2013229","DOI":"10.1007\/3-540-57318-6_30"},{"issue":"2","key":"391_CR7","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183\u2013235","journal-title":"Theor Comput Sci"},{"key":"391_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273","volume-title":"Introduction to software testing","author":"P Ammann","year":"2016","unstructured":"Ammann P, Offutt J (2016) Introduction to software testing. Cambridge University Press, Cambridge"},{"key":"391_CR9","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1090\/conm\/280\/04630","volume":"280","author":"AC Antoulas","year":"2001","unstructured":"Antoulas AC, Sorensen DC, Gugercin S (2001) A survey of model reduction methods for large-scale systems. Contemp Math 280:193\u2013219","journal-title":"Contemp Math"},{"key":"391_CR10","doi-asserted-by":"crossref","unstructured":"Bak S, Duggirala PS (2017) Hylaa: a tool for computing simulation-equivalent reachability for linear systems. In: Proceedings of the 20th international conference on hybrid systems: computation and control, pp 173\u2013178. ACM","DOI":"10.1145\/3049797.3049808"},{"issue":"2","key":"391_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand D, Zafiropulo P (1983) On communicating finite-state machines. J ACM (JACM) 30(2):323\u2013342","journal-title":"J ACM (JACM)"},{"key":"391_CR12","volume-title":"Theory of ordinary differential equations","author":"EA Coddington","year":"1955","unstructured":"Coddington EA, Levinson N (1955) Theory of ordinary differential equations. Tata McGraw-Hill Education, New York"},{"issue":"1","key":"391_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm W, Harel D (2001) Lscs: breathing life into message sequence charts. Form Methods Syst Des 19(1):45\u201380","journal-title":"Form Methods Syst Des"},{"key":"391_CR14","doi-asserted-by":"crossref","unstructured":"Donze A (2010) Breach: a toolbox for verification and parameter synthesis of hybrid systems. In: Computer-aided verification, pp 167\u2013170","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"391_CR15","doi-asserted-by":"crossref","unstructured":"Duggirala PS, Mitra S, Viswanathan M, Potok M (2015) C2e2: a verification tool for stateflow models. In: International conference on tools and algorithms for the construction and analysis of systems, pp 68\u201382. Springer","DOI":"10.1007\/978-3-662-46681-0_5"},{"key":"391_CR16","doi-asserted-by":"crossref","unstructured":"Fehnker A, Ivancic F (2004) Benchmarks for hybrid systems verification. In: HSCC, vol\u00a04, pp 326\u2013341. Springer","DOI":"10.1007\/978-3-540-24743-2_22"},{"key":"391_CR17","doi-asserted-by":"crossref","unstructured":"Frehse G, Le\u00a0Guernic C, Donz\u00e9 A, Cotton S, Ray R, Lebeltel O, Ripado R, Girard A, Dang T, Maler O (2011) SpaceEx: scalable verification of hybrid systems. In: Proceedings of CAV. LNCS, vol\u00a06806, pp 379\u2013395. Springer","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"391_CR18","doi-asserted-by":"crossref","unstructured":"Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R (2016) Parallel reachability analysis for hybrid systems. In: 2016 ACM\/IEEE international conference on formal methods and models for system design (MEMOCODE), pp 12\u201322. IEEE","DOI":"10.1109\/MEMCOD.2016.7797741"},{"key":"391_CR19","doi-asserted-by":"crossref","unstructured":"Gurung A, Ray R, Bartocci E, Bogomolov S, Grosu R (2018) Parallel reachability analysis of hybrid systems in XSpeed. Int J Softw Tools Technol Transf 1\u201323","DOI":"10.1007\/s10009-018-0485-6"},{"key":"391_CR20","doi-asserted-by":"crossref","unstructured":"Hainry E (2008) Reachability in linear dynamical systems. In: Conference on computability in Europe, pp 241\u2013250. Springer","DOI":"10.1007\/978-3-540-69407-6_28"},{"key":"391_CR21","doi-asserted-by":"crossref","unstructured":"Henzinger TA (2000) The theory of hybrid automata. In: Verification of digital and hybrid systems, pp 265\u2013292. Springer","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"391_CR22","doi-asserted-by":"crossref","unstructured":"Holzmann GJ (2012) Parallelizing the SPIN model checker. In: Proceedings of SPIN 2012. LNCS, vol\u00a07385, pp 155\u2013171. Springer","DOI":"10.1007\/978-3-642-31759-0_12"},{"key":"391_CR23","doi-asserted-by":"crossref","unstructured":"Jensen JC, Chang DH, Lee EA (2011) A model-based design methodology for cyber-physical systems. In: 2011 7th international wireless communications and mobile computing conference, pp 1666\u20131671. IEEE","DOI":"10.1109\/IWCMC.2011.5982785"},{"key":"391_CR24","doi-asserted-by":"crossref","unstructured":"Jin X, Deshmukh JV, Kapinski J, Ueda K, Butts K (2014) Powertrain control verification benchmark. In: Proceedings of the 17th international conference on Hybrid systems: computation and control, pp 253\u2013262. ACM","DOI":"10.1145\/2562059.2562140"},{"key":"391_CR25","volume-title":"Introduction to embedded systems: a cyber-physical systems approach","author":"EA Lee","year":"2016","unstructured":"Lee EA, Seshia SA (2016) Introduction to embedded systems: a cyber-physical systems approach. Mit Press, Cambridge"},{"key":"391_CR26","unstructured":"Lygeros J, Tomlin C, Sastry S (1999) Hybrid systems: modeling, analysis and control, preprint"},{"key":"391_CR27","unstructured":"Makhlouf IB, Kowalewski S (2014) Networked cooperative platoon of vehicles for testing methods and verification tools. In: ARCH@ CPSWeek, pp 37\u201342"},{"key":"391_CR28","unstructured":"Mathworks: Model-Based Design (2020), https:\/\/www.mathworks.com\/solutions\/model-based-design.html"},{"key":"391_CR29","volume-title":"Model-based design and evaluation of interactive applications","author":"F Paterno","year":"1999","unstructured":"Paterno F (1999) Model-based design and evaluation of interactive applications. Springer, Berlin"},{"key":"391_CR30","doi-asserted-by":"publisher","unstructured":"Ray R, Gurung A, Das B, Bartocci E, Bogomolov S, Grosu R (2015) XSpeed: accelerating reachability analysis on multi-core processors. In: Piterman N (ed) Hardware and software: verification and testing - 11th international Haifa verification conference, HVC 2015, Haifa, Israel, November 17\u201319, 2015, Proceedings. Lecture Notes in Computer Science, vol.\u00a09434, pp. 3\u201318. Springer. https:\/\/doi.org\/10.1007\/978-3-319-26287-1_1,","DOI":"10.1007\/978-3-319-26287-1_1,"},{"key":"391_CR31","volume-title":"Petri nets: an introduction","author":"W Reisig","year":"2012","unstructured":"Reisig W (2012) Petri nets: an introduction, vol 4. Springer, Berlin"},{"key":"391_CR32","doi-asserted-by":"crossref","unstructured":"Serban R, Hindmarsh AC (2005) Cvodes: the sensitivity-enabled ode solver in sundials. In: ASME 2005 international design engineering technical conferences and computers and information in engineering conference, pp 257\u2013269. American Society of Mechanical Engineers","DOI":"10.1115\/DETC2005-85597"},{"key":"391_CR33","volume-title":"Multivariable feedback control: analysis and design","author":"S Skogestad","year":"2005","unstructured":"Skogestad S, Postlethwaite I (2005) Multivariable feedback control: analysis and design. Wiley, New York"},{"key":"391_CR34","unstructured":"Strathmann T, Oehlerking J (2015) Verifying properties of an electro-mechanical braking system. In: ARCH@ CPSWeek, pp 49\u201356"},{"key":"391_CR35","doi-asserted-by":"crossref","unstructured":"Zutshi A, Sankaranarayanan S, Deshmukh JV, Kapinski J (2013) A trajectory splicing approach to concretizing counterexamples for hybrid systems. In: Proceedings of the 52nd IEEE conference on decision and control, CDC 2013, December 10\u201313, 2013, pp 3918\u20133925","DOI":"10.1109\/CDC.2013.6760488"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-021-00391-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-021-00391-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-021-00391-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T12:12:24Z","timestamp":1627733544000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-021-00391-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,1]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["391"],"URL":"https:\/\/doi.org\/10.1007\/s11334-021-00391-w","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2021,4,1]]},"assertion":[{"value":"14 January 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 March 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 April 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}