{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T17:21:50Z","timestamp":1749921710682,"version":"3.41.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319216676"},{"type":"electronic","value":"9783319216683"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-21668-3_14","type":"book-chapter","created":{"date-parts":[[2015,7,13]],"date-time":"2015-07-13T15:08:53Z","timestamp":1436800133000},"page":"234-250","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Quantifying Conformance Using the Skorokhod Metric"],"prefix":"10.1007","author":[{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"first","affiliation":[]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[]},{"given":"Vinayak S.","family":"Prabhu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,14]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Abbas, H., Fainekos, G.E.: Formal property verification in a conformance testing framework. In: MEMOCODE (2014, To appear)","DOI":"10.1109\/MEMCOD.2014.6961854"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Abbas, H., Hoxha, B., Fainekos, G.E., Deshmukh, J.V., Kapinski, J., Ueda, K.: Conformance testing as falsification for cyber-physical systems. CoRR, abs\/1401.5200 (2014)","DOI":"10.1109\/ICCPS.2014.6843724"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/2461328.2461358","volume":"13","author":"M Althoff","year":"2013","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. HSCC 13, 173\u2013182 (2013)","journal-title":"HSCC"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R Alur","year":"1994","unstructured":"Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181\u2013204 (1994)","journal-title":"J. ACM"},{"key":"14_CR5","volume-title":"Optimal Control: Linear Quadratic Methods Dover Books on Engineering","author":"BDO Anderson","year":"2007","unstructured":"Anderson, B.D.O.: Optimal Control: Linear Quadratic Methods Dover Books on Engineering. Dover Publications, Mineola (2007)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/11590156_35","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"P Bouyer","year":"2005","unstructured":"Bouyer, P., Chevalier, F., Markey, N.: On the Expressiveness of TPTL and MTL. In: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005. LNCS, vol. 3821, pp. 432\u2013443. Springer, Heidelberg (2005)"},{"key":"14_CR7","unstructured":"Branicky, M.S.: Studies in hybrid systems: modeling, analysis, and control. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, USA (1995)"},{"key":"14_CR8","first-page":"4283","volume":"4","author":"M Broucke","year":"1998","unstructured":"Broucke, M.: Regularity of solutions and homotopic equivalence for hybrid systems. IEEE Conf. Decis. Control 4, 4283\u20134288 (1998)","journal-title":"IEEE Conf. Decis. Control"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_22","volume-title":"Embedded Software","author":"P Caspi","year":"2002","unstructured":"Caspi, P., Benveniste, A.: Toward an approximation theory for computerised control. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491. Springer, Heidelberg (2002)"},{"key":"14_CR10","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)"},{"key":"14_CR11","unstructured":"Crossley, P.R., Cook, J.A.: A nonlinear engine model for drivetrain system development. In: International Conference on Control, pp. 921\u2013925. IET (1991)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-00602-9_10","volume-title":"Hybrid Systems: Computation and Control","author":"JM Davoren","year":"2009","unstructured":"Davoren, J.M.: Epsilon-tubes and generalized skorokhod metrics for hybrid paths spaces. In: Majumdar, R., Tabuada, P. (eds.) HSCC 2009. LNCS, vol. 5469, pp. 135\u2013149. Springer, Heidelberg (2009)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Deshmukh, J.V., Majumdar, R., Prabhu, V.S.: Quantifying conformance using the Skorokhod metric. CoRR, abs\/1505.05832 (2015)","DOI":"10.1007\/978-3-319-21668-3_14"},{"key":"14_CR14","unstructured":"Jinand, X., Deshmukh, J., Kapinski, J., Ueda, K., Butts, K.: Benchmarks for model transformations and conformance checking. In: ARCH (2014)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: EMSOFT, p. 26 (2013)","DOI":"10.1109\/EMSOFT.2013.6658604"},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/TAC.2009.2034922","volume":"55","author":"A Girard","year":"2010","unstructured":"Girard, A., Pola, G., Tabuada, P.: Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Trans. Automat. Contr. 55(1), 116\u2013126 (2010)","journal-title":"IEEE Trans. Automat. Contr."},{"issue":"2\u20133","key":"14_CR18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.tcs.2005.03.045","volume":"342","author":"E Haghverdi","year":"2005","unstructured":"Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342(2\u20133), 229\u2013261 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. ACM 32(1), 137\u2013161 (1985)","journal-title":"J. ACM"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: FOCS: Foundations of Computer Science, pp. 453\u2013462. IEEE Computer Society (1995)","DOI":"10.1109\/SFCS.1995.492576"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Jin, X., Deshmukh, J.V., Kapinski, J., Ueda, K., Butts, K.: Powertrain control verification benchmark. In: HSCC, pp. 253\u2013262 (2014)","DOI":"10.1145\/2562059.2562140"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Kapinski, J., Deshmukh, J.V., Sankaranarayanan, S., Arechiga, N.: Simulation-guided lyapunov analysis for hybrid dynamical systems. In: HSCC 2014, pp 133\u2013142. ACM (2014)","DOI":"10.1145\/2562059.2562139"},{"issue":"4","key":"14_CR23","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real Time Syst."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Prabhu, V.S.: Computing the Skorokhod distance between polygonal traces. CoRR, abs\/1410.6075 (2014)","DOI":"10.1145\/2728606.2728618"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Prabhu, V.S.: Computing the Skorokhod distance between polygonal traces. In: HSCC (2015)","DOI":"10.1145\/2728606.2728618"},{"key":"14_CR26","unstructured":"The Mathworks. Engine timing model with closed loop control"},{"key":"14_CR27","unstructured":"Messner, W., Tilbury, D.: Control tutorials for matlab and simulink"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS. Springer, Heidelberg (1980)"},{"key":"14_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511792588","volume-title":"Advanced Topics in Bisimulation and Coinduction","author":"D Sangiorgi","year":"2011","unstructured":"Sangiorgi, D., Rutten, J.: Advanced Topics in Bisimulation and Coinduction. Cambridge University Press, Cambridge (2011)"},{"key":"14_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and Control of Hybrid Systems - A Symbolic Approach","author":"P Tabuada","year":"2009","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems - A Symbolic Approach. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21668-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T04:45:59Z","timestamp":1748493959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-21668-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319216676","9783319216683"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21668-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"14 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}