Zufallsbeschränkte Steuerung für sichere Autonomie von Raumfahrzeugen: Konvexer Programmieransatz