Darstellung von Roboteraufgabenplänen als robuste logisch-dynamische Systeme