Microgrids are distribution networks consisting of distributed energy sources such as
photovoltaic and wind turbines, that have traditionally been one of the most popular sources …

The main challenge associated with the analysis of power systems via the computation of
reachable sets is improving the algorithmic efficiency to scale towards industrially relevant …

This paper presents a novel technique to design a robust finite-time partial stabilizer, based
on the non-singular terminal sliding mode method and a disturbance observer for the missile …

Power system stabilizers are controllers which damp power oscillations in electrical
networks. They typically reside in the automation system of the power plant. Their design …

Guaranteeing reliability of a system's operation is a challenge in many engineering
applications. A measure for the reliability is given by the set of all initial conditions from …

This thesis proposes several applications of reachability analysis to control and assess
stability of power systems with formal guarantees. Simply put, reachability analysis makes it …