{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:38:55Z","timestamp":1773247135735,"version":"3.50.1"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2013,3,10]],"date-time":"2013-03-10T00:00:00Z","timestamp":1362873600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000148","name":"Division of Electrical, Communications and Cyber Systems","doi-asserted-by":"publisher","award":["ECCS-0841195, ECCS-0845333(CAREER) and CNS-0931576"],"award-info":[{"award-number":["ECCS-0841195, ECCS-0845333(CAREER) and CNS-0931576"]}],"id":[{"id":"10.13039\/100000148","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-08-1-1007, N00014-09-1-1074, and N00014-10-10712(YIP)"],"award-info":[{"award-number":["N00014-08-1-1007, N00014-09-1-1074, and N00014-10-10712(YIP)"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["ECCS-0841195, ECCS-0845333(CAREER) and CNS-0931576"],"award-info":[{"award-number":["ECCS-0841195, ECCS-0845333(CAREER) and CNS-0931576"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2013,3,10]]},"abstract":"<jats:p>This article establishes a novel analytical approach to quantify robustness of scheduling and battery management for battery supported cyber-physical systems. A dynamic schedulability test is introduced to determine whether tasks are schedulable within a finite time window. The test is used to measure robustness of a real-time scheduling algorithm by evaluating the strength of computing time perturbations that break schedulability at runtime. Robustness of battery management is quantified analytically by an adaptive threshold on the state of charge. The adaptive threshold significantly reduces the false alarm rate for battery management algorithms to decide when a battery needs to be replaced.<\/jats:p>","DOI":"10.1145\/2442116.2442119","type":"journal-article","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T12:17:58Z","timestamp":1365509878000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Robustness analysis for battery-supported cyber-physical systems"],"prefix":"10.1145","volume":"12","author":[{"given":"Fumin","family":"Zhang","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Zhenwu","family":"Shi","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Shayok","family":"Mukhopadhyay","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]}],"member":"320","published-online":{"date-parts":[[2013,4,8]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1261839"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpowsour.2003.12.001"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.22"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 8th IEEE Workshop on Real-Time Operating Systems and Software. 127--132","author":"Audsley N. C."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2005.03.027"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 9th Euromicro Workshop on Real-Time Systems.","author":"Bate I."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.21"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2003.1214341"},{"key":"e_1_2_1_9_1","unstructured":"Brogan W. L. October 1990. Modern Control Theory. Prentice Hall.   Brogan W. L. October 1990. Modern Control Theory. Prentice Hall."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.990127"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2003.1200240"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.24"},{"key":"e_1_2_1_13_1","unstructured":"Chen C.-T. 1998. Linear System Theory and Design 3rd Ed. Oxford University Press.   Chen C.-T. 1998. Linear System Theory and Design 3rd Ed. Oxford University Press."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.2006.874229"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.2007.914329"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.17"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"e_1_2_1_18_1","unstructured":"Khalil H. 2001. Nonlinear Systems 3rd Ed. Prentice Hall.  Khalil H. 2001. Nonlinear Systems 3rd Ed. Prentice Hall."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.13"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the IEEE Electric Ship Technologies Symposium. 421--427","author":"Knauff M."},{"key":"e_1_2_1_21_1","unstructured":"Krsti\u0107 M. Kanellakopoulos I. and Kokotovi\u0107 P. 1995. Nonlinear and Adaptive Control Design. Wiley-Interscience.   Krsti\u0107 M. Kanellakopoulos I. and Kokotovi\u0107 P. 1995. Nonlinear and Adaptive Control Design. Wiley-Interscience."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 12th IEEE Real-Time Systems Symposium.","author":"Kuo T.-W."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128748"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 10th IEEE Real-Time Systems Symposium. 166--171","author":"Lehoczky J. P."},{"key":"e_1_2_1_26_1","unstructured":"Linden D. and Reddy T. 2002. Handbook of Batteries 3rd Edition Ed. McGraw-Hill.  Linden D. and Reddy T. 2002. Handbook of Batteries 3rd Edition Ed. McGraw-Hill."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_28_1","unstructured":"Pop V. Bergveld H. Danilov D. and Regtien P. 2008. Battery Management Systems: Accurate State-of-Charge Indication for Battery Powered Applications. Springer.   Pop V. Bergveld H. Danilov D. and Regtien P. 2008. Battery Management Systems: Accurate State-of-Charge Indication for Battery Powered Applications. Springer."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/860176.860179"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2003.819320"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1250886"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/827272.829124"},{"key":"e_1_2_1_33_1","unstructured":"Regehr J. Jones M. B. and Stankovic J. A. 2000. Operating systems support for multimedia: The programming model matters. Tech. rep. Microsoft Research Technical Report MSR-TR-2000-89. September.  Regehr J. Jones M. B. and Stankovic J. A. 2000. Operating systems support for multimedia: The programming model matters. Tech. rep. Microsoft Research Technical Report MSR-TR-2000-89. September."},{"key":"e_1_2_1_34_1","volume-title":"Electric Machines: Steady-State Theory and Dynamic Performance. CL-Engineering.","author":"Sarma M.","year":"1997"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2003.814827"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SUTC.2008.85"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.81"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.58"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.52"},{"key":"e_1_2_1_40_1","unstructured":"Zhou K. and Doyle J. 1997. Essentials of Robust Control. Prentice Hall.  Zhou K. and Doyle J. 1997. Essentials of Robust Control. Prentice Hall."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442116.2442119","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442116.2442119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:19:06Z","timestamp":1750234746000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442116.2442119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,10]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,3,10]]}},"alternative-id":["10.1145\/2442116.2442119"],"URL":"https:\/\/doi.org\/10.1145\/2442116.2442119","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,10]]},"assertion":[{"value":"2010-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}