Abstract: In-orbit automated servicing is a promising path towards lowering the cost of satellite operations and reducing the amount of orbital debris. For this purpose, we present a pipeline for ...

Abstract: In this work, we present and investigate a new framework for the data-driven simulation of electrical circuits based on discrete-continuous optimization. For such an end, we provide a formal ...