Stability Analysis by means of Discrete Abstraction. Application to Voltage Stability of Distributed Generators*

This paper proposes a stability analysis method for discrete-time piecewise affine systems based on the reachability study of the equivalent discrete abstraction. The finite discrete abstraction eases reachability analysis but does not allow to conclude on system instability. To be able to conclude, this abstraction is refined by bisimulation calculation until the system is found to be unstable or the discrete abstraction is found to be equivalent to the system. This method allows to conclude both on the stability and the instability of the system, avoiding the undecidable situations. This approach is illustrated on voltage stability of a distribution feeder hosting distributed generators equipped with piecewise affine control laws.