{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T02:10:49Z","timestamp":1740103849471,"version":"3.37.3"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T00:00:00Z","timestamp":1603411200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T00:00:00Z","timestamp":1603411200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Sched"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s10951-020-00669-0","type":"journal-article","created":{"date-parts":[[2020,10,23]],"date-time":"2020-10-23T13:02:35Z","timestamp":1603458155000},"page":"69-82","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems"],"prefix":"10.1007","volume":"24","author":[{"given":"Rajesh","family":"Devaraj","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnab","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3020-4154","authenticated-orcid":false,"given":"Santosh","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,23]]},"reference":[{"issue":"2","key":"669_CR1","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1016\/j.tcs.2005.11.018","volume":"354","author":"Y Abdedda\u00efm","year":"2006","unstructured":"Abdedda\u00efm, Y., Asarin, E., & Maler, O. (2006). Scheduling with timed automata. Theoretical Computer Science, 354(2), 272\u2013300.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"669_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183\u2013235.","journal-title":"Theoretical Computer Science"},{"issue":"18","key":"669_CR3","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S1474-6670(17)42032-5","volume":"31","author":"E Asarin","year":"1998","unstructured":"Asarin, E., Maler, O., Pnueli, A., & Sifakis, J. (1998). Controller synthesis for timed automata. IFAC Proceedings Volumes, 31(18), 447\u2013452.","journal-title":"IFAC Proceedings Volumes"},{"issue":"6","key":"669_CR4","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/s10951-009-0137-5","volume":"13","author":"S Baruah","year":"2010","unstructured":"Baruah, S., & Pruhs, K. (2010). Open problems in real-time scheduling. Journal of Scheduling, 13(6), 577\u2013582.","journal-title":"Journal of Scheduling"},{"issue":"2","key":"669_CR5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"BA Brandin","year":"1994","unstructured":"Brandin, B. A., & Wonham, W. M. (1994). Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2), 329\u2013342.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"669_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard real-time computing systems: predictable scheduling algorithms and applications","author":"GC Buttazzo","year":"2011","unstructured":"Buttazzo, G. C. (2011). Hard real-time computing systems: predictable scheduling algorithms and applications (Vol. 24). New York: Springer."},{"key":"669_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras, C. G., & Lafortune, S. (2008). Introduction to discrete event systems. New York: Springer."},{"issue":"3","key":"669_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1020207328508","volume":"23","author":"PC Chen","year":"2002","unstructured":"Chen, P. C., & Wonham, W. M. (2002). Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Real-Time Systems, 23(3), 183\u2013208.","journal-title":"Real-Time Systems"},{"key":"669_CR9","doi-asserted-by":"crossref","unstructured":"Devaraj, R., Sarkar, A., Biswas, S.(2017). Real-time scheduling of non-preemptive sporadic tasks on uniprocessor systems using supervisory control of timed DES. In: American Control Conference (ACC), pp. 3212\u20133217.","DOI":"10.23919\/ACC.2017.7963442"},{"issue":"3","key":"669_CR10","doi-asserted-by":"publisher","first-page":"87:1","DOI":"10.1145\/3012278","volume":"16","author":"R Devaraj","year":"2017","unstructured":"Devaraj, R., Sarkar, A., & Biswas, S. (2017). Fault-Tolerant Preemptive Aperiodic RT Scheduling by Supervisory Control of TDES on Multiprocessors. ACM Transactions on Embedded Computing Systems, 16(3), 87:1\u201387:25.","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"669_CR11","doi-asserted-by":"crossref","unstructured":"Devaraj, R., Sarkar, A., Biswas, S.(2018). Exact task completion time aware real-time scheduling based on supervisory control theory of timed des. In: 2018 European Control Conference (ECC), IEEE, pp. 1908\u20131913.","DOI":"10.23919\/ECC.2018.8550369"},{"issue":"2","key":"669_CR12","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1109\/TII.2018.2824564","volume":"15","author":"R Devaraj","year":"2018","unstructured":"Devaraj, R., Sarkar, A., & Biswas, S. (2018). Supervisory control approach and its symbolic computation for power-aware rt scheduling. IEEE Transactions on Industrial Informatics, 15(2), 787\u2013799.","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"669_CR13","first-page":"112","volume":"9","author":"A Dubey","year":"2009","unstructured":"Dubey, A. (2009). A discussion on supervisory control theory in real-time discrete event systems. ISIS, 9, 112.","journal-title":"ISIS"},{"key":"669_CR14","doi-asserted-by":"crossref","unstructured":"Gouin, A., Libeaut, L., Ferrier, J.L. (1999). Supervisory control of timed automata. In: 1999 European Control Conference (ECC), IEEE ,pp. 543\u2013550.","DOI":"10.23919\/ECC.1999.7099361"},{"issue":"6","key":"669_CR15","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1109\/TAC.2006.876806","volume":"51","author":"V Janarthanan","year":"2006","unstructured":"Janarthanan, V., Gohari, P., & Saffar, A. (2006). Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems. IEEE Transactions on Automatic Control, 51(6), 1053\u20131058.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"669_CR16","unstructured":"Khoumsi, A., & Nourelfath, M. (2002). An efficient method for the supervisory control of dense real-time discrete event systems. In: Proceedings of 8th International Conference on Real-Time Computing Systems (RTCSA)"},{"issue":"4","key":"669_CR17","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/2534028","volume":"46","author":"C Krishna","year":"2014","unstructured":"Krishna, C. (2014). Fault-tolerant scheduling in homogeneous real-time systems. ACM Computing Surveys (CSUR), 46(4), 48.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"669_CR18","doi-asserted-by":"crossref","unstructured":"Kumar, R., Shayman, M.A. (1995). Supervisory control of real-time systems using prioritized synchronization. In: International Hybrid Systems Workshop, Springer, pp. 350\u2013361.","DOI":"10.1007\/BFb0020959"},{"key":"669_CR19","doi-asserted-by":"crossref","unstructured":"Maler, O., Pnueli, A., Sifakis, J.(1995). On the synthesis of discrete controllers for timed systems. In: Annual Symposium on Theoretical Aspects of Computer Science. Springer, pp. 229\u2013242.","DOI":"10.1007\/3-540-59042-0_76"},{"key":"669_CR20","doi-asserted-by":"crossref","unstructured":"Nair, P.P., Devaraj, R., Sarkar, A. (2018). Fest: Fault-tolerant energy-aware scheduling on two-core heterogeneous platform. In: 2018 8th International Symposium on Embedded Computing and System Design (ISED), IEEE , pp. 63\u201368.","DOI":"10.1109\/ISED.2018.8704123"},{"key":"669_CR21","doi-asserted-by":"crossref","unstructured":"Nair, P.P., Devaraj, R., Sarkar, A. (2018). Fest: Fault-tolerant energy-aware scheduling on two-core heterogeneous platform. In: 2018 8th International Symposium on Embedded Computing and System Design (ISED), IEEE , pp. 63\u201368.","DOI":"10.1109\/ISED.2018.8704123"},{"issue":"4","key":"669_CR22","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s10951-012-0293-x","volume":"16","author":"DG Pandelis","year":"2013","unstructured":"Pandelis, D. G. (2013). A note on preemptive scheduling of multiclass jobs with geometric service times and hard deadlines. Journal of Scheduling, 16(4), 423\u2013428.","journal-title":"Journal of Scheduling"},{"issue":"17","key":"669_CR23","doi-asserted-by":"publisher","first-page":"3393","DOI":"10.1016\/j.ins.2008.04.008","volume":"178","author":"SJ Park","year":"2008","unstructured":"Park, S. J., & Cho, K. H. (2008). Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems. Information Sciences, 178(17), 3393\u20133401.","journal-title":"Information Sciences"},{"issue":"11","key":"669_CR24","doi-asserted-by":"publisher","first-page":"2597","DOI":"10.1016\/j.automatica.2009.07.011","volume":"45","author":"SJ Park","year":"2009","unstructured":"Park, S. J., & Yang, J. M. (2009). Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints. Automatica, 45(11), 2597\u20132604.","journal-title":"Automatica"},{"issue":"1","key":"669_CR25","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s11241-016-9258-z","volume":"53","author":"RM Pathan","year":"2017","unstructured":"Pathan, R. M. (2017). Real-time scheduling algorithm for safety-critical systems on faulty multicore environments. Real-Time Systems, 53(1), 45\u201381.","journal-title":"Real-Time Systems"},{"key":"669_CR26","unstructured":"Srinivasan, P.K. (2008). Implementation and evaluation of proportional share scheduler on linux kernel 2.6. Ph.D. thesis, Ohio University."},{"key":"669_CR27","unstructured":"Srinivasan, P.K. (2008). Implementation and evaluation of proportional share scheduler on linux kernel 2.6. Ph.D. thesis, Ohio University."},{"key":"669_CR28","doi-asserted-by":"crossref","unstructured":"Stoica, I., Abdel-Wahab, H., Jeffay, K., Baruah, S.K., Gehrke, J.E., Plaxton, C.G. (1996). A proportional share resource allocation algorithm for real-time, time-shared systems. In: 17th IEEE Real-Time Systems Symposium, IEEE, pp. 288\u2013299.","DOI":"10.1109\/REAL.1996.563725"},{"issue":"4","key":"669_CR29","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s10951-006-7039-6","volume":"9","author":"Z Tian","year":"2006","unstructured":"Tian, Z., Ng, C., & Cheng, T. E. (2006). An o(n 2) algorithm for scheduling equal-length preemptive jobs on a single machine to minimize total tardiness. Journal of Scheduling, 9(4), 343\u2013364.","journal-title":"Journal of Scheduling"},{"key":"669_CR30","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Altisen, K. (1999). On-the-fly controller synthesis for discrete and dense-time systems. In: International Symposium on Formal Methods, Springer, pp. 233\u2013252.","DOI":"10.1007\/3-540-48119-2_15"},{"key":"669_CR31","unstructured":"TTCT Software: [online] http:\/\/www.control.utoronto.ca\/DES"},{"issue":"1","key":"669_CR32","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1109\/TII.2015.2500161","volume":"12","author":"X Wang","year":"2016","unstructured":"Wang, X., Li, Z., & Wonham, W. M. (2016). Dynamic multiple-period reconfiguration of real-time scheduling based on timed DES supervisory control. IEEE Transactions on Industrial Informatics, 12(1), 101\u2013111.","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"7","key":"669_CR33","doi-asserted-by":"publisher","first-page":"1082","DOI":"10.1109\/TSMC.2016.2531681","volume":"47","author":"X Wang","year":"2017","unstructured":"Wang, X., Li, Z., & Wonham, W. M. (2017). Optimal priority-free conditionally-preemptive real-time scheduling of periodic tasks based on DES supervisory control. IEEE Transactions on Systems, Man, Cybernetics: Systems, 47(7), 1082\u20131098.","journal-title":"IEEE Transactions on Systems, Man, Cybernetics: Systems"},{"key":"669_CR34","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.automatica.2017.12.010","volume":"89","author":"X Wang","year":"2018","unstructured":"Wang, X., Li, Z., & Wonham, W. M. (2018). Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems. Automatica, 89, 392\u2013397.","journal-title":"Automatica"}],"container-title":["Journal of Scheduling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10951-020-00669-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10951-020-00669-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10951-020-00669-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T12:44:33Z","timestamp":1696941873000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10951-020-00669-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,23]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["669"],"URL":"https:\/\/doi.org\/10.1007\/s10951-020-00669-0","relation":{},"ISSN":["1094-6136","1099-1425"],"issn-type":[{"type":"print","value":"1094-6136"},{"type":"electronic","value":"1099-1425"}],"subject":[],"published":{"date-parts":[[2020,10,23]]},"assertion":[{"value":"14 September 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 October 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}