Submitted: February 2021


The thesis will embark on the modelling of a power-system of a satellite and its external factors using hybrid input/output automata, together with an analysis of its computational properties and suitability as a model. This model will consist of the kinetic battery model, a solar array model, and an abstract, parametric model representing consumers of power.