Due to the deregulation trend in electric power system networks, many factors have to be taken into consideration such as lack of supplying electric power, system reliability, power quality, electric system losses and voltage disturbance and profile problems. The excessive growing needs for electricity force electrical researchers to implement new approaches through the electric system. Introdu...

Based on the problems caused by today conventional vehicles, much attention has been put on the fuel cell vehicles researches. However, using a fuel cell system is not adequate alone in transportation applications, because the load power profile includes transient that is not compatible with the fuel cell dynamic. To resolve this problem, hybridization of the fuel cell and energy storage device...

The increasing complexity of electric power systems leads to integration and verification challenges. We consider the problem of designing a control protocol for the aircraft electric power system that meets these system requirements and reacts dynamically to changes in internal system states. We formalize these requirements by translating them into a temporal logic specification language descr...