{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:24:07Z","timestamp":1742937847558,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030865061"},{"type":"electronic","value":"9783030865078"}],"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-86507-8_3","type":"book-chapter","created":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T23:22:00Z","timestamp":1631056920000},"page":"30-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment"],"prefix":"10.1007","author":[{"given":"Marta","family":"Grobelna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,8]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2015)","DOI":"10.1109\/SEAMS.2015.10"},{"issue":"9","key":"3_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/2330667.2330686","volume":"55","author":"R Calinescu","year":"2012","unstructured":"Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9), 69\u201377 (2012)","journal-title":"Commun. ACM"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Engwerda, J., Reddy, P.: A positioning of cooperative differential games. In: 5th Conference on Performance Evaluation Methodologies and Tools (2011)","DOI":"10.4108\/icst.valuetools.2011.245831"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Gansch, R., Adee, A.: System theoretic view on uncertainties. In: Design, Automation Test in Europe Conference Exhibition (2020)","DOI":"10.23919\/DATE48585.2020.9116472"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Han, J., Jentzen, A., Ee, W.: Solving high-dimensional partial differential equations using deep learning. In: Proceedings of the National Academy of Sciences (2017)","DOI":"10.1073\/pnas.1718942115"},{"key":"3_CR6","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (1996)"},{"key":"3_CR7","unstructured":"International Organization for Standardization: Road vehicles \u2013 functional safety. Standard ISO 26262\u20131:2018, ISO (2019)"},{"key":"3_CR8","unstructured":"Jafary, B., Rabiei, E., Diaconeasa, M., Masoomi, H., Fiondella, L., Mosleh, A.: A survey on autonomous vehicles interactions with human and other vehicles. In: 14th Conference on Probabilistic Safety Assessment and Management (2018)"},{"key":"3_CR9","unstructured":"Long, Z., Lu, Y., Ma, X., Dong, B.: PDE-net: learning PDEs from data. arXiv:1710.09668 (2018)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Nakamura-Zimmerer, T., Gong, Q., Kang, W.: Adaptive deep learning for high-dimensional Hamilton-Jacobi-Bellman equations. arXiv:1907.05317 (2020)","DOI":"10.23919\/ACC45564.2020.9147270"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1016\/j.jcp.2018.10.045","volume":"378","author":"M Raissi","year":"2019","unstructured":"Raissi, M., Perdikaris, P., Karniadakis, G.E.: Physics-informed neural networks: a deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations. J. Comput. Phys. 378, 686 (2019)","journal-title":"J. Comput. Phys."},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"2655","DOI":"10.1007\/s11831-020-09473-7","volume":"28","author":"S Riedmaier","year":"2020","unstructured":"Riedmaier, S., Danquah, B., Schick, B., Diermeyer, F.: Unified framework and survey for model verification, validation and uncertainty quantification. Arch. Comput. Methods Eng. 28(4), 2655\u20132688 (2020)","journal-title":"Arch. Comput. Methods Eng."},{"key":"3_CR13","unstructured":"Singh, S.: Critical reasons for crashes investigated in the national motor vehicle crash causation survey. Traffic Safety Facts - Crash Stats (2015)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Trapp, M., Schneider, D., Weiss, G.: Towards safety-awareness and dynamic safety management. In: 2018 14th European Dependable Computing Conference (2018)","DOI":"10.1109\/EDCC.2018.00027"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Winkler, S.N.: A framework including artificial neural networks in modelling hybrid dynamical systems. Ph.D. thesis, TU Wien (2020)","DOI":"10.11128\/fbs.34"}],"container-title":["Communications in Computer and Information Science","Dependable Computing - EDCC 2021 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-86507-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,8]],"date-time":"2023-01-08T20:17:25Z","timestamp":1673209045000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-86507-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030865061","9783030865078"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-86507-8_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"8 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EDCC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Dependable Computing Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","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":"13 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"edcc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/edcc.dependability.org\/workshops.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}