This paper describes a new method for the evaluation of non-utility generation impacts on preventive-corrective control of power systems. The proposed method relies on a mixed integer nonlinear optimization and is capable of recognizing the effectiveness of demand side preventive-corrective actions. A number of cases are presented to illustrate the consequences of introducing demand side action...

This paper describes a new method for the evaluation of non-utility generation impacts on preventive-corrective control of power systems. The proposed method relies on a mixed integer nonlinear optimization and is capable of recognizing the effectiveness of demand side preventive-corrective actions. A number of cases are presented to illustrate the consequences of introducing demand side action...

‎In this paper‎, ‎some KKT type sufficient global optimality conditions‎ ‎for general mixed integer nonlinear programming problems with‎ ‎equality and inequality constraints (MINPP) are established‎. ‎We achieve‎ ‎this by employing a Lagrange function for MINPP‎. ‎In addition‎, ‎verifiable sufficient global optimality conditions for general mixed‎ ‎integer quadratic programming problems are der...

We introduce a new way of generating cutting planes of a mixed integer programme by way of taking binary variables. Four binary variables are introduced to form quartic inequalities, which results in a reduced first-level mixed integer programme. A new way of weakening the inequalities is presented. An algorithm to carryout the separation of the inequalities, which are exponential in number, is...

this paper presents a framework for long term transmission expansion planning in competitive, electricity markets. transmission lines and phase shifters are taken into account as expansion options. maximization of the network users' benefits, with satisfying security constraints are considered as the criterion for transmission expansion planning. the elements of the objective function are the...

We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is NP-hard. We describe a mixed-integer programming (MIP) model with linear constraints and a non-linear objective for separating an arbitrary point from the MIR closure of a given mixed-integer set. We linearize the objec...

In this paper we present a rather new approach to apply mixed-integer optimization to the cryptanalysis of cryptographic primitives. We focus on the stream cipher Trivium, that has been recommended by the eSTREAM stream cipher project, and the lightweight block cipher Ktantan. Using these examples we explain how the problem of solving a non-linear multivariate Boolean equation system can be for...

Answer set programming is a programming paradigm where a given problem is formalized as a logic program whose answer sets correspond to the solutions to the problem. In this paper, we link answer set programming with another widely applied paradigm, viz. mixed integer programming. As a theoretical result, we establish translations from non-disjunctive logic programs to linear constraints used i...