Dc microgrids-part ii: A review of power architectures, applications, and standardization issues, IEEE Transactions on Power Electronics, vol.31, pp.3528-3549, 2016. ,
Dc microgrids-part i: A review of control strategies and stabilization techniques, IEEE Transactions on Power Electronics, vol.31, pp.4876-4891, 2016. ,
Electrical networks and algebraic graph theory: Models, properties, and applications, Proceedings of the IEEE, vol.106, pp.977-1005, 2018. ,
On the existence and long-term stability of voltage equilibria in power systems with constant power loads, 2018. ,
Robust stability analysis of dc microgrids with constant power loads, IEEE Transactions on Power Systems, vol.33, issue.1, pp.851-860, 2018. ,
A power consensus algorithm for dc microgrids, Automatica, vol.89, pp.364-375, 2018. ,
Distributed control and optimization in DC microgrids, Automatica, vol.61, pp.18-26, 2015. ,
A robust consensus algorithm for current sharing and voltage regulation in dc microgrids, IEEE Transactions on Control Systems Technology, pp.1-13, 2018. ,
A passivity-based approach to voltage stabilization in dc microgrids with zip loads, 2018. ,
Verification and control of hybrid systems: a symbolic approach, 2009. ,
Formal methods for discrete-time dynamical systems, 2017. ,
Principles of model checking, 2008. ,
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
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
Feedback refinement relations for the synthesis of symbolic controllers, IEEE Transactions on Automatic Control, vol.62, issue.4, pp.1781-1796, 2017. ,
Finite abstraction of mixed monotone systems with discrete and continuous inputs, Nonlinear Analysis: Hybrid Systems, vol.23, pp.254-271, 2017. ,
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
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
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
Compositional controller synthesis for vehicular traffic networks, IEEE Conference on Decision and Control, pp.6165-6171, 2015. ,
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. ,
Mapping and scheduling on multi-core processors using SMT solvers, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01087271
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