Davoudi, Ali, et al. (2017). Computer-aided formal verification of power electronics circuits. In Proceedings of the Frontiers in Analog CAD (pp. 21–26).
Davoudi, Ali, et al. (2017). Distributed power profile tracking for heterogeneous charging of electric vehicles. IEEE Transactions on Smart Grid, 8, 2090–2099.
Davoudi, Ali, et al. (2017). Game-theoretic control of active loads in DC microgrids. Paper presented at the IEEE Power and Energy Society General Meeting.
Davoudi, Ali, et al. (2017). Output containment control of linear heterogeneous multi-agent systems using internal model principle. IEEE Transactions on Cybernetics, 47, 2099–2109.
Davoudi, Ali, et al. (2017). Reachability analysis of transformer-isolated dc-dc converters. In Proceedings of the International Workshop on Applied Verification for Continuous and Hybrid Systems (pp. 52–64).
Davoudi, Ali, et al. (2017). Review of hardware platforms for real-time simulation of electric machines. IEEE Transactions on Transportation Electrification, 3, 130–146.
Davoudi, Ali, et al. (2017). Unifying distributed optimization and coordination frameworks in dc microgrids. IEEE Transactions on Power Electronics, 32, 2329–2346.