Tight Formulations for Unit Commitment with Different Levels of Details -- Part I: Models and Theoretical Insights | Digital Library | PAMCET | PAMCET