{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:34:02Z","timestamp":1725662042820},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/emsoft.2015.7318269","type":"proceedings-article","created":{"date-parts":[[2015,11,9]],"date-time":"2015-11-09T17:52:50Z","timestamp":1447091570000},"page":"137-146","source":"Crossref","is-referenced-by-count":1,"title":["Scalable scheduling of energy control systems"],"prefix":"10.1109","author":[{"given":"Truong X.","family":"Nghiem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Mangharam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/9.863598"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_22"},{"journal-title":"Convex optimization","year":"2006","author":"boyd","key":"ref14"},{"key":"ref4","first-page":"70","article-title":"Optimal scheduling of smart homes energy consumption with microgrid","author":"di","year":"2011","journal-title":"ENERGY 2011 the First International Conference on Smart Grids Green Communications and IT Energy-aware Technologies"},{"key":"ref3","first-page":"5144","article-title":"Scheduling smart home appliances using mixed integer linear programming","author":"cheong sou","year":"2011","journal-title":"Decision and Control and European Control Conference (CDC-ECC)"},{"key":"ref6","article-title":"Reducing the peak power through real-time scheduling techniques in cyber-physical energy systems","author":"facchinetti","year":"2010","journal-title":"International Workshop on Energy Aware Design and Analysis of Cyber Physical Systems"},{"journal-title":"Real-Time Systems","year":"2000","author":"liu","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6579879"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315252"},{"journal-title":"Understanding PECO's General Service Tariff","article-title":"TRFund Energy Study","year":"2007","key":"ref2"},{"journal-title":"Tea Time in Britain Britain from Above","year":"2008","author":"marr","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"}],"event":{"name":"2015 International Conference on Embedded Software (EMSOFT)","start":{"date-parts":[[2015,10,4]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2015,10,9]]}},"container-title":["2015 International Conference on Embedded Software (EMSOFT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7313572\/7318008\/07318269.pdf?arnumber=7318269","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T20:18:08Z","timestamp":1490386688000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7318269\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/emsoft.2015.7318269","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}