MULTIPROCESSOR SCHEDULING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS FRAMEWORK

V. Janarthanan and P. Gohari

References

  1. [1] S. Baruah, Scheduling periodic tasks on uniform multiprocessors, Information Processing Letters, 80 (2), 2001, 97–102. doi:10.1016/S0020-0190(01)00148-X
  2. [2] S. Baruah & J. Goossens, Rate-monotonic scheduling onuniform multiprocessors, IEEE Transactions on Computers,52 (7), 2003, 966–970. doi:10.1109/TC.2003.1214344
  3. [3] S. Baruah & J. Goossens, The static-priority scheduling of periodic task systems upon identical multiprocessor platforms, Proc. IASTED Int. Conf. Parallel and Distributed Computing and Systems (PDCS 2003), 2003, 427–432.
  4. [4] J. Goossens, S. Funk, & S. Baruah, EDF scheduling on multiprocessor platforms: some (perhaps) counterintuitive observations, Proc. Int. Conf. Real-Time Computing Systems and Applications, 2002.
  5. [5] J. Goossens, S. Baruah, & S. Funk, Real-time scheduling on multiprocessors, Proc. of the 10th Int. Conf. on Real-Time Systems, 2002.
  6. [6] J. Goossens, S. Funk, & S. Baruah, Priority-driven scheduling of periodic task systems on multiprocessors, Real-time Systems, 25 (2–3), 2003. doi:10.1023/A:1025120124771
  7. [7] B. Brandin & W.M. Wonham, Supervisory control of timeddiscrete-event systems, IEEE Transactions on Automatic Control, 39 (2), 1994. doi:10.1109/9.272327
  8. [8] P.J. Ramadge & W.M. Wonham, Supervisory control of aclass of discrete event processes, SIAM Journal on Control and Optimization, 25 (1), 1987. doi:10.1137/0325013
  9. [9] K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, & S. Yovine, A framework for scheduler synthesis, Proc. RTSS’99, 1999.
  10. [10] E. Asarin, O. Maler, & A. Pnueli, Symbolic controller synthesis for discrete and timed systems, Hybrid Systems II (Springer, 1995).
  11. [11] O. Maler, A. Pnueli, & J. Sifakis, On the synthesis of discrete controllers for timed systems (an extended abstract), 12th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 1995.
  12. [12] W.M. Wonham, Supervisory control of discrete-event systems, Revised 2004.07.01 and found at www.control.utoronto.ca/people/profs/wonham/Wonham_SCDES.pdf.
  13. [13] R. Alur & D. Dill, Automata for modeling real-time systems, in M. Paterson (Ed.), ICALP 90: Automata, Languages, and Programming, LNCS, vol. 443 (Springer Verlag, 1990).
  14. [14] V. Janarthanan, P. Gohari, & A. Saffar, Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems, IEEE Transactions on Automatic Control, 51, 2006. doi:10.1109/TAC.2006.876806
  15. [15] W.M. Wonham, Design Software XPTTCT, Updated2004.07.01 and found at www.control.utoronto.ca/DES.
  16. [16] K. Altisen, G. Gossler, & J. Sifakis, A Methodology for the construction of scheduled systems, FTRTFT’00, LNCS 1926, 2000, 106–120.
  17. [17] K. Altisen, G. Goessler, & J. Sifakis, Scheduler modeling based on the controller synthesis paradigm, Journal of Real-Time Systems, special Issue on Control Approaches to Real Time Systems, 23, 2002, 55–84.
  18. [18] E. Asarin, O. Maler, A. Pnueli, & J. Sifakis, Controller synthesis for timed automata, Proceedings of IFAC Symposium on System Structure and Control, Elsevier, 1998, 469–474.
  19. [19] E. Asarin & O. Maler, As soon as possible: time optimal control for timed automata, in F. Vaandrager and J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569 (Springer-Verlag, 1999), 19–30.
  20. [20] J.S. Ostroff & W.M. Wonham, A framework for real-time discrete event control, IEEE Transactions on Automatic Control, 35 (4), 1990, 386–397. doi:10.1109/9.52290

Important Links:

Go Back