{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:16:40Z","timestamp":1782753400042,"version":"3.54.5"},"reference-count":278,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Systems Journal"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/jsyst.2014.2322503","type":"journal-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T18:37:22Z","timestamp":1405103842000},"page":"350-365","source":"Crossref","is-referenced-by-count":591,"title":["Design Techniques and Applications of Cyberphysical Systems: A Survey"],"prefix":"10.1109","volume":"9","author":[{"given":"Siddhartha Kumar","family":"Khaitan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James D.","family":"McCalley","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref275","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75462-8_6"},{"key":"ref274","first-page":"47","article-title":"Acme: Architectural description of component-based systems","volume":"68","author":"garlan","year":"2000","journal-title":"Foundations of Component-Based Systems"},{"key":"ref277","article-title":"EnCache: Improving cache energy efficiency using a software-controlled profiling cache","author":"mittal","year":"0","journal-title":"Proc IEEE EIT"},{"key":"ref276","doi-asserted-by":"publisher","DOI":"10.1504\/IJHPSA.2012.050990"},{"key":"ref271","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"ref270","doi-asserted-by":"crossref","DOI":"10.21236\/ADA538760","author":"lee","year":"2009","journal-title":"Finite state machines and modal models in ptolemy II"},{"key":"ref170","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837463"},{"key":"ref273","first-page":"447","article-title":"From timed to hybrid systems","author":"maler","year":"0","journal-title":"Proceedings of Real-Time Theory in Practice"},{"key":"ref272","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"ref172","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/JPROC.2011.2165270","article-title":"Challenges and research directions in medical cyber-physical systems","volume":"100","author":"lee","year":"2012","journal-title":"Proc IEEE"},{"key":"ref171","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.67"},{"key":"ref174","doi-asserted-by":"publisher","DOI":"10.1109\/ITAB.2010.5687664"},{"key":"ref173","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161241"},{"key":"ref176","first-page":"308","article-title":"Specification, analyzing challenges and approaches for Cyber-Physical Systems (CPS)","volume":"18","author":"wan","year":"2010","journal-title":"Eng Lett"},{"key":"ref175","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2009.21"},{"key":"ref178","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795213"},{"key":"ref177","doi-asserted-by":"publisher","DOI":"10.1145\/2331147.2331159"},{"key":"ref168","doi-asserted-by":"publisher","DOI":"10.1109\/ICSensT.2012.6461796"},{"key":"ref169","first-page":"194","article-title":"Plug-and-play in the operating room of the future","volume":"39","author":"goldman","year":"2005","journal-title":"Biomed Instrum Technol"},{"key":"ref39","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-540-89437-7_5","article-title":"Design of complex cyber physical systems with formalized architectural patterns","author":"sha","year":"2008","journal-title":"Software-Intensive Systems and New Computing Paradigms"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457246"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SISY.2010.5647314"},{"key":"ref32","first-page":"12","article-title":"A cyber-physical system design approach","author":"sveda","year":"0","journal-title":"Proc of ICON"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SISY.2010.5647308"},{"key":"ref267","doi-asserted-by":"crossref","first-page":"1287","DOI":"10.1109\/JPROC.2012.2189792","article-title":"Cyber-physical systems: A perspective at the centennial","volume":"100","author":"kim","year":"2012","journal-title":"Proc IEEE"},{"key":"ref37","first-page":"289","article-title":"Logic programming foundations of cyber-physical systems","volume":"7","author":"saeedloei","year":"0","journal-title":"Proc Tech Commun 26th Int Conf Logic Programm"},{"key":"ref268","first-page":"161","article-title":"Cyber-physical systems","author":"baheti","year":"2011","journal-title":"The Impact of Control Technology"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2011.6166223"},{"key":"ref269","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","article-title":"Operational semantics of hybrid systems","author":"lee","year":"2005","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1988051.1988066"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24106-2_50"},{"key":"ref181","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.9"},{"key":"ref180","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.11"},{"key":"ref185","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795211"},{"key":"ref184","doi-asserted-by":"publisher","DOI":"10.1061\/41109(373)53"},{"key":"ref183","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/j.comcom.2010.03.034","article-title":"OSGi-based services architecture for Cyber-Physical Home Control Systems","volume":"34","author":"lai","year":"2011","journal-title":"Comput Commun"},{"key":"ref182","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837464"},{"key":"ref189","doi-asserted-by":"publisher","DOI":"10.1145\/2000367.2000375"},{"key":"ref188","doi-asserted-by":"publisher","DOI":"10.1109\/ISGT-Asia.2011.6167084"},{"key":"ref187","doi-asserted-by":"publisher","DOI":"10.1145\/2030066.2030068"},{"key":"ref186","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2011.6069711"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ESLsyn.2011.5952295"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2304736.2304759"},{"key":"ref179","author":"venkatasubramanian","year":"2011","journal-title":"Cyber Physical Security Solutions for Pervasive Health Monitoring Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1366283.1366309"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161529"},{"key":"ref22","article-title":"A software architecture for next-generation cyber-physical systems","author":"west","year":"2006","journal-title":"Position Paper for NSF Workshop on Cyber-Physical Systems"},{"key":"ref21","first-page":"21","article-title":"A time-centric model for cyber-physical applications","author":"eidson","year":"0","journal-title":"Proc ACES-MB"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.17"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/978-3-642-29320-7_13","article-title":"A distributed logic for networked cyber-physical systems","author":"kim","year":"2012","journal-title":"Fundamentals of Software Engineering"},{"key":"ref278","author":"govindarasu","year":"2012","journal-title":"Cyber-Physical Systems Security for Smart Grid"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC.2010.15"},{"key":"ref50","first-page":"43","article-title":"Multi-domain modeling of cyber-physical systems using architectural views","author":"bhave","year":"0","journal-title":"Proc AVICPS"},{"key":"ref51","first-page":"9","article-title":"An adaptive discrete event model for cyber-physical system","author":"yue","year":"0","journal-title":"Proc of the Analytic Virtual Integration of Cyber- Physical Systems Workshop"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.21"},{"key":"ref153","first-page":"85","article-title":"Cyber-physical control over wireless sensor and actuator networks with packet loss","author":"xia","year":"2010","journal-title":"Wireless Networking Based Control"},{"key":"ref156","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2008.96"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549473"},{"key":"ref150","doi-asserted-by":"crossref","first-page":"3179","DOI":"10.3390\/s7123179","article-title":"Fuzzy logic control based QoS management in wireless sensor\/actuator networks","volume":"7","author":"xia","year":"2007","journal-title":"SENSORS"},{"key":"ref152","first-page":"452","article-title":"Guaranteed QoS with MIMO systems for scalable low motion video streaming over scarce resource wireless channels","author":"gupta","year":"0","journal-title":"Proc Int Conf Inf Process"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2013.160"},{"key":"ref146","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.101"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1155\/2012\/242654"},{"key":"ref148","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.Symposia.2008.84"},{"key":"ref149","author":"balasubramanian","year":"2010","journal-title":"A Model-Driven QoS Provisioning Engine for Cyber Physical Systems"},{"key":"ref59","author":"saeedloei","year":"2011","journal-title":"Modeling and verification of real-time and cyber-physical systems"},{"key":"ref58","author":"cofer","year":"2011","journal-title":"Complexity-reducing design patterns for cyber-physical systems"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722188"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795198"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.11"},{"key":"ref54","first-page":"23","article-title":"An end-to-end integration framework for automotive cyber-physical systems using sysweaver","author":"bhatia","year":"0","journal-title":"Proc AVICPS"},{"key":"ref53","first-page":"1","article-title":"A model-based design approach for wireless sensor-actuator networks","author":"rowe","year":"0","journal-title":"Proc AVICPS"},{"key":"ref52","first-page":"79","article-title":"Service-oriented middleware architectures for cyber-physical systems","volume":"12","author":"hoang","year":"2012","journal-title":"Int J Comput Sci Netw Security"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2009.70"},{"key":"ref167","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2012.54"},{"key":"ref166","doi-asserted-by":"publisher","DOI":"10.1109\/NBiS.2012.106"},{"key":"ref165","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530762"},{"key":"ref164","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2011.6162367"},{"key":"ref163","doi-asserted-by":"publisher","DOI":"10.1109\/UCC.2011.59"},{"key":"ref162","doi-asserted-by":"publisher","DOI":"10.1145\/2184489.2184502"},{"key":"ref161","first-page":"42","article-title":"Adaptive cruise control: Hybrid, distributed, and now formally verified","author":"loos","year":"0","journal-title":"Proc FM"},{"key":"ref160","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020462"},{"key":"ref4","first-page":"19","article-title":"Cyber-physical systems: Concepts, technologies and implementation principles","author":"horv\u00e1th","year":"0","journal-title":"Proc TMCE Symp"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-88735-7_1"},{"key":"ref6","year":"2013","journal-title":"Cyber Physical Systems NSF10515"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"key":"ref159","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOMW.2011.5928899"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/PES.2008.4596708"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2011.6116428"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMM.157-158.747"},{"key":"ref157","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795205"},{"key":"ref158","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2183878"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048026"},{"key":"ref46","article-title":"A semantic framework for reconfiguration of instrumented cyber physical spaces","author":"kim","year":"2008","journal-title":"Workshop Event-Based Semantics CPS Week"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.20"},{"key":"ref48","first-page":"1","article-title":"Model integration and cyber physical systems: A semantics perspective","author":"sztipanovits","year":"0","journal-title":"Proc Int'l Conf Formal Methods"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/967900.968220"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2011.5982785"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.09.009"},{"key":"ref44","article-title":"An architectural approach to the design and analysis of cyber-physical systems","volume":"21","author":"rajhans","year":"2009","journal-title":"Electron Commun EASST"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.52"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.15"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/NESEA.2010.5678065"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1155\/2012\/724846"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2012.6503660"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.36"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2009.62"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.14"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000751"},{"key":"ref79","first-page":"405","article-title":"Cyber physical system: A virtual CPU based mechatronic simulation","author":"phatak","year":"0","journal-title":"Proc IFAC Mechatronics"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1260\/147807705775377294"},{"key":"ref62","doi-asserted-by":"crossref","DOI":"10.21236\/ADA552217","author":"willcox","year":"2011","journal-title":"Stochastic process decision methods for complex-cyber-physical systems"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02734-5_7"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.10"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_35"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-012-0376-0"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/2508443.2508452"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35377-2_39"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35377-2_10"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_30"},{"key":"ref197","doi-asserted-by":"publisher","DOI":"10.1145\/1460412.1460445"},{"key":"ref198","doi-asserted-by":"publisher","DOI":"10.1145\/1620545.1620574"},{"key":"ref199","first-page":"832","article-title":"Multi-screen cyber-physical video game: An integration with body-area inertial sensor networks","author":"wu","year":"0","journal-title":"Proc IEEE PerCom Workshops"},{"key":"ref193","first-page":"1","article-title":"Networked loads in the distribution grid","author":"wang","year":"0","journal-title":"Proc APSIPA ASC"},{"key":"ref194","doi-asserted-by":"publisher","DOI":"10.1109\/IAS.2012.6374038"},{"key":"ref195","doi-asserted-by":"publisher","DOI":"10.1145\/1968613.1968745"},{"key":"ref196","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018527"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.25"},{"key":"ref190","doi-asserted-by":"publisher","DOI":"10.1002\/dac.1382"},{"key":"ref94","first-page":"65","article-title":"Virtual integration of cyber-physical systems by verification","author":"manolios","year":"0","journal-title":"Proc AVICPS"},{"key":"ref191","doi-asserted-by":"publisher","DOI":"10.1109\/NBiS.2012.118"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228484"},{"key":"ref192","doi-asserted-by":"publisher","DOI":"10.1155\/2012\/764186"},{"key":"ref92","first-page":"363","article-title":"Verifying noninterference in a cyber-physical system the advanced electric power grid","author":"sun","year":"0","journal-title":"Proc of QSIC"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795197"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0117-8"},{"key":"ref98","article-title":"Challenges for securing cyber physical systems","author":"cardenas","year":"2009","journal-title":"DHS S&T Workshop on Future Directions in Cyber-physical Systems Security"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2010.36"},{"key":"ref96","first-page":"37","article-title":"Verification of information flow properties in cyber-physical systems","author":"mcmillin","year":"0","journal-title":"Proc Workshop FDSCPS"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.25"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063502"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.5772\/21451"},{"key":"ref84","article-title":"Modeling and verifying intelligent automotive cyber-physical systems","author":"jha","year":"0","journal-title":"Proc NIST\/NSF\/USCAR Workshop Develop Dependable Secure Autom Cyber-Phys Syst Compon"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCYB.2010.5491313"},{"key":"ref80","article-title":"An integrated simulation environment for cyber-physical system co-simulation","author":"quan","year":"2008","journal-title":"Proc Nat Workshop High-Confidence Automotive Cyber-Phys Syst"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2009.5380000"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795196"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1145\/2185505.2185519"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/1460412.1460435"},{"key":"ref200","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791289"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161428"},{"key":"ref100","first-page":"347","article-title":"Security challenges in next generation cyber physical systems","author":"anand","year":"0","journal-title":"Beyond SCADA Netw Embedded Control for Cyber Phys Syst"},{"key":"ref209","doi-asserted-by":"publisher","DOI":"10.1109\/NOCS.2012.32"},{"key":"ref203","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.52"},{"key":"ref204","doi-asserted-by":"publisher","DOI":"10.1145\/2331147.2331167"},{"key":"ref201","doi-asserted-by":"publisher","DOI":"10.1109\/ASONAM.2011.118"},{"key":"ref202","doi-asserted-by":"publisher","DOI":"10.1109\/ISM.2010.39"},{"key":"ref207","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763202"},{"key":"ref208","doi-asserted-by":"publisher","DOI":"10.1166\/jolpe.2011.1121"},{"key":"ref205","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.28"},{"key":"ref206","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2011.35"},{"key":"ref211","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2111270"},{"key":"ref210","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2012.6379021"},{"key":"ref212","doi-asserted-by":"publisher","DOI":"10.1145\/2103380.2103384"},{"key":"ref213","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23447-7_9"},{"key":"ref214","doi-asserted-by":"publisher","DOI":"10.1145\/1629435.1629498"},{"key":"ref215","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090912"},{"key":"ref216","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795218"},{"key":"ref217","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161244"},{"key":"ref218","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020611"},{"key":"ref219","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795220"},{"key":"ref220","doi-asserted-by":"publisher","DOI":"10.1109\/GREENCOMP.2010.5598306"},{"key":"ref222","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2010.5461933"},{"key":"ref221","doi-asserted-by":"publisher","DOI":"10.1109\/IGCC.2012.6322256"},{"key":"ref229","doi-asserted-by":"publisher","DOI":"10.1109\/PSCE.2009.4840183"},{"key":"ref228","doi-asserted-by":"publisher","DOI":"10.1109\/ISGT-LA.2011.6083194"},{"key":"ref227","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2010.2059212"},{"key":"ref226","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOMW.2011.5928946"},{"key":"ref225","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165329"},{"key":"ref224","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034829"},{"key":"ref223","first-page":"14","article-title":"Information-acquisition-as-a-service for cyber-physical cloud computing","author":"craciunas","year":"0","journal-title":"Proc USENIX Conf Hot Topics Cloud Comput"},{"key":"ref127","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2012.06.015"},{"key":"ref126","first-page":"47","article-title":"Towards a unifying security framework for cyber-physical systems","author":"zhu","year":"0","journal-title":"Proc Workshop Found Dependable Secure Cyber-Phys Syst"},{"key":"ref125","first-page":"18","article-title":"Resource allocation problems in networked cyber physical systems in adversarial scenarios","author":"bhattacharya","year":"0","journal-title":"Proc Workshop FDSCPS"},{"key":"ref124","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2009.5235290"},{"key":"ref129","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2011.2163807"},{"key":"ref128","doi-asserted-by":"publisher","DOI":"10.1109\/TDC.2010.5484417"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.62"},{"key":"ref133","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2008.377"},{"key":"ref134","doi-asserted-by":"publisher","DOI":"10.1109\/WISES.2008.4623298"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1109\/ISRCS.2009.5251361"},{"key":"ref132","doi-asserted-by":"publisher","DOI":"10.1109\/ISRCS.2009.5251370"},{"key":"ref232","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27142-7_3"},{"key":"ref233","article-title":"Critical Utility Infrastructural Resilience","author":"dondossola","year":"2012","journal-title":"arXiv preprint arXiv 1211 5736"},{"key":"ref230","first-page":"1","article-title":"Cyber physical power systems: Architecture, implementation techniques and challenges","volume":"34","author":"zhao","year":"2010","journal-title":"Dianli Xitong Zidonghue\/Automat Electric Power Syst"},{"key":"ref231","doi-asserted-by":"publisher","DOI":"10.1145\/2405146.2405147"},{"key":"ref239","first-page":"48","article-title":"Toward ubiquitous video-based cyber-physical systems","author":"xing","year":"0","journal-title":"Proc IEEE SMC"},{"key":"ref238","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2008.48"},{"key":"ref235","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165269"},{"key":"ref234","doi-asserted-by":"publisher","DOI":"10.1109\/PESGM.2014.6939779"},{"key":"ref237","doi-asserted-by":"publisher","DOI":"10.1109\/EUC.2010.30"},{"key":"ref236","first-page":"302786-1","article-title":"Visiting power laws in cyber-physical networking systems","volume":"2012","author":"li","year":"2011","journal-title":"Math Prob Eng"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038663"},{"key":"ref135","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2011.5982650"},{"key":"ref138","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161031"},{"key":"ref137","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2012.18"},{"key":"ref139","doi-asserted-by":"publisher","DOI":"10.1145\/1314483.1314484"},{"key":"ref140","doi-asserted-by":"publisher","DOI":"10.1109\/PES.2010.5590189"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2010.63"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2011.88"},{"key":"ref143","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15651-9_21"},{"key":"ref144","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.45"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.10.001"},{"key":"ref145","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.34"},{"key":"ref1","first-page":"1","article-title":"Science and engineering of cyber-physical systems (Dagstuhl Seminar 11441)","volume":"1","author":"giese","year":"2012","journal-title":"Dagstuhl report"},{"key":"ref241","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2012.120708"},{"key":"ref242","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795207"},{"key":"ref243","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2011.03.003"},{"key":"ref244","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2009.13"},{"key":"ref240","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC.2009.26"},{"key":"ref248","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.22"},{"key":"ref247","doi-asserted-by":"crossref","first-page":"2157","DOI":"10.3390\/s7102157","article-title":"Wireless sensor\/actuator network design for mobile control applications","volume":"7","author":"xia","year":"2007","journal-title":"SENSORS"},{"key":"ref246","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5160423"},{"key":"ref245","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2012.62"},{"key":"ref249","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2012.74"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1109\/EUC.2010.79"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972825.52"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-011-0051-5"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1109\/ISGTEurope.2011.6162766"},{"key":"ref105","first-page":"1","article-title":"Securing physical processes against cyber attacks in cyber-physical systems","author":"gaddam","year":"0","journal-title":"Proc Nat Workshop Res High-Confidence Transp Cyber-Phys Systems Autom Aviation Rail"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165689"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795210"},{"key":"ref102","first-page":"1","article-title":"Addressing safety and security contradictions in cyber-physical systems","author":"sun","year":"0","journal-title":"Proc CPSSW"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijcip.2012.08.002"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2011.5982786"},{"key":"ref110","first-page":"25","article-title":"Enhancing cyber-physical security through data patterns","author":"chow","year":"0","journal-title":"Proc FDSCPS"},{"key":"ref250","doi-asserted-by":"publisher","DOI":"10.1109\/GreenCom-CPSCom.2010.75"},{"key":"ref251","doi-asserted-by":"publisher","DOI":"10.1145\/1366283.1366295"},{"key":"ref254","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988010"},{"key":"ref255","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)AS.1943-5525.0000128"},{"key":"ref252","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161243"},{"key":"ref253","first-page":"1","article-title":"High assurance aerospace CPS & implications for the automotive industry","author":"lintelman","year":"0","journal-title":"Proc Nat Workshop High Confidence Autom CPS"},{"key":"ref257","doi-asserted-by":"publisher","DOI":"10.1145\/2009916.2010156"},{"key":"ref256","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.24"},{"key":"ref259","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2009.41"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/INDUSCON.2010.5739891"},{"key":"ref258","doi-asserted-by":"publisher","DOI":"10.1504\/IJSNET.2010.031847"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2009.82"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2010.13"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795202"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1366283.1366284"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/978-3-540-89437-7_6","article-title":"Cyber-physical systems and events","author":"talcott","year":"2008","journal-title":"Software-Intensive Systems and New Computing Paradigms"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2008.2002298"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166772"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.79"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.125"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/978-3-642-18308-9_9","article-title":"A semantic agent framework for cyber-physical systems","author":"lin","year":"2011","journal-title":"Semantic Agent Systems"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24864-1_12"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2008.16"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.40"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160641"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.Workshops.2008.84"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2011.6083939"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2011.6102325"},{"key":"ref122","first-page":"1","article-title":"On malicious data attacks on power system state estimation","author":"kosut","year":"0","journal-title":"Proc UPEC"},{"key":"ref123","first-page":"1","article-title":"Restricted authentication and encryption for cyber-physical systems","author":"kirkpatrick","year":"0","journal-title":"Proc DHS CPS Workshop Restricted Authentication Encrypt Cyber Phys Syst"},{"key":"ref260","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.14"},{"key":"ref261","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC.2011.104"},{"key":"ref262","doi-asserted-by":"publisher","DOI":"10.1109\/NAPS.2009.5484019"},{"key":"ref263","doi-asserted-by":"publisher","DOI":"10.1007\/s13174-010-0004-9"},{"key":"ref264","first-page":"209","article-title":"Multi-view modeling and pragmatics in 2020—Position paper on designing complex cyber-physical systems","author":"von hanxleden","year":"0","journal-title":"Proc Int Monterey Workshop Develop Oper Manage Large-Scale Complex IT Syst"},{"key":"ref265","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2050377"},{"key":"ref266","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/7112232\/06853346.pdf?arnumber=6853346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:00:49Z","timestamp":1642003249000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6853346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":278,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2014.2322503","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"value":"1932-8184","type":"print"},{"value":"1937-9234","type":"electronic"},{"value":"2373-7816","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6]]}}}