{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:04Z","timestamp":1750308724990,"version":"3.41.0"},"reference-count":61,"publisher":"Association for Computing Machinery (ACM)","issue":"1s","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,11]]},"abstract":"<jats:p>Energy management is an important issue in today's real-time systems due to the high costs of energy supplying. Using renewable, like wave, wind, and solar energy sources seem promising methods to address this issue. However, because of the existing contrast between the critical nature of hard real-time systems and the unpredictable nature of renewable energies, some supplementary energy source like electricity grid or battery is needed. In this paper, we consider hard real-time systems with two renewable and nonrenewable energy sources. In order to reduce the costs, we present two dynamic voltage scaling controllers to minimize the energy attained from the latter source. In order to handle variations of the environmental energy and workload, the model predictive control approach is employed. One nonlinear approach beside one fast linear piecewise affine explicit controller are proposed. The efficacies of the proposed approaches have been investigated through extensive simulations. Comparisons to an ideal clairvoyant controller as a baseline show that, in the studied scenarios, the proposed controllers guarantee at least 78% of the baseline performance.<\/jats:p>","DOI":"10.1145\/2536747.2536758","type":"journal-article","created":{"date-parts":[[2013,12,10]],"date-time":"2013-12-10T13:28:12Z","timestamp":1386682092000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Adaptive scheduling of real-time systems cosupplied by renewable and nonrenewable energy sources"],"prefix":"10.1145","volume":"13","author":[{"given":"Morteza","family":"Mohaqeqi","sequence":"first","affiliation":[{"name":"University of Tehran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Kargahi","sequence":"additional","affiliation":[{"name":"University of Tehran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maryam","family":"Dehghan","sequence":"additional","affiliation":[{"name":"University of Tehran, Tehran, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,12,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2012.21"},{"volume-title":"Proceedings of the Workshop on Power Management for Real-Time and Embedded Systems (in conjunction with RTAS'01)","author":"Allavena A.","key":"e_1_2_1_2_1","unstructured":"Allavena , A. and Mosse , D . 2001. Scheduling of frame-based embedded systems with rechargeable batteries . In Proceedings of the Workshop on Power Management for Real-Time and Embedded Systems (in conjunction with RTAS'01) . Allavena, A. and Mosse, D. 2001. Scheduling of frame-based embedded systems with rechargeable batteries. In Proceedings of the Workshop on Power Management for Real-Time and Embedded Systems (in conjunction with RTAS'01)."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275298"},{"volume-title":"Proceedings of the European Control Conference. 3335--3340","author":"Baotic M.","key":"e_1_2_1_4_1","unstructured":"Baotic , M. , Christophersen , F. J. , and Morari , M . 2003. A new algorithm for constrained finite time optimal control of hybrid systems with a linear performance index . In Proceedings of the European Control Conference. 3335--3340 . Baotic, M., Christophersen, F. J., and Morari, M. 2003. A new algorithm for constrained finite time optimal control of hybrid systems with a linear performance index. In Proceedings of the European Control Conference. 3335--3340."},{"volume-title":"Proceedings of the European Conference on Circuit Theory and Design. 1--6.","author":"Bartolini A.","key":"e_1_2_1_5_1","unstructured":"Bartolini , A. , Cacciari , M. , Tilli , A. , and Benini , L . 2011. A distributed and self-calibrating model-predictive controller for energy and thermal management of high-performance multicores . In Proceedings of the European Conference on Circuit Theory and Design. 1--6. Bartolini, A., Cacciari, M., Tilli, A., and Benini, L. 2011. A distributed and self-calibrating model-predictive controller for energy and thermal management of high-performance multicores. In Proceedings of the European Conference on Circuit Theory and Design. 1--6."},{"volume-title":"Proceedings of the Conference on Decision and Control. 632--637","author":"Bemporad A.","key":"e_1_2_1_6_1","unstructured":"Bemporad , A. , Borrelli , F. , and Morari , M . 2000. Explicit solution of LP-based model predictive control . In Proceedings of the Conference on Decision and Control. 632--637 . Bemporad, A., Borrelli, F., and Morari, M. 2000. Explicit solution of LP-based model predictive control. In Proceedings of the Conference on Decision and Control. 632--637."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00174-1"},{"volume-title":"Proceedings of the American Control Conference. 4717--4722","author":"Borrelli F.","key":"e_1_2_1_8_1","unstructured":"Borrelli , F. , Baotic , M. , Bemporad , A. , and Morari , M . 2003. An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems . In Proceedings of the American Control Conference. 4717--4722 . Borrelli, F., Baotic, M., Bemporad, A., and Morari, M. 2003. An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems. In Proceedings of the American Control Conference. 4717--4722."},{"key":"e_1_2_1_9_1","unstructured":"Camacho E. F. and Bordons C. 2004. Model Predictive Control. Vol. 2 Springer.  Camacho E. F. and Bordons C. 2004. Model Predictive Control. Vol. 2 Springer."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.renene.2003.07.002"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2012.72"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.32"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Clark R. Jensen E. D Kanevsky A. Maurer J. Wallace P. Wheeler T. Zhang Y. Wells D. Lawrence T. and Hurley P. 1999. An adaptive distributed airborne tracking sysem. Parallel Distri. Proces. 353--362.   Clark R. Jensen E. D Kanevsky A. Maurer J. Wallace P. Wheeler T. Zhang Y. Wells D. Lawrence T. and Hurley P. 1999. An adaptive distributed airborne tracking sysem. Parallel Distri. Proces. 353--362.","DOI":"10.1007\/BFb0097917"},{"volume-title":"Advances in Model-Based Predictive Control","author":"Clarke D. W.","key":"e_1_2_1_14_1","unstructured":"Clarke , D. W. 1994a. Advances in Model-Based Predictive Control . Vol. 4 , Chapter Neural Network Based Predictive Control . Clarke, D. W. 1994a. Advances in Model-Based Predictive Control. Vol. 4, Chapter Neural Network Based Predictive Control."},{"volume-title":"Advances in Model-Based Predictive Control","author":"Clarke D. W.","key":"e_1_2_1_15_1","unstructured":"Clarke , D. W. 1994b. Advances in Model-Based Predictive Control . Vol. 4 , Chapter Fuzzy Predictive Control with Adaptive Gain . Clarke, D. W. 1994b. Advances in Model-Based Predictive Control. Vol. 4, Chapter Fuzzy Predictive Control with Adaptive Gain."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(87)90087-2"},{"key":"e_1_2_1_17_1","unstructured":"Crop I. 2004. Intel PXA270 processor electrical mechanical and thermal specification. http:\/\/www.intel.com\/design\/embeddedpca\/products\/pxa270\/techdocs.htm.  Crop I. 2004. Intel PXA270 processor electrical mechanical and thermal specification. http:\/\/www.intel.com\/design\/embeddedpca\/products\/pxa270\/techdocs.htm."},{"volume-title":"Proceedings of the Joint Automatic Control Conference. 13--15","author":"Cutler C.","key":"e_1_2_1_18_1","unstructured":"Cutler , C. and Ramaker , B. L . 1980. Dynamic matrix control\u2014a computer control algorithm . In Proceedings of the Joint Automatic Control Conference. 13--15 . Cutler, C. and Ramaker, B. L. 1980. Dynamic matrix control\u2014a computer control algorithm. In Proceedings of the Joint Automatic Control Conference. 13--15."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_32"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127777.1127831"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2010.05.012"},{"key":"e_1_2_1_22_1","unstructured":"Giebel G. Brownsword R. Kariniotakis G. Denhard M. and Draxl C. 2011. The state-of-the-art in short-term prediction of wind power: A literature overview. Tech. rep. ANEMOS. plus.  Giebel G. Brownsword R. Kariniotakis G. Denhard M. and Draxl C. 2011. The state-of-the-art in short-term prediction of wind power: A literature overview. Tech. rep. ANEMOS. plus."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_30"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1098918.1098974"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1165573.1165616"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1080\/14786450701265371"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/280756.280894"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1274858.1274870"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005686.1005714"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.151"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/WIRELESSVITAE.2009.5172415"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2012.38"},{"key":"e_1_2_1_33_1","first-page":"121","article-title":"Multi-parametric toolbox (MPT)","volume":"6","author":"Kvasnica M.","year":"2004","unstructured":"Kvasnica , M. , Grieder , P. , Baoti\u0107 , M , and Morari ., M. 2004 . Multi-parametric toolbox (MPT) . Hybrid Syst. Comput. Control 6 , 2, 121 -- 124 . Kvasnica, M., Grieder, P., Baoti\u0107, M, and Morari., M. 2004. Multi-parametric toolbox (MPT). Hybrid Syst. Comput. Control 6, 2, 121--124.","journal-title":"Hybrid Syst. Comput. Control"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1840845.1840912"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403432"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630113"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/GREENCOMP.2010.5598280"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9027-0"},{"volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe. 773--778","author":"Moser C.","key":"e_1_2_1_40_1","unstructured":"Moser , C. , Thiele , L. , Brunelli , D. , and Benini , L . 2007b. Adaptive power management in energy harvesting systems . In Proceedings of the Conference on Design, Automation and Test in Europe. 773--778 . Moser, C., Thiele, L., Brunelli, D., and Benini, L. 2007b. Adaptive power management in energy harvesting systems. In Proceedings of the Conference on Design, Automation and Test in Europe. 773--778."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403431"},{"key":"e_1_2_1_42_1","unstructured":"Newman J. S. 2004. Fortran programs for simulation of electrochemical systems dualfoil program for lithium battery simulation. www.cchem.berkeley.edu\/jsngrp\/fortran.html.  Newman J. S. 2004. Fortran programs for simulation of electrochemical systems dualfoil program for lithium battery simulation. www.cchem.berkeley.edu\/jsngrp\/fortran.html."},{"volume-title":"Proceedings of the Conference on Wireless Communication. 6--10","author":"Piorno J. R.","key":"e_1_2_1_43_1","unstructured":"Piorno , J. R. , Bergonzini , C. , Atienza , D. , and Rosing , T. S . 2009. Prediction and management in energy harvested wireless sensor nodes . In Proceedings of the Conference on Wireless Communication. 6--10 . Piorno, J. R., Bergonzini, C., Atienza, D., and Rosing, T. S. 2009. Prediction and management in energy harvested wireless sensor nodes. In Proceedings of the Conference on Wireless Communication. 6--10."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-006-0002-0"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2010941"},{"volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe. 1518--1523","author":"Ravinagarajan A.","key":"e_1_2_1_46_1","unstructured":"Ravinagarajan , A. , Dondi , D. , and Rosing , T. S . 2010. DVFS based task scheduling in a harvesting WSN for Structural Health Monitoring . In Proceedings of the Conference on Design, Automation and Test in Europe. 1518--1523 . Ravinagarajan, A., Dondi, D., and Rosing, T. S. 2010. DVFS based task scheduling in a harvesting WSN for Structural Health Monitoring. In Proceedings of the Conference on Design, Automation and Test in Europe. 1518--1523."},{"key":"e_1_2_1_47_1","unstructured":"Richalet J. 1993. Pratique de la commande pr\u00e9dictive. Hermes.  Richalet J. 1993. Pratique de la commande pr\u00e9dictive. Hermes."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(78)90001-8"},{"key":"e_1_2_1_49_1","first-page":"1","article-title":"Power sources for wireless sensor networks","volume":"42","author":"Roundy S.","year":"2004","unstructured":"Roundy , S. , Steingart , D. , Frechette , L. , Wright , P. , and Rabaey , J. 2004 . Power sources for wireless sensor networks . Wirel. Sensor Netw. 42 , 5, 1 -- 17 . Roundy, S., Steingart, D., Frechette, L., Wright, P., and Rabaey, J. 2004. Power sources for wireless sensor networks. Wirel. Sensor Netw. 42, 5, 1--17.","journal-title":"Wirel. Sensor Netw."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/1233760.1233769"},{"key":"e_1_2_1_51_1","unstructured":"Seborg D. E. Edgar T. F. and Mellichamp D. A. 2007. Process Dynamics & Control. Vol. 2 Wiley-India Chapter Feedforward and Ratio Control.  Seborg D. E. Edgar T. F. and Mellichamp D. A. 2007. Process Dynamics & Control. Vol. 2 Wiley-India Chapter Feedforward and Ratio Control."},{"volume-title":"Proceedings of the Conference on Networked Sensing Systems. 16--23","author":"Steck J. B.","key":"e_1_2_1_52_1","unstructured":"Steck , J. B. and Rosing , T. S . 2009. Adapting task utility in externally triggered energy harvesting wireless sensing systems . In Proceedings of the Conference on Networked Sensing Systems. 16--23 . Steck, J. B. and Rosing, T. S. 2009. Adapting task utility in externally triggered energy harvesting wireless sensing systems. In Proceedings of the Conference on Networked Sensing Systems. 16--23."},{"volume-title":"Proceedings of the Workshop on Power Aware Computing and Systems (HotPower).","author":"Stewart C.","key":"e_1_2_1_53_1","unstructured":"Stewart , C. and Shen , K . 2009. Some joules are more precious than others: Managing renewable energy in the datacenter . In Proceedings of the Workshop on Power Aware Computing and Systems (HotPower). Stewart, C. and Shen, K. 2009. Some joules are more precious than others: Managing renewable energy in the datacenter. In Proceedings of the Workshop on Power Aware Computing and Systems (HotPower)."},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of the Symposium on Modeling and Optimization in Mobile, ad Hoc, and Wireless Networks. 125--134","author":"Susu A. E.","year":"2008","unstructured":"Susu , A. E. , Acquaviva , A. , Atienza , D. , and De Micheli , G. 2008 . Stochastic modeling and analysis for environmentally powered wireless sensor nodes . In Proceedings of the Symposium on Modeling and Optimization in Mobile, ad Hoc, and Wireless Networks. 125--134 . Susu, A. E., Acquaviva, A., Atienza, D., and De Micheli, G. 2008. Stochastic modeling and analysis for environmentally powered wireless sensor nodes. In Proceedings of the Symposium on Modeling and Optimization in Mobile, ad Hoc, and Wireless Networks. 125--134."},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.renene.2009.10.020"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2002.803949"},{"volume-title":"Proceedings of the Symposium on Computers and Communications. 238--243","author":"Voigt T.","key":"e_1_2_1_57_1","unstructured":"Voigt , T. , Dunkels , A. , Alonso , J. , Ritter , H. , and Schiller , J . 2004. Solar-aware clustering in wireless sensor networks . In Proceedings of the Symposium on Computers and Communications. 238--243 . Voigt, T., Dunkels, A., Alonso, J., Ritter, H., and Schiller, J. 2004. Solar-aware clustering in wireless sensor networks. In Proceedings of the Symposium on Computers and Communications. 238--243."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.1051"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1022969.1022973"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECCTD.2009.5275073"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_33"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2536747.2536758","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2536747.2536758","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:42Z","timestamp":1750277682000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2536747.2536758"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":61,"journal-issue":{"issue":"1s","published-print":{"date-parts":[[2013,11]]}},"alternative-id":["10.1145\/2536747.2536758"],"URL":"https:\/\/doi.org\/10.1145\/2536747.2536758","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2013,11]]},"assertion":[{"value":"2011-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-12-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}