{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:16:58Z","timestamp":1742984218935,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319489889"},{"type":"electronic","value":"9783319489896"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48989-6_9","type":"book-chapter","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T06:31:19Z","timestamp":1478500279000},"page":"137-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Validated Simulation-Based Verification of Delayed Differential Dynamics"],"prefix":"10.1007","author":[{"given":"Mingshuai","family":"Chen","sequence":"first","affiliation":[]},{"given":"Martin","family":"Fr\u00e4nzle","sequence":"additional","affiliation":[]},{"given":"Yangjia","family":"Li","sequence":"additional","affiliation":[]},{"given":"Peter N.","family":"Mosaad","sequence":"additional","affiliation":[]},{"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198506546.001.0001","volume-title":"Numerical Methods for Delay Differential Equations. Numerical Mathematics and Scientific Computation","author":"A Bellen","year":"2003","unstructured":"Bellen, A., Zennaro, M.: Numerical Methods for Delay Differential Equations. Numerical Mathematics and Scientific Computation. Clarendon Press, Oxford (2003)"},{"key":"9_CR2","unstructured":"Bellman, R.E., Cooke, K.L.: Differential-difference equations. Technical report R-374-PR, RAND Corporation, Santa Monica, California, January 1963"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/S1574-6526(06)80020-9","volume-title":"Handbook of Constraint Programming, Foundations of Artificial Intelligence, Chap. 16","author":"F Benhamou","year":"2006","unstructured":"Benhamou, F., Granvilliers, L.: Continuous and interval constraints. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Foundations of Artificial Intelligence, Chap. 16, pp. 571\u2013603. Elsevier, Amsterdam (2006)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-642-38856-9_22","volume-title":"Static Analysis","author":"M Brain","year":"2013","unstructured":"Brain, M., D\u2019Silva, V., Griggio, A., Haller, L., Kroening, D.: Interpolation-based verification of floating-point programs with abstract CDCL. In: Logozzo, F., F\u00e4hndrich, M. (eds.) SAS 2013. LNCS, vol. 7935, pp. 412\u2013432. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38856-9_22"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Chen, M., Fr\u00e4nzle, M., Li, Y., Mosaad, P.N., Zhan, N.: Validated simulation-based verification of delayed differential dynamics (full version). http:\/\/lcs.ios.ac.cn\/chenms\/papers\/FM2016_FULL.pdf","DOI":"10.1007\/978-3-319-48989-6_9"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Commun. ACM 5, 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"key":"9_CR7","volume-title":"The Principles of Quantum Mechanics","author":"PAM Dirac","year":"1981","unstructured":"Dirac, P.A.M.: The Principles of Quantum Mechanics. Clarendon Press, Oxford (1981)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-71493-4_16","volume-title":"Hybrid Systems: Computation and Control","author":"A Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174\u2013189. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71493-4_16"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: Proceedings of the Eleventh ACM International Conference on Embedded Software, p. 26. IEEE Press (2013)","DOI":"10.1109\/EMSOFT.2013.6658604"},{"issue":"2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1137\/S003613999222522X","volume":"54","author":"SF Ellermeyer","year":"1994","unstructured":"Ellermeyer, S.F.: Competition in the chemostat: global asymptotic behavior of a model with delayed response in growth. SIAM J. Appl. Math. 54(2), 456\u2013465 (1994)","journal-title":"SIAM J. Appl. Math."},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/S0022-5193(03)00063-8","volume":"222","author":"SF Ellermeyer","year":"2003","unstructured":"Ellermeyer, S.F., Hendrix, J., Ghoochan, N.: A theoretical and empirical investigation of delayed growth response in the continuous culture of bacteria. J. Theoret. Biol. 222(4), 485\u2013494 (2003)","journal-title":"J. Theoret. Biol."},{"volume-title":"Computational Cell Biology","year":"2002","key":"9_CR12","unstructured":"Fall, C.P., Marland, E.S., Wagner, J.M., Tyson, J.J. (eds.): Computational Cell Biology, vol. 20. Springer, New York (2002)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-319-24953-7_32","volume-title":"Automated Technology for Verification and Analysis","author":"C Fan","year":"2015","unstructured":"Fan, C., Mitra, S.: Bounded verification with on-the-fly discrepancy computation. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 446\u2013463. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-24953-7_32"},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190012","volume":"1","author":"M Fr\u00e4nzle","year":"2007","unstructured":"Fr\u00e4nzle, M., Herde, C., Ratschan, S., Schubert, T., Teige, T.: Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. J. Satisfiability Boolean Model. Comput. 1, 209\u2013236 (2007)","journal-title":"J. Satisfiability Boolean Model. Comput."},{"issue":"5\u20136","key":"9_CR15","doi-asserted-by":"publisher","first-page":"568","DOI":"10.3166\/ejc.17.568-578","volume":"17","author":"A Girard","year":"2011","unstructured":"Girard, A., Pappas, G.J.: Approximate bisimulation: a bridge between computer science and control theory. Eur. J. Control 17(5\u20136), 568\u2013578 (2011)","journal-title":"Eur. J. Control"},{"key":"9_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-8348-9949-1","volume-title":"Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure","author":"C Herde","year":"2011","unstructured":"Herde, C.: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure. Vieweg+Teubner, Wiesbaden (2011)"},{"issue":"4","key":"9_CR17","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1111\/j.1749-6632.1948.tb39854.x","volume":"50","author":"GE Hutchinson","year":"1948","unstructured":"Hutchinson, G.E.: Circular causal systems in ecology. Ann. NY Acad. Sci. 50(4), 221\u2013246 (1948)","journal-title":"Ann. NY Acad. Sci."},{"key":"9_CR18","unstructured":"Khakpour, N., Mousavi, M.R.: Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper). In: CONCUR 2015. LIPIcs, vol. 42, pp. 18\u201340 (2015)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1006\/jdeq.1996.0037","volume":"125","author":"J Mallet-Paret","year":"1996","unstructured":"Mallet-Paret, J., Sell, R.: The poincar\u00e9-bendixson theorem for monotone cyclic feedback systems with delay. J. Diff. Eq. 125, 441\u2013489 (1996)","journal-title":"J. Diff. Eq."},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-540-73368-3_47","volume-title":"Computer Aided Verification","author":"T Nahhal","year":"2007","unstructured":"Nahhal, T., Dang, T.: Test coverage for continuous and hybrid systems. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 449\u2013462. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-73368-3_47"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"2328","DOI":"10.1002\/rnc.3204","volume":"25","author":"G Pola","year":"2015","unstructured":"Pola, G., Pepe, P., Di Benedetto, M.D.: Symbolic models for time-varying time-delay systems via alternating approximate bisimulation. Int. J. Robust Nonlinear Control 25, 2328\u20132347 (2015)","journal-title":"Int. J. Robust Nonlinear Control"},{"issue":"6","key":"9_CR22","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.sysconle.2010.04.001","volume":"59","author":"G Pola","year":"2010","unstructured":"Pola, G., Pepe, P., Di Benedetto, M.D., Tabuada, P.: Symbolic models for nonlinear time-delay systems using approximate bisimulations. Syst. Contr. Lett. 59(6), 365\u2013373 (2010)","journal-title":"Syst. Contr. Lett."},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Roehm, H., Oehlerking, J., Woehrle, M., Althoff, M.: Reachset conformance testing of hybrid automata. In: HSCC 2016, pp. 277\u2013286 (2016)","DOI":"10.1145\/2883817.2883828"},{"key":"9_CR24","series-title":"International Centre for Mechanical Sciences","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-7091-2870-1_1","volume-title":"Stochastic Methods in the Dynamics of Satellites","author":"P Sagirow","year":"1970","unstructured":"Sagirow, P.: Introduction. In: Sagirow, P. (ed.) Stochastic Methods in the Dynamics of Satellites. ICMS, vol. 57, pp. 5\u20137. Springer, Heidelberg (1970)"},{"key":"9_CR25","unstructured":"Tseitin, G.S.: On the complexity of derivations in propositional calculus. In: Slisenko, A. (ed.) Studies in Constructive Mathematics and Mathematical Logics (1968)"},{"key":"9_CR26","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1515\/crll.1955.194.66","volume":"194","author":"EM Wright","year":"1955","unstructured":"Wright, E.M.: A non-linear difference-differential equation. J. Reine Angew. Math. 194, 66\u201387 (1955)","journal-title":"J. Reine Angew. Math."},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-319-21668-3_20","volume-title":"Computer Aided Verification","author":"L Zou","year":"2015","unstructured":"Zou, L., Fr\u00e4nzle, M., Zhan, N., Mosaad, P.N.: Automatic verification of stability and safety for delay differential equations. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 338\u2013355. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-21668-3_20"}],"container-title":["Lecture Notes in Computer Science","FM 2016: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48989-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T16:19:07Z","timestamp":1657642747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48989-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319489889","9783319489896"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48989-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"8 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 November 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fm2016.cs.ucy.ac.cy\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}