| [1] | Z.Song, Y.Q.Chen, C.R.Sastry, and N.C.Tas, Optimal Observation for Cyber-Physical Systems:A Fisher-Information-Matrix-Based Approach.London:Springer-Verlag, 2009. |
| [2] | R.Rajkumar, "A cyber-physical future, "Proc.IEEEE, vol.100, no.Special Centennial Issue, pp.1309-1312, May 2012. |
| [3] | C.Tricaud and Y.Q.Chen, "Optimal mobile actuator/sensor network motion strategy for parameter estimation in a class of cyber physical systems, "in Proc.2009 American Control Conf., St.Louis, MO, 2009, pp.367-372. |
| [4] | E.A.Lee, "Computing foundations and practice for cyber-physical systems:a preliminary report, "Tech.Rep.UCB/EECS-2007-72, University of California, Berkeley, May 2007. https://www2.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-72.pdf |
| [5] | J.F.He, "Cyber-physical systems, "Commun.China Comput.Feder., vol.6, no.1, pp.25-29, 2010. https://www.cs.purdue.edu/homes/bb/CPSReviewPaper.pdf |
| [6] | G.R.Gonzalez, M.M.Organero, and C.D.Kloos, "Early infrastructure of an internet of things in spaces for learning, "in Proc.8th IEEE Int. Conf.Advanced Learning Technologies, Santander, Cantabria, 2008, pp.381-383. https://www.researchgate.net/profile/Gustavo_Ramirez-Gonzalez/publication/221425065_Early_Infrastructure_of_an_Internet_of_Things_in_Spaces_for_Learning/links/0fcfd50b642350cfa3000000.pdf?inViewer=true&disableCoverPage=true&origin=publication_detail |
| [7] | Y.Sun, B.McMillin, X.Q.Liu, and D.Cape, "Verifying noninterference in a cyber-physical system the advanced electric power grid, "in Proc.7th Int.Conf.Quality Software, Portland, OR, 2007, pp.363-369. http://filpower.mst.edu/media/research/filpower/documents/QSIC2007_081607.pdf |
| [8] | M.D.Ilic, L.Xie, U.A.Khan, and J.M.F.Moura, "Modeling of future cyber-physical energy systems for distributed sensing and control, "IEEE Trans.Syst.Man Cybernet.A:Syst.Human., vol.40, no.4, pp.825-838, Jul.2010. http://www.ece.tamu.edu/~lxie/papers/Final_As_Appear_July2010.pdf |
| [9] | F.M.Zhang, K.Szwaykowska, W.Wolf, and V.Mooney, "Task scheduling for control oriented requirements for cyber-physical systems, in Proc.2008 Real-time Systems Symp., Barcelona, 2008, pp.47-56. http://dl.acm.org/citation.cfm?id=1475690.1475889 |
| [10] | P.L.Tan, J.Shu, and Z.H.Wu, "An architecture for cyber-physical systems, "J.Comput.Res.Dev., vol.47, no.Suppl., pp.312-316, Nov.2010. http://en.cnki.com.cn/Article_en/CJFDTOTAL-JFYZ2010S2065.htm |
| [11] | Y.F.Zhang, C.Gill, and C.Y.Lu, "Reconfigurable real-time middleware for distributed cyber-physical systems with aperiodic events, "in Proc.28th International Conf.Distributed Computing Systems, Beijing, China, 2008, pp.581-588. http://ieeexplore.ieee.org/document/4595930/ |
| [12] | D.Faggioli, M.Bertogna, and F.Checconi, "Sporadic server revisited, in Proc.2010 ACM Symp.Applied Computing, Sierre, Switzerland, 2010, pp.340-345. |
| [13] | Y.Tan, S.Goddard, and L.C.Pérez, "A prototype architecture for cyber-physical systems, "ACM SIGBED Rev., vol.5, no.1, Article No.26, Jan.2008. |
| [14] | T.L.Crenshaw, E.Gunter, C.L.Robinson, L.Sha, and P.R. Kumar, "The simplex reference model:limiting fault-propagation due to unreliable components in cyber-physical system architectures, "in Proc.28th IEEE Int.Real-Time Systems Symp., Tucson, AZ, 2007, pp.400-412. http://web.engr.illinois.edu/~egunter/papers/RTSS2007.pdf |
| [15] | K.J.Lin and M.Panahi, "A real-time service-oriented framework to support sustainable cyber-physical systems, "in Proc.8th IEEE Int. Conf.Industrial Informatics, Osaka, 2010, pp.15-21. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5549473 |
| [16] | F.Pasqualetti, F.Dörfler, and F.Bullo, "Attack detection and identification in cyber-physical systems, "IEEE Trans.Auto.Control, vol.58, no.11, pp.2715-2729, Nov.2013. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6545301 |
| [17] | B.Stasonis, "Introducing the LXI specification-intent & benefits, "in Proc.of International Conference on Distributed Computing Systems (ICDCS), Piscataway, 2011, pp.1-18. |
| [18] | R.A.Thacker, K.R.Jones, C.J.Myers, and H.Zheng, "Automatic abstraction for verification of cyber-physical systems, "in Pro.1st ACM/IEEE Int.Conf.Cyber-Physical Systems, Stockholm, Sweden, 2010, pp.12-21. http://dl.acm.org/citation.cfm?doid=1795194.1795197 |
| [19] | C.Qi and Y.He, "Design of data collection system based on CPS," Comput.Syst.Appl., vol.19, no.6, pp.5-8, Jul.2010. |
| [20] | Y.F.Hu, F.M.Li, and X.H.Liu, "CPS:network system framework and key technologies, "J.Comput.Res.Dev., vol.47, no.Suppl., pp.304-311, Nov.2010. |
| [21] | I.D.Chakeres, C.Danilov, T.R.Henderson, and J.P.Macker, "Connecting MANET multicast, "in Proc.IEEE Military Communications Conf., Orlando, FL, USA, 2007, pp.1-7. |
| [22] | C.Y.Wan, C.Y.Li, R.H.Hwang, and Y.S.Chen, "Global connectivity for mobile IPv6-based ad hoc networks, "in Proc.19th Int.Conf. Advanced Information Networking and Applications, Taipei, China, 2005, pp.807-812. https://www.researchgate.net/profile/Yuh-Shyan_Chen2/publication/224613520_Global_connectivity_for_mobile_IPv6-based_ad_hoc_networks/links/0deec52adbff426476000000.pdf |
| [23] | K.Chandran, S.Raghunathan, S.Venkatesan, and R.Prakash, "A feedback based scheme for improving TCP performance in ad-hoc wireless networks, "in Proc.18th Int.Conf.Distributed Computing System, Amsterdam, 1998, pp.472-479. http://ieeexplore.ieee.org/document/904897/ |
| [24] | A.G.Neonakis and R.Tafazolli, "On the relaying capability of nextgeneration GSM cellular networks, "IEEE Personal Commun., vol.8, no.1, pp.40-47, Feb.2001. http://ieeexplore.ieee.org/document/904898/ |
| [25] | A.N.Zadeh, B.Jabbari, R.Pickhohz, and B.Vojcic, "Self-organizing packet radio ad hoc networks with overlay (SoPRANO), "IEEE Commun. Mag., vol.40, no.6, pp.149-157, Jun.2012. http://acronyms.thefreedictionary.com/Self-Organizing+Packet+Radio+Ad-Hoc+Networks+with+Overlay |
| [26] | W.Hu, C.M.Qiao, S.De, and O.Tonguz, "Integrated cellular and ad hoc relaying systems:iCAR, "IEEE J.Select.Areas Commun., vol.19, no.10, pp.2105-2115, Oct.2001. |
| [27] | B.Andersson, N.Pereira, and E.Tovar, "How a cyber-physical system can efficiently obtain a snapshot of physical information even in the presence of sensor faults, "in Proc.2008 Int.Workshop on Intelligent Solutions in Embedded Systems, Regensburg, 2008, pp.1-10. http://ieeexplore.ieee.org/document/4623298/ |
| [28] | A.A.Cárdenas, S.Amin, and S.Sastry, "Secure control:towards survivable cyber-physical systems, "in Proc.28th Int.Conf.Distributed Computing Systems Workshops, Beijing, China, 2008, pp.495-500. https://chess.eecs.berkeley.edu/pubs/449/SecureControl-v1-1.pdf |
| [29] | C.Singh and A.Sprintson, "Reliability assurance of cyber-physical power systems, "in Proc.2010 IEEE Power and Energy Society General Meeting, Minneapolis, MN, 2010, pp.1-6. http://ieeexplore.ieee.org/document/5590189/ |
| [30] | T.T.Gamage, B.M.McMillin, and T.P.Roth, "Enforcing information flow security properties in cyber-physical systems:a generalized framework based on compensation, "in Proc.2010 IEEE 34th Annual Computer Software and Applications Conf.Workshops, Seoul, 2010, pp.158-163. https://cs.mst.edu/media/academic/cs/images/accreditations/Gamage%202.pdf |
| [31] | Y.Zhang, I.L.Yen, F.B.Bastani, A.T.Tai, and S.Chau, "Optimal adaptive system health monitoring and diagnosis for resource constrained cyber-physical systems, "in Proc.20th Int.Symp.Software Reliability Engineering, Mysuru, Karnataka, 2009, pp.51-60. doi: 10.1109/ISSRE.2009.21 |
| [32] | Q.Y.Zhu, C.Rieger, and T.Basar, "A hierarchical security architecture for cyber-physical systems, "in Proc.20114th Int.Symp.Resilient Control Systems, Boise, ID, 2011, pp.15-20. http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6016081 |
| [33] | W.Jiang, W.H.Guo, and N.Sang, "Periodic real-time message scheduling for confidentiality-aware cyber-physical system in wireless networks, "in Proc.5th Int.Conf.Frontier of Computer Science and Technology, Changchun, China, 2010, pp.355-360. http://ieeexplore.ieee.org/articleDetails.jsp?arnumber=5575936 |
| [34] | F.Mueller, "Challenges for cyber-physical systems:security, timing analysis and soft error protection, "in High-Confidence Software Platforms for Cyber-Physical Systems (HCSP-CPS) Workshop, Alexandria, Virginia, 2006. http://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/cps06.pdf |
| [35] | E.A.Lee, "Cyber physical systems:design challenges, "in Proc. the 11th IEEE Int.Symp.Object and Component-Oriented Real-Time Distributed Computing (ISORC), Orlando, FL, 2008, pp.363-369. |
| [36] | U.Kremer, "Cyber-physical systems:a case for soft real-time", Accessed on:May 1, 2013.[Online].Available:http://www.research.rutgers.edu/~uli/Sarana/documents/CPS-Uli.pdf |
| [37] | H.Al-Omari, F.Wolff, C.Papachristou, and D.McIntyre, "Avoiding delay jitter in cyber-physical systems using one way delay variations model, "in Proc.2009 Int.Conf.Computational Science and Engineering, Vancouver, BC, 2009, pp.295-302. |
| [38] | K.Pereira, "Cyber-Physical Systems", Accessed on:Nov.1, 2013.[Online].Available:http://www.International.rutgers.edu/ |
| [39] | J.H.Shi, J.F.Wan, H.H.Yan, and H.Suo, "A survey of cyber-physical systems, "in Proc.2011 Int.Conf.IEEE Wireless Communications and Signal Processing (WCSP), Nanjing, China, 2011. |
| [40] | T.Tidwell, X.Y.Gao, H.M.Huang, C.Y.Lu, S.Dyke, and C.Gill, "Towards configurable real-time hybrid structural testing:a cyber-physical system approach", in Proc.IEEE Int.Symp. Object Component Service-Oriented Real-Time Distributed Computing, Tokyo, 2009, pp.37-44. http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5231975 |
| [41] | Y.Peng, Q.H.Luo, and Z.Q.Liu, "An automatic evaluation system for IEEE1588 synchronization clock unit, "in Proc.9th Int.Conf. Electronic Measurement & Instruments, Beijing, China, 2009, pp.3-408-3-413. https://www.deepdyve.com/lp/institute-of-electrical-and-electronics-engineers/an-automatic-evaluation-system-for-ieee1588-synchronization-clock-unit-m5T7Cin0uJ |
| [42] | S.Andrei and A.M.K.Cheng, "Optimizing automotive cyber-physical system specifications with multi-event dependencies, "in Proc.10th Int.Symp.Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, 2008, pp.475-479. http://dl.acm.org/citation.cfm?id=1608330 |
| [43] | K.D.Kang and S.H.Son, "Real-time data services for cyber physical systems, "in Proc.28th Int.Conf.Distributed Computing Systems Workshops, Beijing, China, 2008, pp.483-488. https://www.cs.virginia.edu/~son/publications/cpsw08.pdf |
| [44] | Y.Peng, Q.H.Luo, and X.Y.Peng, "Analysis of uncertain data processing methods in networking test framework, "Chin.J.Sci.Instr., vol.31, no.1, pp.229-240, Jan.2010. https://www.researchgate.net/publication/289737963_Analysis_of_uncertain_data_processing_methods_in_networking_test_framework |
| [45] | M.C.Bujorianu, M.L.Bujorianu, and H.Barringer, "A unifying specification logic for cyber-physical systems, "in Proc.17th Mediterranean Conf.Control and Automation, Thessaloniki, 2009, pp.1166-1171. http://wenku.baidu.com/view/fdfec27202768e9951e738f1.html |
| [46] | L.Parolini, N.Tolia, B.Sinopoli, and B.H.Krogh, "A cyber-physical systems approach to energy management in data centers, "in Proc. 1st ACM/IEEE Int.Conf.Cyber-Physical Systems, Stockholm, Sweden, 2010, pp.168-177. http://dl.acm.org/citation.cfm?doid=1795194.1795218 |
| [47] | H.Ahmadi, T.F.Abdelzaher, and I.Gupta, "Congestion control for spatio-temporal data in cyber-physical systems, "in Proc.1st ACM/IEEE Int.Conf.Cyber-Physical Systems, Stockholm, Sweden, 2010, pp.89-98. http://dl.acm.org/citation.cfm?id=1795207 |
| [48] | Z.J.Wang and L.L.Xie, "Cyber-physical systems:a survey, "Acta Automat.Sin., vol.37, no.10, pp.1157-1166, Oct.2011. |
| [49] | K.J.Park, M.K.Yoon, K.Kang, and C.G.Lee, "Scheduling and control co-design under end-to-end response time constraints in cyberphysical systems, "in Proc.2011 IEEE Conf.Computer Communications Workshops, Shanghai, China, 2011, pp.762-767. http://cse.unl.edu/~byrav/INFOCOM2011/workshops/papers/p773-park.pdf |
| [50] | M.Blanke, M.Kinnaert, J.Lunze, and M.Staroswiecki, Diagnosis and Fault-tolerant Control.Berlin:Springer-Verlag, 2003. |
| [51] | F.Pasqualetti, F.Dörfler, and F.Bullo, "Cyber-physical attacks in power networks:models, fundamental limitations and monitor design, in Proc.201150th IEEE Conf.Decision and Control and European Control Conf., Orlando, FL, USA, 2011, pp.2195-2201. http://motion.me.ucsb.edu/pdf/2011i-pdb.pdf |
| [52] | V.K.Singh and R.Jain, "Situation based control for cyber-physical environments, "in Proc.IEEE Military Communications Conf., Boston, MA, 2009, pp.1-7. |
| [53] | J.L.Ny and G.J.Pappas, "Robustness analysis for the certification of digital controller implementations, "in Proc.1st ACM/IEEE Int.Conf. Cyber-Physical Systems, Stockholm, Sweden, 2010, pp.99-108. http://dl.acm.org/citation.cfm?id=1795209&dl=ACM&coll=DL |
| [54] | S.Bak, A.Greer, and S.Mitra, "Hybrid cyberphysical system verification with simplex using discrete abstractions, "in Proc.201016th IEEE Real-Time and Embedded Technology and Applications Symp., Stockholm, 2010, pp.143-152. https://www.researchgate.net/publication/221569270_Hybrid_Cyberphysical_System_Verification_with_Simplex_Using_Discrete_Abstractions |
| [55] | G.Pota, A.Girard, and P.Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems, "Automatica, vol.44, no.10, pp.2508-2516, Oct.2008. http://www.sciencedirect.com/science/article/pii/S0005109808001933 |
| [56] | D.Goswami, R.Schneider, A.Masrur, M.Lukasiewycz, S. Chakraborty, H.Voit, and A.Annaswamy, "Challenges in automotive cyber-physical systems design, "in Proc.2012 Int.Conf.Embedded Computer Systems, Samos, 2012, pp.346-354. |
| [57] | C.Gill, "Cyber-physical system software for HCMDSS, "in Proc.Joint Workshop on High Confidence Medical Devices, Software, and Systems Medical Device Plug-and-Play Interoperability, Boston, MA, 2007, pp.176-177. |
| [58] | A.Dabholkar and A.Gokhale, "An approach to middleware specialization for cyber physical systems, "in Proc.29th IEEE Int. Conf.Distributed Computing Systems Workshops, Montreal, QC, 2009, pp.73-79. http://www.dre.vanderbilt.edu/~gokhale/WWW/papers/WCPS09_GAMMA.pdf |
| [59] | H.Woo, J.L.Yi, J.C.Browne, A.K.Mok, E.Atkins, and F.Xie, Design and development methodology for resilient cyber-physical systems, "in Proc.28th Int.Conf.Distributed Computing Systems Workshops, Beijing, China, 2008, pp.525-528. http://ieeexplore.ieee.org/document/4577838/ |
| [60] | P.A.Vicaire, E.Hoque, Z.H.Xie, and J.A.Stankovic, "Bundle:a group-based programming abstraction for cyber-physical systems," IEEE Trans.Ind.Inform., vol.8, no.2, pp.379-392, May 2012. https://www.cs.virginia.edu/~stankovic/psfiles/Bundles-3.pdf |
| [61] | J.Lin, S.Sedigh, and A.Miller, "Towards integrated simulation of cyber-physical systems:a case study on intelligent water distribution, in Proc.8th IEEE Int.Conf.Dependable, Autonomic and Secure Computing, Chengdu, China, 2009, pp.690-695. http://ieeexplore.ieee.org/document/5380619/ |
| [62] | T.Tidwell, R.Glaubius, C.D.Gill, and W.D.Smart, "Optimal time utility based scheduling policy design for cyber-physical systems, Washington University, St.Louis, MO, WUCSE-2010-27, 2010. http://openscholarship.wustl.edu/cgi/viewcontent.cgi?article=1040&context=cse_research |
| [63] | R.R.Rajkumar, I.Lee, L.Sha, and J.Stankovic, "Cyber-physical systems:the next computing revolution, "in Proc.47th Design Automation Conference, Anaheim, California, 2010, pp.731-736. http://www.cs.virginia.edu/~stankovic/psfiles/Rajkumar-DAC2010-Final.pdf |
| [64] | R.F.Li, Y.Xie, R.Li, and L.Li, "Survey of cyber-physical systems," J.Comp.Res.Dev., vol.49, no.6, pp.1149-1161, Jun.2012. |
| [65] | X.D.Zhang, T.Parisini, and M.M.Polycarpou, "Adaptive faulttolerant control of nonlinear uncertain systems:an information-based diagnostic approach, "IEEE Trans.Automat.Contr., vol.49, no.8, pp.1259-1274, Aug.2004. http://ieeexplore.ieee.org/document/1323169/ |
| [66] | W.Schamai,U.Pohlmann,P.Fritzson,C.J.J.Paredis,P.Helle,and C.Strobel, "Execution of UML state machines using modelica," in Proc.3rd Int.Workshop on Equation-Based Object-Oriented Modeling Languages and Tools,Oslo,Norway,2010,pp.1-10. |
| [67] | J.Huang,F.Bastani,I.L.Yen,J.Dong,W.Zhang,F.-J.Wang,and H.-J.Hsu,"Extending service model to build an effective service composition framework for cyber-physical systems,"in Proc.2009 IEEE Int.Conf.Service-Oriented Computing and Applications (SOCA), Taipei,China,2009. |
| [68] | C.Neuman, "Challenges in security for cyber-physical systems," DHS:S & T workshop on future directions in cyber-physical systems security. Jul.2009. |
| [69] | N.Adam,"Workshop on future directions in cyber-physical systems security,"Report on workshop organized by Department of Homeland Security (DHS),Jan.2010. |
| [70] | H.Tang, "Security analysis of a cyber-physical system," M.S.thesis, University of Missouri-Rolla,Rolla,2007. |
| [71] | Y.Tan,M.C.Vuran,and S.Goddard,"Spatio-temporal event model for cyber-physical systems,"in Proc.29th IEEE Int.Conf.Distributed Computing Systems Workshops,Montreal,QC,2009,pp.44-50. |
| [72] | N.Kottenstette,G.Karsai,and J.Sztipanovits,"A passivity-based framework for resilient cyber physical systems,"in Proc.2nd Int.Symp. Resilient Control Systems,Idaho Falls,ID,2009,pp.43-50. http://www.isis.vanderbilt.edu/sites/default/files/resilient_Jul_27_2009_05_23_PM.pdf |
| [73] | C.Zimmer,B.Bhat,F.Mueller,and S.Mohan,"Time-based intrusion detection in cyber-physical systems,"in Proc.1st ACM/IEEE Int.Conf. Cyber-Physical Systems,Stockholm,Sweden,2010,pp.109-118. http://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/iccps10.pdf |
| [74] | S.Little,D.Walter,K.Jones,and C.Myers,"Analog/mixed-signal circuit verification using models generated from simulation traces, in Proc.5th Int.Symp.Automated Technology for Verification and Analysis,Tokyo,Japan,2007,pp.114-128. http://www.academia.edu/2698039/Analog_mixed-signal_circuit_verification_using_models_generated_from_simulation_traces |
| [75] | R.A.Thacker,C.J.Myers,K.Jones,and S.R.Little,"A new verification method for embedded systems,"in Proc.IEEE Int.Conf. Computer Design,Lake Tahoe,CA,2009,pp.193-200. http://dl.acm.org/citation.cfm?id=1792354.1792393 |
| [76] | T.L.Crenshaw and S.Beyer,"UPBOT:a testbed for cyber-physical systems,"in Proc.3rd Int.Conf.Cyber Security Experimentation and Test,Washington,DC,2010,Article No.1-8. |
| [77] | S.Kopparty,S.V.Krishnamurthy,M.Faloutsos,and S.K.Tripathi, Split TCP for mobile ad hoc networks,"in Proc.IEEE Global Telecommunications Conf.,Taipei,China,2002,pp.138-142. |
| [78] | X.Y.Li,Y.Y.Wang,X.S.Zhou,and D.F.Liang,"Approach for cyber-physical system simulation modeling,"J.Syst.Simul.,vol.26, no.3,pp.631-637,2014. http://en.cnki.com.cn/Article_en/CJFDTOTAL-XTFZ201403026.htm |
| [79] | T.W.Hnat,T.Sookoor,P.Hooimeijer,W.Weimer,and K.Whitehouse, MacroLab:a vector-based macroprogramming framework for cyberphysical systems,"in Proc.6th ACM Conf.Embedded Networked Sensor Systems,Raleigh,NC,USA,2008,pp.225-238. |
| [80] | T.Facchinetti and M.L.D.Vedova,"Real-time modeling for direct load control in cyber-physical power systems,"IEEE Trans.Industr. Inf.,vol.7,no.4,pp.689-698,Nov.2011. http://ieeexplore.ieee.org/document/6009189/ |
| [81] | M.D.Illic,L.Xie,U.A.Khan,and J.M.F.Moura,"Modeling future cyber-physical energy systems,"in Proc.2008 IEEE Power & Energy Society General Meeting-Conversion and Delivery of Electrical Energy in the 21st Century,Pittsburgh,PA,2008,pp.1-9. http://www.ece.tamu.edu/~lxie/papers/ModelingFuture.pdf |
| [82] | G.Karsai and J.Sztipanovits,"Model-integrated development of cyberphysical systems,"in Proc.6th Int.Workshop on Software Technologies for Embedded and Ubiquitous Systems,Anacarpi,Capri Island,Italy, 2008,pp.46-54. doi: 10.1007/978-3-540-87785-1_5.pdf |
| [83] | E.A.Lee, "Cyber physical systems:design challenges," in Proc. 200811th IEEE Int.Symp.Object Oriented Real-Time Distributed Computing,Orlando,FL,2008,pp.363-369. |
| [84] | E.Geisberger and M.Broy,Agenda CPS:Integrierte Forschungsagenda Cyber-Physical Systems.Berlin:Springer,2012. |
| [85] | T.Padir,G.S.Fischer,S.Chernova,and M.A.Gennert,"A unified and integrated approach to teaching a two-course sequence in Robotics Engineering,"JRM,vol.23,no.5,pp.748-758,Oct.2011. https://www.fujipress.jp/jrm/rb/robot002300050748/ |
| [86] | S.A.Edwards and E.A.Lee,"The case for the precision timed (PRET) machine,"in Proc.44th ACM/IEEE Design Automation Conf.(DAC), San Diego,CA,2007,pp.264-265. |
| [87] | O.Avissar,R.Barua,and D.Stewart,"An optimal memory allocation scheme for scratch-pad-based embedded systems,"ACM Trans. Embedded Comput.Syst.,vol.1,no.1,pp.6-26,Aug.2002. http://www.ece.umd.edu/~barua/avissar:TECS:2002.pdf |
| [88] | T.A.Henzinger,B.Horowitz,and C.M.Kirsch,"Giotto:a timetriggered language for embedded programming,"Proc.IEEE,vol.91, no.1,pp.84-99,Jan.2003. |
| [89] | G.Berry,"The effectiveness of synchronous languages for the development of safety-critical systems,"Tech.Rep.,Esterel Technologies, 2003. http://citeseerx.ist.psu.edu/showciting?cid=3856348 |
| [90] | E.A.Lee,S.Neuendorffer,and M.J.Wirthlin,"Actor-oriented design of embedded hardware and software systems,"J.Circuit.Syst.Comput., vol.12,no.3,pp.231-260,Jun.2003. http://ptolemy.eecs.berkeley.edu/papers/03/actorOrientedDesign/JCircuitsSystemsComputers.pdf |
| [91] | S.Johannessen, "Time synchronization in a local area network," IEEE Contr.Syst.,vol.24,no.2,pp.61-69,Apr.2004. |
| [92] | O.Tardieu and S.A.Edwards,"Scheduling-independent threads and exceptions in SHIM,"in Proc.6th ACM & IEEE Int.Conf.Embedded Software,Seoul,Korea,2006,pp.142-151. http://www1.cs.columbia.edu/~tardieu/papers/emsoft06.pdf |
| [93] | Y.Zhao,J.Liu,and E.A.Lee,"A programming model for timesynchronized distributed real-time systems,"in Proc.13th IEEE Real Time and Embedded Technology and Applications Symp.,Bellevue, USA,2007,pp.259-268. http://research.microsoft.com/en-us/um/people/liuj/publications/zhaoliulee_ptides.pdf |
| [94] | T.Abdelzaher,"Research challenges in distributed cyber-physical systems,"in Proc.IEEE/IFIP Int.Conf.Embedded and Ubiquitous Computing,Shanghai,China,2008,pp.5. http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4756313 |
| [95] | T.Ahola,P.Korpinen,J.Rakkola,T.Ramo,J.Salminen,and J. Savolainen, "Wearable FPGA based wireless sensor platform," in Proc. 29th Annual Int.Conf.IEEE Engineering in Medicine and Biology Society,Lyon,2007,pp.2288-2291. http://ieeexplore.ieee.org/document/4352782/ |
| [96] | M.Rungger and P.Tabuada,"Abstracting and refining robustness for cyber-physical systems,"in Proc.17th Int.Conf.Hybrid Systems:Computation and Control,Berlin,Germany,2014,pp.223-232. http://dl.acm.org/citation.cfm?doid=2562059.2562133 |
| [97] | K.R.Rohloff and T.Bacşar,"Deterministic and stochastic models for the detection of random constant scanning worms,"ACM Trans.Model. Comput.Simul.,vol.18,no.2,Article No.8,Apr.2008. https://web.njit.edu/~rohloff/papers/2008/Rohloff_Basar_ACM_TOMACS_final.pdf |
| [98] | The CPS Steering Group,"Cyber-Physical Systems Executive Summary, Accessed on:Sep.21,2010.[Online].Available:http://iccps2012.cse.wustl.edu/doc/CPS-Executive-Summary.pdf |
| [99] | W.Wolf, "Cyber-physical systems,"Computer,vol.42,no.3,pp.88-89,Mar.2009. |
| [100] | W.Wayne, "The good news and the bad news,"Accessed on:Jun. 9,2010.[Online].Available:http://www.computer.org/portal/site/computer |
| [101] | President's Council of Advisors on Science and Technology,"Leadership under challenge:information technology R & D in a competitive world.An assessment of the federal networking and information technology R & D program,"Accessed on:Aug.30,2011.[Online]. Available:http://ostpgov/pdf/nitrd/review.pdf |