{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:54:11Z","timestamp":1740099251537,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030047702"},{"type":"electronic","value":"9783030047719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_7","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:02:53Z","timestamp":1544029373000},"page":"69-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Co-simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata"],"prefix":"10.1007","author":[{"given":"Imane","family":"Lamrani","sequence":"first","affiliation":[]},{"given":"Ayan","family":"Banerjee","sequence":"additional","affiliation":[]},{"given":"Sandeep K. S.","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Jacklin, S., et al.: Verification, validation, and certification challenges for adaptive fight-critical control system software. In: AIAA Guidance, Navigation, and Control Conference and Exhibit (2004)","DOI":"10.2514\/6.2004-5258"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1260\/2040-2295.5.1.1","volume":"5","author":"K Turksoy","year":"2014","unstructured":"Turksoy, K., Cinar, A.: Adaptive control of artificial pancreas systems-a review. J. Healthc. Eng. 5, 1\u201322 (2014)","journal-title":"J. Healthc. Eng."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Frehse, G.: Reachability of hybrid systems in space-time. In: ACM SIGBED EMSOFT (2015)","DOI":"10.1109\/EMSOFT.2015.7318258"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Sadeghi, K., et al.: Permanency analysis on human electroencephalogram signals for pervasive brain-computer interface systems. In: 39th Annual International Conference of the IEEE EMBC (2017)","DOI":"10.1109\/EMBC.2017.8036937"},{"key":"7_CR5","unstructured":"Frehse, G.: Scalable verification of hybrid systems. Diss. Univ, Grenoble Alpes (2016)"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1088\/0967-3334\/25\/4\/010","volume":"25","author":"R Hovorka","year":"2004","unstructured":"Hovorka, R., et al.: Nonlinear model predictive control of glucose concentration in subjects with type 1 diabetes. Physiol. Measure. 25(4), 905 (2004)","journal-title":"Physiol. Measure."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Eren-Oruklu, M., et al.: Self-tuning controller for regulation of glucose levels in patients with type 1 diabetes. In: American Control Conference, pp. 819\u2013824. IEEE (2008)","DOI":"10.1109\/ACC.2008.4586594"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Iftikhar, M.U., Weyns, D.: A case study on formal verification of self-adaptive behaviors in a decentralized system. arXiv preprint arXiv:1208.4635 (2012)","DOI":"10.4204\/EPTCS.91.4"},{"key":"7_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-664-1","volume-title":"Adaptive Control","author":"ID Landau","year":"1998","unstructured":"Landau, I.D., et al.: Adaptive Control, vol. 51. Springer, New York (1998). https:\/\/doi.org\/10.1007\/978-0-85729-664-1"},{"key":"7_CR10","unstructured":"Hatvani, L.: Formal verification of adaptive real-time systems by extending task automata. Diss. M\u00e4lardalen University (2014)"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/TAC.2002.806655","volume":"48","author":"A Chutinan","year":"2003","unstructured":"Chutinan, A., Krogh, B.H.: Computational techniques for hybrid system verification. IEEE Trans. Autom. Control 48(1), 64\u201375 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Tan, L.: Model-based self-adaptive embedded programs with temporal logic specifications, pp. 151\u2013158. Software IEEE (2006)","DOI":"10.1109\/QSIC.2006.41"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"issue":"1\u20132","key":"7_CR14","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1\u20132), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Althoff, M., Le Guernic, C., Krogh, B.H.: Reachable set computation for uncertain time-varying linear systems. In: 14th International Conference on Hybrid Systems: Computation and Control, pp. 93\u2013102. ACM (2011)","DOI":"10.1145\/1967701.1967717"},{"key":"7_CR16","unstructured":"Andersen, K.E., H\u00f8jbjerre, M.: A Bayesian approach to Bergman\u2019s minimal model. In: Bishop, C.M., Frey, B.J. (eds.) Ninth International Workshop on Artificial Intelligence (2003)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Lamrani, I., et al.: HyMn: mining linear hybrid automata from input output traces of cyber-physical systems. IEEE International Conference on Industrial Cyber-Physical Systems (2018)","DOI":"10.1109\/ICPHYS.2018.8387670"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Moon, I.-H., et al.: Approximate reachability don\u2019t cares for CTL model checking. In: In: IEEE\/ACM CAD, pp. 351\u2013358 (1998)","DOI":"10.1145\/288548.289053"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Ravi, K., Somenzi, F.: High-density reachability analysis. In: IEEE\/ACM CAD, pp. 154\u2013158 (1995)","DOI":"10.1109\/ICCAD.1995.480006"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Sadeghi, K., et al.: Optimization of brain mobile interface applications using IoT. In: 23rd International Conference on HiPC. IEEE (2016)","DOI":"10.1109\/HiPC.2016.014"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Sadeghi, K., et al.: SafeDrive: an autonomous driver safety application in aware cities. In: International Conference on PerCom Workshops. IEEE (2016)","DOI":"10.1109\/PERCOMW.2016.7457095"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,6]],"date-time":"2019-11-06T15:52:33Z","timestamp":1573055553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}