{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:22:51Z","timestamp":1726068171866},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030411305"},{"type":"electronic","value":"9783030411312"}],"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"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-41131-2_5","type":"book-chapter","created":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T06:06:49Z","timestamp":1581919609000},"page":"89-107","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Paul","family":"Rousse","sequence":"first","affiliation":[]},{"given":"Julien","family":"Alexandre dit Sandretto","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Chapoutot","sequence":"additional","affiliation":[]},{"given":"Pierre-Lo\u00efc","family":"Garoche","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,18]]},"reference":[{"key":"5_CR1","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: Contraction, propagation and bisection on a validated simulation of ODE. In: Summer Workshop on Interval Methods (2016)"},{"key":"5_CR2","first-page":"79","volume":"22","author":"J Alexandre dit Sandretto","year":"2016","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit Runge-Kutta methods. Reliab. Comput. 22, 79\u2013103 (2016)","journal-title":"Reliab. Comput."},{"key":"5_CR3","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: Validated simulation of differential algebraic equations with Runge-Kutta methods. Reliab. Comput. 22 (2016)"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777","volume-title":"Linear Matrix Inequalities in System and Control Theory","author":"S Boyd","year":"1994","unstructured":"Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory, vol. 15. SIAM, Philadelphia (1994)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1016\/j.artint.2009.03.002","volume":"173","author":"G Chabert","year":"2009","unstructured":"Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173, 1079\u20131100 (2009)","journal-title":"Artif. Intell."},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-319-48989-6_9","volume-title":"FM 2016: Formal Methods","author":"M Chen","year":"2016","unstructured":"Chen, M., Fr\u00e4nzle, M., Li, Y., Mosaad, P.N., Zhan, N.: Validated simulation-based verification of delayed differential dynamics. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 137\u2013154. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-48989-6_9"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-63501-9_8","volume-title":"Numerical Software Verification","author":"Y Chou","year":"2017","unstructured":"Chou, Y., Chen, X., Sankaranarayanan, S.: A study of model-order reduction techniques for verification. In: Abate, A., Boldo, S. (eds.) NSV 2017. LNCS, vol. 10381, pp. 98\u2013113. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-63501-9_8"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/978-3-319-96142-2_31","volume-title":"Computer Aided Verification","author":"E Goubault","year":"2018","unstructured":"Goubault, E., Putot, S., Sahlmann, L.: Inner and outer approximating flowpipes for delay differential equations. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10982, pp. 523\u2013541. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-96142-2_31"},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/BF00940689","volume":"69","author":"TJ Graettinger","year":"1991","unstructured":"Graettinger, T.J., Krogh, B.H.: Hyperplane method for reachable state estimation for linear time-invariant systems. J. Optim. Theory Appl. 69(3), 555\u2013588 (1991)","journal-title":"J. Optim. Theory Appl."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Gusev, M.I., Zykov, I.V.: On extremal properties of boundary points of reachable sets for a system with integrally constrained control. In: Proceedings of 20th World Congress International Federation of Automatic Control, vol. 50, pp. 4082\u20134087. Elsevier (2017)","DOI":"10.1016\/j.ifacol.2017.08.792"},{"issue":"2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1109\/TAC.2013.2283095","volume":"59","author":"D Henrion","year":"2014","unstructured":"Henrion, D., Korda, M.: 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_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, \u00c9.: Applied Interval Analysis. Springer, London (2001). \nhttps:\/\/doi.org\/10.1007\/978-1-4471-0249-6"},{"issue":"9","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1485","DOI":"10.1016\/S0005-1098(02)00061-4","volume":"38","author":"U J\u00f6nsson","year":"2002","unstructured":"J\u00f6nsson, U.: Robustness of trajectories with finite time extent. Automatica 38(9), 1485\u20131497 (2002)","journal-title":"Automatica"},{"key":"5_CR14","unstructured":"Korda, M.: Moment-sum-of-squares hierarchies for set approximation and optimal control. Ph.D. thesis, EPFL, Switzerland (2016)"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1080\/1055678021000012426","volume":"17","author":"AB Kurzhanski","year":"2002","unstructured":"Kurzhanski, A.B., Varaiya, P.: On ellipsoidal techniques for reachability analysis. Part I: external approximations. Optim. Methods Softw. 17(2), 177\u2013206 (2002)","journal-title":"Optim. Methods Softw."},{"key":"5_CR16","volume-title":"Foundations of Optimal Control Theory","author":"EB Lee","year":"1976","unstructured":"Lee, E.B., Markus, L.: Foundations of Optimal Control Theory. Wiley, New York (1976)"},{"issue":"6","key":"5_CR17","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1109\/9.587335","volume":"42","author":"A Megretski","year":"1997","unstructured":"Megretski, A., Rantzer, A.: System analysis via integral quadratic constraints. IEEE Trans. Autom. Control 42(6), 819\u2013830 (1997)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR18","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice Hall, Upper Saddle River (1966)"},{"issue":"1","key":"5_CR19","first-page":"21","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K., Corliss, G.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.automatica.2015.03.021","volume":"56","author":"H Pfifer","year":"2015","unstructured":"Pfifer, H., Seiler, P.: Integral quadratic constraints for delayed nonlinear and parameter-varying systems. Automatica 56, 36\u201343 (2015)","journal-title":"Automatica"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477\u2013492. Springer, Heidelberg (2004). \nhttps:\/\/doi.org\/10.1007\/978-3-540-24743-2_32"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Rousse, P., Garoche, P.-L., Henrion, D.: Parabolic set simulation for reachability analysis of linear time invariant systems with integral quadratic constraint. In: Proceedings of European Control Conference, Naples (2019)","DOI":"10.23919\/ECC.2019.8795930"},{"issue":"6","key":"5_CR23","doi-asserted-by":"publisher","first-page":"1080","DOI":"10.1109\/9.388688","volume":"40","author":"AV Savkin","year":"1995","unstructured":"Savkin, A.V., Petersen, I.R.: Recursive state estimation for uncertain systems with an integral quadratic constraint. IEEE Trans. Autom. Control 40(6), 1080\u20131083 (1995)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.sysconle.2018.08.005","volume":"121","author":"CW Scherer","year":"2018","unstructured":"Scherer, C.W., Veenman, J.: Stability analysis by dynamic dissipation inequalities: on merging frequency-domain techniques with time-domain conditions. Syst. Control Lett. 121, 7\u201315 (2018)","journal-title":"Syst. Control Lett."},{"key":"5_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.sysconle.2015.03.007","volume":"81","author":"A Seuret","year":"2015","unstructured":"Seuret, A., Gouaisbaut, F.: Hierarchy of LMI conditions for the stability analysis of time-delay systems. Syst. Control Lett. 81, 1\u20137 (2015)","journal-title":"Syst. Control Lett."},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-0-387-85595-0_9","volume-title":"Delay Differential Equations","author":"LF Shampine","year":"2009","unstructured":"Shampine, L.F., Thompson, S.: Numerical solution of delay differential equations. In: Gilsinn, D.E., Kalm\u00e1r-Nagy, T., Balachandran, B. (eds.) Delay Differential Equations, pp. 1\u201327. Springer, Boston (2009). \nhttps:\/\/doi.org\/10.1007\/978-0-387-85595-0_9"},{"issue":"5","key":"5_CR27","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0167-6911(00)00026-8","volume":"40","author":"P Soravia","year":"2000","unstructured":"Soravia, P.: Viscosity solutions and optimal control problems with integral constraints. Syst. Control Lett. 40(5), 325\u2013335 (2000)","journal-title":"Syst. Control Lett."},{"key":"5_CR28","unstructured":"Szczelina, R.: Rigorous integration of delay differential equations. Ph.D. thesis (2015)"},{"key":"5_CR29","series-title":"NATO ASI Series","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-642-59615-5_15","volume-title":"Verification of Digital and Hybrid Systems","author":"P Varaiya","year":"2000","unstructured":"Varaiya, P.: Reach set computation using optimal control. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems. NATO ASI Series, vol. 170, pp. 323\u2013331. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/978-3-642-59615-5_15"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-319-65765-3_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"B Xue","year":"2017","unstructured":"Xue, B., Mosaad, P.N., Fr\u00e4nzle, M., Chen, M., Li, Y., Zhan, N.: Safe over- and under-approximation of reachable sets for delay differential equations. In: Abate, A., Geeraerts, G. (eds.) FORMATS 2017. LNCS, vol. 10419, pp. 281\u2013299. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-65765-3_16"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Model-Based Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-41131-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T06:07:49Z","timestamp":1581919669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-41131-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030411305","9783030411312"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-41131-2_5","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":"18 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CyPhy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New York City, NY","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cyphy2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cyphy.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1-2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}