T. Dragi?evi´dragi?evi´c, X. Lu, J. C. Vasquez, and J. M. Guerrero, Dc microgrids-part ii: A review of power architectures, applications, and standardization issues, IEEE Transactions on Power Electronics, vol.31, pp.3528-3549, 2016.

T. Dragi?evi´dragi?evi´c, X. Lu, J. C. Vasquez, and J. M. Guerrero, Dc microgrids-part i: A review of control strategies and stabilization techniques, IEEE Transactions on Power Electronics, vol.31, pp.4876-4891, 2016.

F. Dörfler, J. W. Simpson-porco, and F. Bullo, Electrical networks and algebraic graph theory: Models, properties, and applications, Proceedings of the IEEE, vol.106, pp.977-1005, 2018.

A. S. Matveev, J. E. Machado, R. Ortega, J. Schiffer, and A. Pyrkin, On the existence and long-term stability of voltage equilibria in power systems with constant power loads, 2018.

J. Liu, W. Zhang, and G. Rizzoni, Robust stability analysis of dc microgrids with constant power loads, IEEE Transactions on Power Systems, vol.33, issue.1, pp.851-860, 2018.

C. D. Persis, E. R. Weitenberg, and F. Dörfler, A power consensus algorithm for dc microgrids, Automatica, vol.89, pp.364-375, 2018.

J. Zhao and F. Dörfler, Distributed control and optimization in DC microgrids, Automatica, vol.61, pp.18-26, 2015.

M. Cucuzzella, S. Trip, C. D. Persis, X. Cheng, A. Ferrara et al., A robust consensus algorithm for current sharing and voltage regulation in dc microgrids, IEEE Transactions on Control Systems Technology, pp.1-13, 2018.

P. Nahata, R. Soloperto, M. Tucci, A. Martinelli, and G. Ferraritrecate, A passivity-based approach to voltage stabilization in dc microgrids with zip loads, 2018.

P. Tabuada, Verification and control of hybrid systems: a symbolic approach, 2009.

C. Belta, B. Yordanov, and E. Gol, Formal methods for discrete-time dynamical systems, 2017.

C. Baier and J. Katoen, Principles of model checking, 2008.

N. Ramdani, N. Meslem, and Y. Candau, Computing reachable sets for uncertain nonlinear monotone systems, Nonlinear Analysis: Hybrid Systems, vol.4, pp.263-278, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00629909

C. , L. Guernic, and A. Girard, Reachability analysis of linear systems using support functions, Nonlinear Analysis: Hybrid Systems, vol.4, pp.250-262, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00765598

G. Reissig, A. Weber, and M. Rungger, Feedback refinement relations for the synthesis of symbolic controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2017.

S. Coogan and M. Arcak, Finite abstraction of mixed monotone systems with discrete and continuous inputs, Nonlinear Analysis: Hybrid Systems, vol.23, pp.254-271, 2017.

P. Meyer, A. Girard, and E. Witrant, Safety control with performance guarantees of cooperative systems using compositional abstractions, Proceedings of the 5 th IFAC Conference on Analysis and Design of Hyrbid Systems, pp.317-322, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01180975

A. Saoud, A. Girard, and L. Fribourg, Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems, 2018 IEEE Conference on Decision and Control (CDC), pp.773-779, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01857389

A. Saoud, A. Girard, and L. Fribourg, On the composition of discrete and continuous-time assume-guarantee contracts for invariance, 2018 European Control Conference (ECC), pp.435-440, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01712710

E. Kim, M. Arcak, and S. Seshia, Compositional controller synthesis for vehicular traffic networks, IEEE Conference on Decision and Control, pp.6165-6171, 2015.

J. Legriel, C. L. Guernic, S. Cotton, and O. Maler, Approximating the pareto front of multi-criteria optimization problems, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.69-83, 2010.

P. Tendulkar, Mapping and scheduling on multi-core processors using SMT solvers, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01087271

M. Khatib, A. Girard, and T. Dang, Scheduling of embedded controllers under timing contracts, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.131-140, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01540841