{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T05:47:57Z","timestamp":1751435277491,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031197611"},{"type":"electronic","value":"9783031197628"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-19762-8_9","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T08:03:09Z","timestamp":1666166589000},"page":"126-138","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital Twins"],"prefix":"10.1007","author":[{"given":"Le","family":"Liu","sequence":"first","affiliation":[]},{"given":"Aleksandra","family":"Leki\u0107","sequence":"additional","affiliation":[]},{"given":"Marjan","family":"Popov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"issue":"10","key":"9_CR1","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1049\/iet-gtd.2014.0582","volume":"9","author":"X Zhao","year":"2015","unstructured":"Zhao, X., Li, K.: Adaptive backstepping droop controller design for multi-terminal high-voltage direct current systems. IET Gener. Transm. Distrib. 9(10), 975\u2013983 (2015)","journal-title":"IET Gener. Transm. Distrib."},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1109\/TIE.2019.2962455","volume":"68","author":"M Ahmadijokani","year":"2021","unstructured":"Ahmadijokani, M., et al.: A back-stepping control method for modular multilevel converters. IEEE Trans. Ind. Electron. 68(1), 443\u2013453 (2021)","journal-title":"IEEE Trans. Ind. Electron."},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TPEL.2014.2310127","volume":"30","author":"MA Perez","year":"2015","unstructured":"Perez, M.A., Bernet, S., Rodriguez, J., Kouro, S., Lizana, R.: Circuit topologies, modeling, control schemes, and applications of modular multilevel converters. IEEE Trans. Power Electron. 30(1), 4\u201317 (2015)","journal-title":"IEEE Trans. Power Electron."},{"issue":"7","key":"9_CR4","doi-asserted-by":"publisher","first-page":"2526","DOI":"10.1109\/TIE.2012.2194974","volume":"60","author":"L Harnefors","year":"2013","unstructured":"Harnefors, L., et al.: Dynamic analysis of modular multilevel converters. IEEE Trans. Ind. Electron. 60(7), 2526\u20132537 (2013)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"9_CR5","unstructured":"Guide for the developments of models for HVDC converters in a HVDC grid. CIGR\u00c9 Working Group B4.57, Paris (2014)"},{"issue":"11","key":"9_CR6","doi-asserted-by":"publisher","first-page":"3318","DOI":"10.3390\/en14113318","volume":"14","author":"A Shetgaonkar","year":"2021","unstructured":"Shetgaonkar, A., Leki\u0107, A., et al.: Microsecond enhanced indirect model predictive control for dynamic power management in MMC units. Energies 14(11), 3318\u20133344 (2021)","journal-title":"Energies"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"2166","DOI":"10.1109\/TIE.2021.3063973","volume":"69","author":"Y Jin","year":"2022","unstructured":"Jin, Y., Xiao, Q., Jia, H., et al.: A dual-layer back-stepping control method for Lyapunov stability in modular multilevel converter based STATCOM. IEEE Trans. Ind. Electron 69(3), 2166\u20132179 (2022)","journal-title":"IEEE Trans. Ind. Electron"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/JESTPE.2018.2793159","volume":"6","author":"G Bergna-Diaz","year":"2018","unstructured":"Bergna-Diaz, G., Freytes, J., Guillaud, X., et al.: Generalized voltage-based state-space modeling of modular multilevel converters with constant equilibrium in steady state. IEEE J. Emerg. Sel. Top. 6(2), 707\u2013725 (2018)","journal-title":"IEEE J. Emerg. Sel. Top."},{"key":"9_CR9","unstructured":"Real-Time-Digital-Simulator: VSC small time-step modelling. Technical report, RTDS Technologies, Winnipeg, MB, Canada, October 2006"},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"4648","DOI":"10.1109\/TSG.2018.2866122","volume":"10","author":"Z Shuai","year":"2019","unstructured":"Shuai, Z., Shen, C., et al.: Transient angle stability of virtual synchronous generators using Lyapunov\u2019s direct method. IEEE Trans. Smart Grid 10(4), 4648\u20134661 (2019)","journal-title":"IEEE Trans. Smart Grid"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19762-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T23:13:04Z","timestamp":1666221184000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19762-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031197611","9783031197628"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19762-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}