Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems. - Antoine Oustry; Carmen Cardozo; Patrick Pantiatici; Didier Henrion (CDC, 2019)