Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems

Vasudevan Janarthanan, Peyman Gohari, Abdollah Saffar. Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems. IEEE Trans. Automat. Contr., 51(6):1053-1058, 2006. [doi]

Abstract

Abstract is missing.