{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:21:56Z","timestamp":1743106916186,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89159-6_20","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"322-334","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing"],"prefix":"10.1007","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"issue":"4","key":"20_CR1","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/3341.3345","volume":"28","author":"D Campbell","year":"1985","unstructured":"Campbell, D., Farmer, D., Crutchfield, J., Jen, E.: Experimental mathematics: the role of computation in nonlinear science. Commun. ACM 28(4), 374\u2013384 (1985)","journal-title":"Commun. ACM"},{"issue":"45","key":"20_CR2","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1177\/0361198118777631","volume":"2672","author":"P Chakraborty","year":"2018","unstructured":"Chakraborty, P., Adu-Gyamfi, Y.O., Poddar, S., Ahsani, V., Sharma, A., Sarkar, S.: Traffic congestion detection from camera images using deep convolution neural networks. Transp. Res. Rec. 2672(45), 222\u2013231 (2018)","journal-title":"Transp. Res. Rec."},{"key":"20_CR3","unstructured":"Chen, R.T., Rubanova, Y., Bettencourt, J., Duvenaud, D.: Neural ordinary differential equations. arXiv preprint arXiv:1806.07366 (2018)"},{"issue":"13","key":"20_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1098\/rsif.2006.0173","volume":"4","author":"IR Cohen","year":"2007","unstructured":"Cohen, I.R., Harel, D.: Explaining a complex living system: dynamics, multi-scaling and emergence. J. R. Soc. Interface 4(13), 175\u2013182 (2007)","journal-title":"J. R. Soc. Interface"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, I.R., Marron, A.: The evolution of universal adaptations of life is driven by universal properties of matter: energy, entropy, and interaction. F1000Research 9 (2020)","DOI":"10.12688\/f1000research.24447.2"},{"key":"20_CR6","doi-asserted-by":"publisher","DOI":"10.1201\/9780429280665","volume-title":"A First Course in Chaotic Dynamical Systems: Theory and Experiment","author":"RL Devaney","year":"2020","unstructured":"Devaney, R.L.: A First Course in Chaotic Dynamical Systems: Theory and Experiment. Chapman and Hall\/CRC Press, Boca Raton (2020)"},{"key":"20_CR7","unstructured":"Feldman, D.: Complexity Explorer Course on Dynamical Systems and Chaos. https:\/\/www.youtube.com\/playlist?list=PLF0b3ThojznQwpDEClMZmHssMsuPnQxZT. Accessed May 2021"},{"key":"20_CR8","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvc5pczn","volume-title":"Chaos and Dynamical Systems","author":"D Feldman","year":"2019","unstructured":"Feldman, D.: Chaos and Dynamical Systems. Princeton University Press, Princeton (2019)"},{"key":"20_CR9","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199566433.001.0001","volume-title":"Chaos and Fractals: An Elementary Introduction","author":"DP Feldman","year":"2012","unstructured":"Feldman, D.P.: Chaos and Fractals: An Elementary Introduction. Oxford University Press, Oxford (2012)"},{"issue":"2","key":"20_CR10","doi-asserted-by":"publisher","first-page":"185","DOI":"10.30935\/scimath\/9431","volume":"3","author":"M Forjan","year":"2015","unstructured":"Forjan, M., Grubelnik, V.: How well do students in secondary school understand temporal development of dynamical systems? Eur. J. Sci. Math. Educ. 3(2), 185\u2013204 (2015)","journal-title":"Eur. J. Sci. Math. Educ."},{"key":"20_CR11","volume-title":"Chaos: The Amazing Science of the Unpredictable","author":"J Gleick","year":"1998","unstructured":"Gleick, J.: Chaos: The Amazing Science of the Unpredictable. Vintage Publishing, New York (1998)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"125972","DOI":"10.1016\/j.physa.2021.125972","volume":"574","author":"X Guan","year":"2021","unstructured":"Guan, X., Cheng, R., Ge, H.: Bifurcation control of optimal velocity model through anticipated effect and response time-delay feedback methods. Phys. A: Stat. Mech. Appl. 574, 125972 (2021)","journal-title":"Phys. A: Stat. Mech. Appl."},{"key":"20_CR13","volume-title":"Algorithmics: the Spirit of Computing","author":"D Harel","year":"2004","unstructured":"Harel, D., Feldman, Y.A.: Algorithmics: the Spirit of Computing. Pearson Education, London (2004)"},{"key":"20_CR14","unstructured":"Hofstadter, D.R.: G\u00f6del, Escher, Bach: An Eternal Braid; 20th Anniversary Edition. Penguin Books (1999)"},{"key":"20_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195121049.001.0001","volume-title":"Investigations","author":"SA Kauffman","year":"2000","unstructured":"Kauffman, S.A.: Investigations. Oxford University Press, Oxford (2000)"},{"issue":"5","key":"20_CR16","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1080\/00423114.2011.639897","volume":"50","author":"G Kewlani","year":"2012","unstructured":"Kewlani, G., Crawford, J., Iagnemma, K.: A polynomial chaos approach to the analysis of vehicle dynamics under uncertainty. Veh. Syst. Dyn. 50(5), 749\u2013774 (2012)","journal-title":"Veh. Syst. Dyn."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Marron, A., Limonad, L., Pollack, S., Harel, D.: Expecting the unexpected: developing autonomous-system design principles for reacting to unpredicted events and conditions. In: Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 167\u2013173 (2020)","DOI":"10.1145\/3387939.3391607"},{"issue":"1","key":"20_CR18","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1002\/rob.21587","volume":"33","author":"CJ Ostafew","year":"2016","unstructured":"Ostafew, C.J., Schoellig, A.P., Barfoot, T.D., Collier, J.: Learning-based nonlinear model predictive control to improve vision-based mobile robot path tracking. J. Field Robot. 33(1), 133\u2013152 (2016)","journal-title":"J. Field Robot."},{"key":"20_CR19","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-1-4757-5362-2_4","volume-title":"Handbook of Global Optimization","author":"L Pronzato","year":"2002","unstructured":"Pronzato, L., Wynn, H.P., Zhigljavsky, A.A.: An introduction to dynamical search. In: Pardalos, P.M., Romeijn, H.E. (eds.) Handbook of Global Optimization, pp. 115\u2013150. Springer, Boston (2002). https:\/\/doi.org\/10.1007\/978-1-4757-5362-2_4"},{"key":"20_CR20","first-page":"1","volume":"62","author":"L Ruthotto","year":"2019","unstructured":"Ruthotto, L., Haber, E.: Deep neural networks motivated by partial differential equations. J. Math Imaging Vis. 62, 1\u201313 (2019)","journal-title":"J. Math Imaging Vis."},{"key":"20_CR21","series-title":"Studies in Systems, Decision and Control","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-030-51264-4_8","volume-title":"Advances in Dynamics, Optimization and Computation","author":"T Sahai","year":"2020","unstructured":"Sahai, T.: Dynamical systems theory and algorithms for NP-hard problems. In: Junge, O., Sch\u00fctze, O., Froyland, G., Ober-Bl\u00f6baum, S., Padberg-Gehle, K. (eds.) SON 2020. SSDC, vol. 304, pp. 183\u2013206. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51264-4_8"},{"key":"20_CR22","unstructured":"Schrodinger, E.: What is Life? The Physical Aspect of the Living Cell. Cambridge University Press (1951)"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Simm, W.A., et al.: SE in ES: opportunities for software engineering and cloud computing in environmental science. In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Society, pp. 61\u201370 (2018)","DOI":"10.1145\/3183428.3183430"},{"key":"20_CR24","unstructured":"van den Doel, K., Ascher, U.: The chaotic nature of faster gradient descent methods, pp. 1\u201327. The University of British Columbia, Canada (2011)"},{"key":"20_CR25","unstructured":"Vendome, C., Rao, D.M., Giabbanelli, P.J.: How do modelers code artificial societies? Investigating practices and quality of NetLogo codes from large repositories. In: 2020 Spring Simulation Conference (SpringSim), pp. 1\u201312. IEEE (2020)"},{"issue":"1","key":"20_CR26","first-page":"1","volume":"5","author":"E Weinan","year":"2017","unstructured":"Weinan, E.: A proposal on machine learning via dynamical systems. Commun. Math. Stat. 5(1), 1\u201311 (2017)","journal-title":"Commun. Math. Stat."},{"key":"20_CR27","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.simpat.2017.11.001","volume":"83","author":"RA Williams","year":"2018","unstructured":"Williams, R.A.: Lessons learned on development and application of agent-based models of complex dynamical systems. Simul. Model. Pract. Theory 83, 201\u2013212 (2018)","journal-title":"Simul. Model. Pract. Theory"},{"issue":"37","key":"20_CR28","doi-asserted-by":"publisher","first-page":"E8678","DOI":"10.1073\/pnas.1807890115","volume":"115","author":"YI Wolf","year":"2018","unstructured":"Wolf, Y.I., Katsnelson, M.I., Koonin, E.V.: Physical foundations of biological complexity. Proc. Natl. Acad. Sci. 115(37), E8678\u2013E8687 (2018)","journal-title":"Proc. Natl. Acad. Sci."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,11]],"date-time":"2023-11-11T00:01:33Z","timestamp":1699660893000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}