Real-time supervisory control of a processor for non-preemptive execution of periodic tasks

Real-Time Systems

Volumn 23, Issue 3, 2002, Pages 183-208

  Chen, Peter C Y ^a   Wonham, W M ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Automata; Formal languages; Non preemptive scheduling; Supervisory control; Timed discrete event systems

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; DISCRETE TIME CONTROL SYSTEMS; FORMAL LANGUAGES; SCADA SYSTEMS; SCHEDULING;

NON PREEMPTIVE SCHEDULING; REAL TIME SCHEDULING; TASK EXECUTION;

REAL TIME SYSTEMS;

EID: 0036843896     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1020207328508     Document Type: Article

References (21)

1. Audsley, N. C., Burns, A., Davis, R. I., Tindell, K. W., and Wellings, A. J. 1995. Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems 8(2/3): 173-198.
2. Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., Wang, Y., and Weise, C. 1998. New Generation of UPPAAL. In Proceedings of International Workshop on Software Tools for Technology Transfer. Aalborg, Denmark, July 12-13.
3. Brandin, B. A., and Wonham, W. M. 1994. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2): 329-342.
4. Burns, A. 1991. Scheduling hard real-time systems: A review. Software Engineering Journal 116-128.
5. Chen, P. C. Y., and Wonham, W. M. 1998. A discrete-event control approach to real-time scheduling. In Proceedings of the Fifth International Conference on Control, Automation, Robotics, and Vision, Singapore, December 8-11, 1674-1678.
6. Chen, P. C. Y., and Wonham, W. M. 1999. Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Proceedings of the 14th World Congress of the International Federation of Automatic Control, Beijing, J-3C-01-03: 13-18.
7. Chen, P. C. Y., and Wonham, W. M. 2000. Stable supervisory control of flexible manufacturing systems with fixed supply and demand rates. International Journal of Production Research 39(2): 347-368.
8. Frederickson, G. N. 1983. Scheduling unit-time tasks with integer release times and deadlines. Information Processing Letters 6(4): 171-173.
9. Garey, M. R., Johnson, D. S., Simons, B. B., and Tarjan, R. E. 1981. Scheduling unit-time tasks with arbitrary release times and deadlines. SIAM Journal of Computing 10(2): 256-259.
10. Jeffay, K., Stanat, D. F., and Martel, C. U. 1991. On non-preemptive scheduling of periodic and sporadic tasks. In Proceedings of the 1991 IEEE Real-Time Systems Symposium. San Antonio, Texas, December, 129-139.
11. Lawler, E. L., and Martel, C. U. 1981. Scheduling periodically occurring tasks on multiple processors. Information Processing Letters 12(1): 9-12.
12. Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM 20(1): 46-61.
13. Mok, A. K. L. 1983. Fundamental Design Problems of Distributed Systems for the Hard Real-Time Environment. Ph.D. Thesis, Massachusetts Institute of Technology, Department of Electrical Engineering Computer Science, MIT/LCS/TR-297.
14. Mok, A. K., Tsou, D., and de Rooij, R. C. M. 1996. The MSP.RTL real-time scheduler synthesis tool. In Proceedings of the 17th IEEE Real-Time Systems Symposium. Washington DC, 118-128.
15. Ramadge, P. J. G., and Wonham, W. M. 1989. The control of discrete event systems. Proceedings of the IEEE 77(1): 81-98.
16. Stankovic, J. A., and Ramamritham, K. 1988. Tutorial: Hard Real-Time Systems, IEEE Press.
17. Wonham, W. M., and Ramadge, P. J. 1987. On the supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization 25(3): 637-659.
18. Wonham, W. M., and Ramadge, P. J. 1988. Modular supervisory control of discrete event systems. Mathematics of Control, Signal and Systems 1(1): 13-30.
19. Wonham, W. M. 1999. Notes on Control of Discrete-Event Systems. Department of Electrical and Computer Engineering, University of Toronto. (http://www.control.utoronto.ca/people/profs/wonham/wonham.html.)
20. Würtz, J. 1996. Oz Scheduler: A workbench for scheduling problems. in Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence, November 16-19.
21. Yuan, X., Saksena, M. C., and Agrawala, A. K. 1994. A decomposition approach to non-preemptive real-time scheduling. Real-Time Systems 6(1): 7-35.