Symbolic construction of dynamic mixed integer programs for power system management

In this presentation, we discuss a symbolic tool, implemented in Mathematica^©, that converts a hybrid automaton model of a power system into either a mixed logical dynamic system´ (MLD) or a ´dynamic mixed integer program´ (DMIP). The tool, converts any logical specification into mixed-integer formulas (IP formulas). For example the transition specification for the automaton is converted into a set of inequalities involving Boolean variables. The IP formulas can be used in decision computations using mixed integer programs or mixed integer dynamic programming. An example is given involving controller design for a power conditioning system.