a novel method to compute the stability region in power system transient stability analysis is presented. this method is based on the set analysis. the key to this method is to construct the hamilton-jacobi-isaacs (hji) partial differential equation (pde) of a nonlinear system, using which we can compute the backward reachable set by applying the level set methods. the backward reachable set of...

‎It is a well-known fact that finding a minimum dominating set and consequently the domination number of a general graph is an NP-complete problem‎. ‎In this paper‎, ‎we first model it as a nonlinear binary optimization problem and then extract two closely related semidefinite relaxations‎. ‎For each of these relaxations‎, ‎different rounding algorithm is exp...