Abstract: Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the ...
Abstract: A power electronic transformer (PET) can flexibly regulate the power flow of a network and facilitate the integration of distributed energy resources via AC/DC networks. With the continuous ...