{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,6]],"date-time":"2025-12-06T04:49:22Z","timestamp":1764996562988,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031781094"},{"type":"electronic","value":"9783031781100"}],"license":[{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-78110-0_2","type":"book-chapter","created":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T21:52:06Z","timestamp":1733089926000},"page":"17-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Synthesizing Operationally Safe Controllers for\u00a0Human-in-the-Loop Human-in-the-Plant Hybrid Close Loop Systems"],"prefix":"10.1007","author":[{"given":"Ayan","family":"Banerjee","sequence":"first","affiliation":[]},{"given":"Imane","family":"Lamrani","sequence":"additional","affiliation":[]},{"given":"Sandeep K. S.","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,12,2]]},"reference":[{"issue":"10","key":"2_CR1","doi-asserted-by":"publisher","first-page":"1360","DOI":"10.1111\/dme.13064","volume":"33","author":"A Andersen","year":"2016","unstructured":"Andersen, A., et al.: Optimum bolus wizard settings in insulin pumps in children with type 1 diabetes. Diabet. Med. 33(10), 1360\u20131365 (2016)","journal-title":"Diabet. Med."},{"doi-asserted-by":"publisher","unstructured":"Banerjee, A., Gupta, S.K.S.: Your mobility can be injurious to your health: analyzing pervasive health monitoring systems under dynamic context changes. In: 2012 IEEE International Conference on Pervasive Computing and Communications (PerCom), pp. 39 \u201347 (2012). https:\/\/doi.org\/10.1109\/percom.2012.6199847","key":"2_CR2","DOI":"10.1109\/percom.2012.6199847"},{"issue":"5","key":"2_CR3","doi-asserted-by":"publisher","first-page":"904","DOI":"10.1109\/TMC.2014.2334606","volume":"14","author":"A Banerjee","year":"2015","unstructured":"Banerjee, A., Gupta, S.K.: Analysis of smart mobile applications for healthcare under dynamic context changes. IEEE Trans. Mob. Comput. 14(5), 904\u2013919 (2015)","journal-title":"IEEE Trans. Mob. Comput."},{"unstructured":"Banerjee, A., Maity, A., Kamboj, P., Gupta, S.K.S.: CPS-LLM: large language model based safe usage plan generator for human-in-the-loop human-in-the-plant cyber-physical system (2024). https:\/\/arxiv.org\/abs\/2405.11458. aI Planning for Cyber-Physical Systems - CAIPI\u201924 AAAI","key":"2_CR4"},{"doi-asserted-by":"publisher","unstructured":"Banerjee, A., Maity, A., Lamrani, I., Sandeep\u00a0Gupta, K.: Co-operative game for certification and continued conformance check of AI enabled cps*. In: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS), pp.\u00a01\u20136 (2024). https:\/\/doi.org\/10.1109\/ICPS59941.2024.10639951","key":"2_CR5","DOI":"10.1109\/ICPS59941.2024.10639951"},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1109\/JPROC.2011.2165689","volume":"100","author":"A Banerjee","year":"2011","unstructured":"Banerjee, A., Venkatasubramanian, K.K., Mukherjee, T., Gupta, S.K.S.: Ensuring safety, security, and sustainability of mission-critical cyber-physical systems. Proc. IEEE 100(1), 283\u2013299 (2011)","journal-title":"Proc. IEEE"},{"issue":"s1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.2345\/0899-8205-47.s1.43","volume":"47","author":"A Banerjee","year":"2013","unstructured":"Banerjee, A., Zhang, Y., Jones, P., Gupta, S.: Using formal methods to improve home-use medical device safety. Biomed. Instrum. Technol. 47(s1), 43\u201348 (2013)","journal-title":"Biomed. Instrum. Technol."},{"issue":"9","key":"2_CR8","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1089\/dia.2021.0097","volume":"23","author":"MD Breton","year":"2021","unstructured":"Breton, M.D., Kovatchev, B.P.: One year real-world use of the control-IQ advanced hybrid closed-loop technology. Diab. Technol. Ther. 23(9), 601\u2013608 (2021)","journal-title":"Diab. Technol. Ther."},{"doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, 13\u201319 July 2013. Proceedings 25, pp. 258\u2013263. Springer (2013)","key":"2_CR9","DOI":"10.1007\/978-3-642-39799-8_18"},{"doi-asserted-by":"publisher","unstructured":"Cohen, M.B., Lee, Y.T., Song, Z.: Solving linear programs in the current matrix multiplication time. J. ACM 68(1) (2021). https:\/\/doi.org\/10.1145\/3424305","key":"2_CR10","DOI":"10.1145\/3424305"},{"doi-asserted-by":"crossref","unstructured":"Dawson, C., Gao, S., Fan, C.: Safe control with learned certificates: a survey of neural lyapunov, barrier, and contraction methods. arXiv preprint arXiv:2202.11762 (2022)","key":"2_CR11","DOI":"10.1109\/TRO.2022.3232542"},{"doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, 8\u201310 September 2010. Proceedings 8, pp. 92\u2013106. Springer (2010)","key":"2_CR12","DOI":"10.1007\/978-3-642-15297-9_9"},{"issue":"1","key":"2_CR13","first-page":"1437","volume":"16","author":"J Garc\u0131a","year":"2015","unstructured":"Garc\u0131a, J., Fern\u00e1ndez, F.: A comprehensive survey on safe reinforcement learning. J. Mach. Learn. Res. 16(1), 1437\u20131480 (2015)","journal-title":"J. Mach. Learn. Res."},{"doi-asserted-by":"crossref","unstructured":"Karaman, S., Sanfelice, R.G., Frazzoli, E.: Optimal control of mixed logical dynamical systems with linear temporal logic specifications. In: 2008 47th IEEE Conference on Decision and Control, pp. 2117\u20132122. IEEE (2008)","key":"2_CR14","DOI":"10.1109\/CDC.2008.4739370"},{"doi-asserted-by":"crossref","unstructured":"Lamrani, I., Banerjee, A., Gupta, S.K.S.: Certification game for the safety analysis of AI-based CPS. In: Habli, I., Sujan, M., Gerasimou, S., Schoitsch, E., Bitsch, F. (eds.) Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, pp. 297\u2013310. Springer, Cham (2021)","key":"2_CR15","DOI":"10.1007\/978-3-030-83906-2_25"},{"unstructured":"Li, W., Sadigh, D., Sastry, S.S., Seshia, S.A.: Synthesis for human-in-the-loop control systems. In: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, 5\u201313 April 2014. Proceedings 20, pp. 470\u2013484. Springer, Cham (2014)","key":"2_CR16"},{"unstructured":"Maity, A., Banerjee, A., Gupta, S.: Detection of unknown-unknowns in cyber-physical systems using statistical conformance with physics guided process models. arXiv preprint arXiv:2309.02603 (2023)","key":"2_CR17"},{"doi-asserted-by":"publisher","unstructured":"Maity, A., Banerjee, A., Gupta, S.K.: Detection of unknown-unknowns in human-in-loop human-in-plant systems using physics guided process models. In: 2023 57th Asilomar Conference on Signals, Systems, and Computers, pp. 1500\u20131504 (2023). https:\/\/doi.org\/10.1109\/IEEECONF59524.2023.10476736","key":"2_CR18","DOI":"10.1109\/IEEECONF59524.2023.10476736"},{"issue":"1","key":"2_CR19","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1177\/1932296813514502","volume":"8","author":"CD Man","year":"2014","unstructured":"Man, C.D., Micheletto, F., Lv, D., Breton, M., Kovatchev, B., Cobelli, C.: The UVA\/PADOVA type 1 diabetes simulator: new features. J. Diabetes Sci. Technol. 8(1), 26\u201334 (2014)","journal-title":"J. Diabetes Sci. Technol."},{"doi-asserted-by":"crossref","unstructured":"Priyanka\u00a0Bagade, Ayan\u00a0Banerjee, S.K.G.: Validation, verification, and formal methods for cyber-physical systems. In: Cyber-Physical Systems, pp. 175\u2013191. Elsevier (2017)","key":"2_CR20","DOI":"10.1016\/B978-0-12-803801-7.00012-2"},{"unstructured":"Richards, S.M., Berkenkamp, F., Krause, A.: The lyapunov neural network: adaptive stability certification for safe learning of dynamical systems. In: Conference on Robot Learning, pp. 466\u2013476. PMLR (2018)","key":"2_CR21"},{"doi-asserted-by":"crossref","unstructured":"Salleh, M.N.M., Talpur, N., Hussain, K.: Adaptive neuro-fuzzy inference system: overview, strengths, limitations, and solutions. In: Data Mining and Big Data: Second International Conference, DMBD 2017, Fukuoka, Japan, 27 July\u20131 August 2017, Proceedings 2, pp. 527\u2013535. Springer, Cham (2017)","key":"2_CR22","DOI":"10.1007\/978-3-319-61845-6_52"},{"unstructured":"Seshia, S.A., Sadigh, D., Sastry, S.S.: Towards verified artificial intelligence. arXiv preprint arXiv:1606.08514 (2016)","key":"2_CR23"},{"issue":"6","key":"2_CR24","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1210\/jcem-71-6-1508","volume":"71","author":"S Welch","year":"1990","unstructured":"Welch, S., Gebhart, S., Bergman, R., Phillips, L.: Minimal model analysis of intravenous glucose tolerance test-derived insulin sensitivity in diabetic subjects. J. Clin. Endocrinol. Metab. 71(6), 1508\u20131518 (1990)","journal-title":"J. Clin. Endocrinol. Metab."},{"issue":"4","key":"2_CR25","doi-asserted-by":"publisher","first-page":"1996","DOI":"10.1109\/TAC.2021.3071334","volume":"67","author":"D \u00c1vila","year":"2022","unstructured":"\u00c1vila, D., Junca, M.: On reachability of Markov chains: a long-run average approach. IEEE Trans. Autom. Control 67(4), 1996\u20132003 (2022). https:\/\/doi.org\/10.1109\/TAC.2021.3071334","journal-title":"IEEE Trans. Autom. Control"}],"container-title":["Lecture Notes in Computer Science","Pattern Recognition"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-78110-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T23:31:18Z","timestamp":1733095878000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-78110-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"ISBN":["9783031781094","9783031781100"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-78110-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,12,2]]},"assertion":[{"value":"2 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICPR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Pattern Recognition","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kolkata","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icpr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icpr2024.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}