{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T10:31:31Z","timestamp":1768213891261,"version":"3.49.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032156990","type":"print"},{"value":"9783032157003","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-15700-3_5","type":"book-chapter","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:22:05Z","timestamp":1768202525000},"page":"82-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Hybrid Meta-Learning Framework for\u00a0Adaptive Safe Controller Synthesis of\u00a0Dynamic Systems"],"prefix":"10.1007","author":[{"given":"Rui","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiuqing","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Ames, A.D., Coogan, S., Egerstedt, M., Notomista, G., Sreenath, K., Tabuada, P.: Control barrier functions: theory and applications. In: 18th European Control Conference (ECC), pp. 3420\u20133431. IEEE (2019)","DOI":"10.23919\/ECC.2019.8796030"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Edwards, A., Peruffo, A., Abate, A.: Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models. In: Proceedings of 27th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1\u201310 (2024)","DOI":"10.1145\/3641513.3651398"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Tuncali, C.E., Kapinski, J., Ito, H., Deshmukh, J.V.: Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. In: Proceedings of 55th Annual Design Automation Conference, pp. 1\u20136. ACM (2018)","DOI":"10.1145\/3195970.3199852"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"160315","DOI":"10.1109\/ACCESS.2020.3018713","volume":"8","author":"CIG Chinelato","year":"2020","unstructured":"Chinelato, C.I.G., Neves, G.P.D., Ang\u00e9lico, B.A.: Safe control of a reaction wheel pendulum using control barrier function. IEEE Access 8, 160315\u2013160324 (2020)","journal-title":"IEEE Access"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Squires, E., Pierpaoli, P., Egerstedt, M.: Constructive barrier certificates with applications to fixed-wing aircraft collision avoidance. In: IEEE Conference on Control Technology and Applications (CCTA), pp. 1656\u20131661. IEEE (2018)","DOI":"10.1109\/CCTA.2018.8511342"},{"issue":"9","key":"5_CR6","first-page":"5149","volume":"44","author":"T Hospedales","year":"2021","unstructured":"Hospedales, T., Antoniou, A., Micaelli, P., Storkey, A.: Meta-learning in neural networks: a survey. IEEE Trans. Pattern Anal. Mach. Intell. 44(9), 5149\u20135169 (2021)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Achille, A., et al.: Task2vec: task embedding for meta-learning. In: Proceedings of IEEE\/CVF International Conference on Computer Vision, pp. 6430\u20136439 (2019)","DOI":"10.1109\/ICCV.2019.00653"},{"key":"5_CR8","unstructured":"Finn, C., Abbeel, P., Levine, S.: Model-agnostic meta-learning for fast adaptation of deep networks. In: International Conference on Machine Learning, pp. 1126\u20131135. PMLR (2017)"},{"issue":"6","key":"5_CR9","doi-asserted-by":"publisher","first-page":"5209","DOI":"10.1109\/TCYB.2020.3028378","volume":"52","author":"Z Xu","year":"2020","unstructured":"Xu, Z., Chen, X., Cao, L.: Fast task adaptation based on the combination of model-based and gradient-based meta learning. IEEE Trans. Cybern. 52(6), 5209\u20135218 (2020)","journal-title":"IEEE Trans. Cybern."},{"issue":"8","key":"5_CR10","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR11","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). https:\/\/doi.org\/10.1007\/978-3-540-24743-2_32"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Sun, X., Khedr, H., Shoukry, Y.: Formal verification of neural network controlled autonomous systems. In: Proceedings of 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 147\u2013156 (2019)","DOI":"10.1145\/3302504.3311802"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3419742","volume":"20","author":"R Ivanov","year":"2020","unstructured":"Ivanov, R., Carpenter, T.J., Weimer, J., Alur, R., Pappas, G.J., Lee, I.: Verifying the safety of autonomous systems with neural network controllers. ACM Trans. Embed. Comput. Syst. 20(1), 1\u201326 (2020)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Saveriano, M., Lee, D.: Learning barrier functions for constrained motion planning with dynamical systems. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 112\u2013119. IEEE (2019)","DOI":"10.1109\/IROS40897.2019.8967981"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Srinivasan, M., Dabholkar, A., Coogan, S., Vela, P.A.: Synthesis of control barrier functions using a supervised machine learning approach. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 7139\u20137145. IEEE (2020)","DOI":"10.1109\/IROS45743.2020.9341190"},{"key":"5_CR16","unstructured":"Taylor, A., Singletary, A., Yue, Y., Ames, A.: Learning for safety-critical control with control barrier functions. In: Learning for Dynamics and Control, pp. 708\u2013717. PMLR (2020)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Wang, L., Theodorou, E.A., Egerstedt, M.: Safe learning of quadrotor dynamics using barrier certificates. In: IEEE International Conference on Robotics and Automation (ICRA), pp. 2460\u20132465. IEEE (2018)","DOI":"10.1109\/ICRA.2018.8460471"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/s00165-021-00544-5","volume":"33","author":"H Zhao","year":"2020","unstructured":"Zhao, H., Zeng, X., Chen, T., Liu, Z., Woodcock, J.: Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33, 437\u2013455 (2020)","journal-title":"Formal Aspects Comput."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Younger, A.S., Hochreiter, S., Conwell, P.R.: Meta-learning with backpropagation. In: International Joint Conference on Neural Networks (IJCNN), vol. 3. IEEE (2001)","DOI":"10.1109\/IJCNN.2001.938471"},{"key":"5_CR20","unstructured":"Vuorio, R., Sun, S.H., Hu, H., Lim, J.J.: Toward multimodal model-agnostic meta-learning. arXiv preprint arXiv:1812.07172 (2018)"},{"key":"5_CR21","unstructured":"Nichol, A.: On first-order meta-learning algorithms. arXiv preprint arXiv:1803.02999 (2018)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-44668-0_13","volume-title":"Artificial Neural Networks \u2014 ICANN 2001","author":"S Hochreiter","year":"2001","unstructured":"Hochreiter, S., Younger, A.S., Conwell, P.R.: Learning to learn using gradient descent. In: Dorffner, G., Bischof, H., Hornik, K. (eds.) ICANN 2001. LNCS, vol. 2130, pp. 87\u201394. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44668-0_13"},{"key":"5_CR23","unstructured":"Kim, T., Yoon, J., Dia, O., Kim, S., Bengio, Y., Ahn, S.: Bayesian model-agnostic meta-learning. arXiv preprint arXiv:1806.03836 (2018)"},{"key":"5_CR24","unstructured":"Nagabandi, A., et al.: Learning to adapt in dynamic, real-world environments through meta-reinforcement learning. arXiv preprint arXiv:1803.11347 (2018)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Huang, P.S., Wang, C., Singh, R., Yih, W., He, X.: Natural language to structured query generation via meta-learning. arXiv preprint arXiv:1803.02400 (2018)","DOI":"10.18653\/v1\/N18-2115"},{"key":"5_CR26","first-page":"10013","volume":"34","author":"G Shi","year":"2021","unstructured":"Shi, G., Azizzadenesheli, K., O\u2019Connell, M., Chung, S.J., Yue, Y.: Meta-adaptive nonlinear control: theory and algorithms. Adv. Neural. Inf. Process. Syst. 34, 10013\u201310025 (2021)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Jena, A., Kalathil, D., Xie, L.: Meta-learning-based adaptive stability certificates for dynamical systems. In: Proceedings of AAAI Conference on Artificial Intelligence, vol. 38, no. 11, pp. 12801\u201312809 (2024)","DOI":"10.1609\/aaai.v38i11.29176"},{"key":"5_CR28","unstructured":"Santoro, A., Bartunov, S., Botvinick, M., Wierstra, D., Lillicrap, T.: Meta-learning with memory-augmented neural networks. In: International Conference on Machine Learning, pp. 1842\u20131850. PMLR (2016)"},{"key":"5_CR29","unstructured":"Mishra, N., Rohaninejad, M., Chen, X., Abbeel, P.: A simple neural attentive meta-learner. arXiv preprint arXiv:1707.03141 (2017)"},{"key":"5_CR30","unstructured":"Zintgraf, L., Shiarli, K., Kurin, V., Hofmann, K., Whiteson, S.: Fast context adaptation via meta-learning. In: International Conference on Machine Learning, pp. 7693\u20137702. PMLR (2019)"},{"key":"5_CR31","unstructured":"Park, J., Berto, F., Jamgochian, A., Kochenderfer, M.J., Park, J.: Meta-sysid: a meta-learning approach for simultaneous identification and prediction. arXiv preprint arXiv:2206.00694 (2022)"},{"key":"5_CR32","unstructured":"Brockman, G.: OpenAI Gym. arXiv preprint arXiv:1606.01540 (2016)"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Wang, Y., et al.: Joint differentiable optimization and verification for certified reinforcement learning. In: Proceedings of 14th ACM\/IEEE International Conference on Cyber-Physical Systems, pp. 132\u2013141 (2023)","DOI":"10.1145\/3576841.3585919"},{"key":"5_CR34","doi-asserted-by":"publisher","unstructured":"Zhao, H., Zeng, X., Qi, N., Yang, Z., Zeng, Z.: Safe DNN-type controller synthesis for nonlinear systems via meta reinforcement learning. In: 60th ACM\/IEEE Design Automation Conference (DAC), pp. 1\u20136. IEEE (2023). https:\/\/doi.org\/10.1109\/DAC56929.2023.10247837","DOI":"10.1109\/DAC56929.2023.10247837"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Deshmukh, J.V., Kapinski, J.P., Yamaguchi, T., Prokhorov, D.: Learning deep neural network controllers for dynamical systems with safety guarantees. In: IEEE\/ACM International Conference on Computer-Aided Design (ICCAD), pp. 1\u20137. IEEE (2019)","DOI":"10.1109\/ICCAD45719.2019.8942130"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Zhu, H., Xiong, Z., Magill, S., Jagannathan, S.: An inductive synthesis framework for verifiable reinforcement learning. In: Proceedings of 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 686\u2013701 (2019)","DOI":"10.1145\/3314221.3314638"},{"issue":"10","key":"5_CR37","doi-asserted-by":"publisher","first-page":"1846","DOI":"10.1109\/TAC.2004.835589","volume":"49","author":"G Chesi","year":"2004","unstructured":"Chesi, G.: Computing output feedback controllers to enlarge the domain of attraction in polynomial systems. IEEE Trans. Autom. Control 49(10), 1846\u20131853 (2004)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Clavi\u00e8re, A., Asselin, E., Garion, C., Pagetti, C.: Safety verification of neural network controlled systems. In: IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 47\u201354. IEEE (2021)","DOI":"10.1109\/DSN-W52860.2021.00019"},{"key":"5_CR39","unstructured":"Jarvis-Wloszek, Z.W.: Lyapunov based analysis and controller synthesis for polynomial systems using sum-of-squares optimization. PhD Thesis, University of California, Berkeley (2003)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-15700-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:22:10Z","timestamp":1768202530000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-15700-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032156990","9783032157003"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-15700-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"13 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","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":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 January 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2026","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":"vmcai2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/VMCAI-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}