{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:16:09Z","timestamp":1759637769027,"version":"3.28.0"},"reference-count":55,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1109\/comsnets.2016.7440015","type":"proceedings-article","created":{"date-parts":[[2016,3,30]],"date-time":"2016-03-30T00:54:20Z","timestamp":1459299260000},"page":"1-8","source":"Crossref","is-referenced-by-count":10,"title":["Three challenges in cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Rahul","family":"Mangharam","sequence":"first","affiliation":[]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[]},{"given":"Madhur","family":"Behl","sequence":"additional","affiliation":[]},{"given":"Kuk","family":"Jang","sequence":"additional","affiliation":[]},{"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[]},{"given":"Zhihao","family":"Jiang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2821650.2821664"},{"key":"ref38","article-title":"Model predictive climate control of a swiss office building: Implementation, results, and cost-benefit analysis","author":"sturzenegger","year":"2015","journal-title":"Control Systems Technology IEEE Transactions on"},{"journal-title":"Charles Goldman Coordination of energy efficiency and demand response","year":"2010","key":"ref33"},{"journal-title":"PJM Interconnection Michael J Kormos Pjm response to consumer reports on 2014 winter pricing","year":"2014","key":"ref32"},{"journal-title":"NOAA National Centers for Environmental Information State of the climate Global analysis for august 2015","year":"0","key":"ref31"},{"key":"ref30","first-page":"841","article-title":"Climate change impacts in the united states: the third national climate assessment","author":"melillo","year":"2014","journal-title":"US Global Change Research Program"},{"key":"ref37","first-page":"319","volume":"33","author":"crawley","year":"2001","journal-title":"Energyplus creating a new-generation building energy simulation program"},{"journal-title":"Demand response for commercial & industrial markets market players and dynamics key technologies competitive overview and global market forecasts","year":"2015","key":"ref36"},{"journal-title":"2014 demand response operations markets activity report","year":"2014","key":"ref35"},{"journal-title":"Assessment of Demand Response and Advanced Metering","year":"2012","key":"ref34"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-8167.2006.00463.x"},{"key":"ref27","first-page":"33","article-title":"Toward patient safety in closed-loop medical device systems","author":"david","year":"2010","journal-title":"ACM\/IEEE International Conference on Cyber-Physical Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.hrthm.2011.10.004"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1001\/jama.286.7.793"},{"journal-title":"List of Device Recalls U S Food and Drug Admin","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A Tutorial on Uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods in System Design"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.2011.6090051"},{"key":"ref21","first-page":"239","article-title":"Real-Time Heart Model for Implantable Cardiac Device Validation and Verification","author":"zhihao","year":"2010","journal-title":"Proceedings of the 22nd Euromicro Conference on Real-Time Systems (ECRTS)"},{"journal-title":"Matlab R2011a Documentation Stateflow","year":"0","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.28"},{"journal-title":"Virtual Heart Model website","year":"0","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.25"},{"key":"ref50","article-title":"robust architectures for embedded wireless network control and actuation","author":"pajic","year":"2011","journal-title":"ACM Trans Embedded Comput Syst (TECS)"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2163864"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161347"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2013.130415"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184678"},{"key":"ref52","first-page":"353","article-title":"Distributed Control for Cyber-Physical Systems","volume":"93","author":"mangharam","year":"2013","journal-title":"Journal of the Indian Institute of Science"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2005.10.006"},{"key":"ref11","first-page":"2","article-title":"Testing Implantable Medical Devices","author":"cortner","year":"2003","journal-title":"Global Healthcare Med Device Manuf Technol"},{"journal-title":"Predicting hourly building energy use The great energy predictor shootout—overview and discussion of results Technical report Am Society of Heating","year":"1994","author":"kreider","key":"ref40"},{"journal-title":"Medtronic ViP-II Virtual Interactive Patient User's Manual Software v1 5","year":"2006","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-540-69149-5_18","author":"rushby","year":"2008","journal-title":"Verified software Theories tools experiments chapter Automated Test Generation and Verified Software"},{"journal-title":"Personal communication with Paul L Jones Senior Systems\/Software Engineer","year":"2010","key":"ref14"},{"key":"ref15","article-title":"Cyber-Physical Modeling of Implantable Cardiac Medical Devices","author":"jiang","year":"2011","journal-title":"Proceeding of IEEE"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_14"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"journal-title":"Autosar","year":"0","key":"ref4"},{"journal-title":"Killed by Code Software Transparency in Implantable Medical Devices","year":"2010","author":"sandler","key":"ref3"},{"key":"ref6","first-page":"139","article-title":"High-Confidence Medical Device Software and Systems","volume":"39","author":"lee","year":"2006","journal-title":"IEEE Computer"},{"year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16561-0_33"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_44"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2022094"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/s10009-003-0132-7","article-title":"Formal Specifications and Analysis of the Computer-Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System","volume":"5","author":"alur","year":"2004","journal-title":"Intl Journal on Software Tools for Technology Transfer (STTT)"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2163873"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.43"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2009.5234106"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347073"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/37.898794"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2005.849717"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.41"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887288"}],"event":{"name":"2016 8th International Conference on Communication Systems and Networks (COMSNETS)","start":{"date-parts":[[2016,1,5]]},"location":"Bangalore, India","end":{"date-parts":[[2016,1,10]]}},"container-title":["2016 8th International Conference on Communication Systems and Networks (COMSNETS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7435615\/7439923\/7440015.pdf?arnumber=7440015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T02:44:33Z","timestamp":1567737873000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7440015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/comsnets.2016.7440015","relation":{},"subject":[],"published":{"date-parts":[[2016,1]]}}}