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

IEEE Transactions on Automatic Control

Volumn 51, Issue 6, 2006, Pages 1053-1058

  Janarthanan, V ^a   Gohari, P ^a   Saffar, A ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

Discrete event systems (DESs); Priorities; Real time systems; Scheduling; Supervisory control

Indexed keywords

AUTOMATA THEORY; DISCRETE TIME CONTROL SYSTEMS; REAL TIME SYSTEMS;

DISCRETE-EVENT SYSTEMS; PRIORITY-BASED SUPERVISORY CONTROL; TASK SCHEDULING;

SCADA SYSTEMS;

EID: 33745700829     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.876806     Document Type: Article

References (11)

1. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine, "A framework for scheduler synthesis," in Proc. RTSS'99, 1999, pp. 154-163.
2. K. Altisen, G. Goessler, and J. Sifakis, "Scheduler modeling based on the controller synthesis paradigm," J. Real-Time Syst., vol. 23, pp. 55-84, 2002.
3. R. Alur and D. Dill, "Automata for modeling real-time systems," in ICALP 90: Automata, Languages and Programming. New York: Springer-Verlag, 1990, pp. 322-335, LNCS.
4. A. Bouajjani, S. Tripakis, and S. Yovine, "On-the-fly symbolic model checking for real-time systems," in Proc. 18th IEEE Real-Time Systems Symp., 1997, p. 25.
5. O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems (an extended abstract)," in STACS'95. New York: Springer-Verlag, 1995, vol. 900, LNCS, pp. 229-242.
6. B. Brandin and W. M. Wonham, "Supervisory control of timed discrete-event systems," IEEE Trans. Autom. Control, vol. 39, no. 2, pp. 329-342, Feb. 1994.
7. G. C. Butazzo, Hard Real-Time Computing Systems. Norwell, MA: Kluwer, 1997.
8. P. C. Y. Chen and W. M. Wonham, "Real-time supervisory control of a processor for non-preemptive execution of periodic tasks," Real-Time Syst., vol. 23, no. 3, pp. 183-208, 2002.
9. R. Kumar and M. A. Shayman, "Supervisory control of real-time systems using prioritized synchronization," in Proc. DIMACS Workshop on Verification and Control of Hybrid Systems, 1995, pp. 350-361.
10. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, 1987.
11. W. M. Wonham, Supervisory Control of Discrete-Event Systems. Toronto, ON, Canada: Univ. Toronto, 2004.