Abstract: All existing work on real-time scheduling of parallel task graph models with shared resources assumes that a critical section must be contained inside a single vertex. However, this ...

Abstract: This article addresses the velocity-free attitude control problem for rigid spacecraft with bounded external disturbances. To obtain an accurate estimate of the spacecraft's velocities and ...