Hard-real-time resource management for autonomous spacecraft
This paper describes tickets, a computational mechanism for hard-real-time autonomous resource management. Autonomous spacecraftcontrol can be considered abstractly as a computational process whose outputs are spacecraft commands.
Computational mechism autonomous spacecraft↗