{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T05:15:13Z","timestamp":1776834913918,"version":"3.51.2"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.23919\/ecc.2019.8796095","type":"proceedings-article","created":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T19:20:02Z","timestamp":1565896802000},"page":"903-909","source":"Crossref","is-referenced-by-count":16,"title":["A symbolic approach to voltage stability and power sharing in time-varying DC microgrids"],"prefix":"10.23919","author":[{"given":"Daniele","family":"Zonetti","sequence":"first","affiliation":[]},{"given":"Adnane","family":"Saoud","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Fribourg","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref12","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.10.002"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2016.04.005"},{"key":"ref17","first-page":"317","article-title":"Safety control with performance guarantees of cooperative systems using compositional abstractions","author":"meyer","year":"2015","journal-title":"Proceedings of the 5th IFAC Conference on Analysis and Design of Hyrbid Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619099"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2018.8550622"},{"key":"ref4","author":"matveev","year":"2018","journal-title":"On the existence and long-term stability of voltage equilibria in power systems with constant power loads"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2821924"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.12.026"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2017.2697765"},{"key":"ref8","first-page":"1","article-title":"A robust consensus algorithm for current sharing and voltage regulation in dc microgrids","author":"cucuzzella","year":"2018","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.07.015"},{"key":"ref2","first-page":"4876","article-title":"Dc mi-crogrids—part i: A review of control strategies and stabilization techniques","volume":"31","author":"dragi?evi?","year":"2016","journal-title":"IEEE Transactions on Power Electronics"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"3528","DOI":"10.1109\/TPEL.2015.2464277","article-title":"Dc microgrids—part ii: A review of power architectures, applications, and standardization issues","volume":"31","author":"dragi?evi?","year":"2016","journal-title":"IEEE Transactions on Power Electronics"},{"key":"ref9","author":"nahata","year":"2018","journal-title":"A passivity-based approach to voltage stabilization in dc microgrids with zip loads"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403189"},{"key":"ref22","author":"tendulkar","year":"2014","journal-title":"Mapping and Scheduling on Multi-Core Processors Using SMT Solver"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_6"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049816"}],"event":{"name":"2019 18th European Control Conference (ECC)","location":"Naples, Italy","start":{"date-parts":[[2019,6,25]]},"end":{"date-parts":[[2019,6,28]]}},"container-title":["2019 18th European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8778424\/8795605\/08796095.pdf?arnumber=8796095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T21:35:31Z","timestamp":1567460131000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8796095\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/ecc.2019.8796095","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}