On Complexity Certification of Branch-And-Bound Methods for MILP and MIQP with Applications to Hybrid MPC.

Bibliographic Details
Main Author: Shoja, Shamisa.
Format: eBook
Language:English
Published: Linköping : Linkopings Universitet, 2023.
Edition:1st ed.
Series:Linköping Studies in Science and Technology. Licentiate Thesis Series
Subjects:
Online Access:Click to View
Table of Contents:
  • Intro
  • Abstract
  • Populärvetenskaplig sammanfattning
  • Acknowledgments
  • Contents
  • Notation
  • Part I: Background
  • 1 Introduction
  • 2 Convex Optimization
  • 3 Mixed-Integer Optimization
  • 4 Model Predictive Control for Hybrid Systems
  • 5 Concluding Remarks
  • Bibliography
  • Part II: Publications
  • Papers.