Table of Contents
Fetching ...

On the tightness of linear relaxations of alternative mixed integer programming formulations for the generator maintenance scheduling problem

Tiago Andrade

Abstract

This paper presents a comprehensive theoretical analysis of six distinct Mixed-Integer Programming (MIP) formulations for preventive Generator Maintenance Scheduling (GMS), a critical problem for ensuring the reliability and efficiency of power systems. By comparing the tightness of their linear relaxations, we identify which formulations offer superior dual bound and, thus, better computational performance. Our analysis includes establishing relationships between the formulations through definitions, lemmas, and propositions, demonstrating that some formulations provide tighter relaxations that lead to more efficient optimization outcomes. These findings offer valuable insights for practitioners and researchers in selecting the most effective models to enhance the scheduling process of preventive generator maintenance.

On the tightness of linear relaxations of alternative mixed integer programming formulations for the generator maintenance scheduling problem

Abstract

This paper presents a comprehensive theoretical analysis of six distinct Mixed-Integer Programming (MIP) formulations for preventive Generator Maintenance Scheduling (GMS), a critical problem for ensuring the reliability and efficiency of power systems. By comparing the tightness of their linear relaxations, we identify which formulations offer superior dual bound and, thus, better computational performance. Our analysis includes establishing relationships between the formulations through definitions, lemmas, and propositions, demonstrating that some formulations provide tighter relaxations that lead to more efficient optimization outcomes. These findings offer valuable insights for practitioners and researchers in selecting the most effective models to enhance the scheduling process of preventive generator maintenance.

Paper Structure

This paper contains 11 sections, 12 theorems, 46 equations.

Key Result

Lemma 3.1

Under Formulation eq:6 and Formulation eq:7, it holds that:

Theorems & Definitions (18)

  • Lemma 3.1
  • proof
  • Proposition 3.1
  • proof
  • Corollary 3.1
  • Lemma 3.2
  • proof
  • Proposition 3.2
  • proof
  • Proposition 3.3
  • ...and 8 more