Universal scheduler design on uniprocessors in supervisory control of discrete-event systems framework

This paper presents a framework for designing universal schedulers for real-time systems on uniprocessors based on supervisory control theory (SCT) for discrete-event systems. A universal scheduler nondeterministically selects a task for execution in such a way that all timing constraints are met in a minimally restrictive fashion, while it contains all feasible deterministic scheduling policies