Cyber-physical systems: Extending pervasive sensing from control theory to the Internet of Things
暂无分享,去创建一个
Borja Bordel | Ramón Alcarria | Diego Martín | Tomás Robles | T. Robles | R. Alcarria | Borja Bordel | Diego Martín | Ramón Alcarria | Tomás Robles
[1] Daqiang Zhang,et al. VCMIA: A Novel Architecture for Integrating Vehicular Cyber-Physical Systems and Mobile Cloud Computing , 2014, Mobile Networks and Applications.
[2] Kang Lee,et al. Understanding IEEE 1451-Networked smart transducer interface standard - What is a smart transducer? , 2008, IEEE Instrumentation & Measurement Magazine.
[3] Hamid Aghvami,et al. Cognitive Machine-to-Machine Communications for Internet-of-Things: A Protocol Stack Perspective , 2015, IEEE Internet of Things Journal.
[4] Keyou You,et al. Minimum Data Rate for Mean Square Stabilizability of Linear Systems With Markovian Packet Losses , 2011, IEEE Transactions on Automatic Control.
[5] Dipankar Raychaudhuri,et al. vMCN: virtual mobile cloud network for realizing scalable, real-time cyber physical systems , 2016, DCC '16.
[6] Shusen Yang,et al. A survey on the ietf protocol suite for the internet of things: standards, challenges, and opportunities , 2013, IEEE Wireless Communications.
[7] A. G. Butkovskiĭ,et al. Distributed control systems , 1969 .
[8] Soo Dong Kim,et al. A Service-Based Approach to Designing Cyber Physical Systems , 2010, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.
[9] André Platzer,et al. Quantified differential invariants , 2011, HSCC '11.
[10] Paulo Tabuada,et al. Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..
[11] Mahadev Satyanarayanan,et al. Pervasive computing: vision and challenges , 2001, IEEE Wirel. Commun..
[12] Frank Kelly,et al. Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..
[13] S. Shreve,et al. Real-time queues in heavy traffic with earliest-deadline-first queue discipline , 2001 .
[14] Manuel Mazo,et al. PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.
[15] Xuemin Shen,et al. Operator controlled device-to-device communications in LTE-advanced networks , 2012, IEEE Wireless Communications.
[16] George J. Pappas,et al. Robustness analysis for the certification of digital controller implementations , 2010, ICCPS '10.
[17] Vijay Kumar,et al. Robust Control for Mobility and Wireless Communication in Cyber–Physical Systems With Application to Robot Teams , 2012, Proceedings of the IEEE.
[18] E. Robinson. Cybernetics, or Control and Communication in the Animal and the Machine , 1963 .
[19] Calin Belta,et al. Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.
[20] Insup Lee,et al. Compositional real-time scheduling framework with periodic model , 2008, TECS.
[21] S. Shankar Sastry,et al. Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.
[22] Gang Zhou,et al. VigilNet: An integrated sensor network system for energy-efficient surveillance , 2006, TOSN.
[23] André Platzer,et al. Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.
[24] Jae-Hyun Kim,et al. An interactive cyber-physical system (CPS) for people with disability and frail elderly people , 2011, ICUIMC '11.
[25] David Broman,et al. Requirements for Hybrid Cosimulation , 2014 .
[26] Xue Liu,et al. A Certificateless Signature Scheme for Mobile Wireless Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.
[27] Albrecht Schmidt,et al. Implicit human computer interaction through context , 2000, Personal Technologies.
[28] David M. Nicol,et al. Designed-in Security for Cyber-Physical Systems , 2014, IEEE Secur. Priv..
[29] Bruce A. Francis,et al. Feedback Control Theory , 1992 .
[30] András Gergely Valkó,et al. Cellular IP: a new approach to Internet host mobility , 1999, CCRV.
[31] Jeannette M. Wing. An introduction to computer science for non-majors using principles of computation , 2007, SIGCSE.
[32] Steven X. Ding,et al. Real-Time Implementation of Fault-Tolerant Control Systems With Performance Optimization , 2014, IEEE Transactions on Industrial Electronics.
[33] Ingrid Moerman,et al. A survey on wireless body area networks , 2011, Wirel. Networks.
[34] Panos J. Antsaklis,et al. On the model-based control of networked systems , 2003, Autom..
[35] Paulo Tabuada,et al. Secure state-estimation for dynamical systems under active adversaries , 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
[36] Henry A. Kautz,et al. Inferring activities from interactions with objects , 2004, IEEE Pervasive Computing.
[37] Panos J. Antsaklis,et al. Control and Communication Challenges in Networked Real-Time Systems , 2007, Proceedings of the IEEE.
[38] Prasanta K. Jana,et al. A distributed algorithm for energy efficient and fault tolerant routing in wireless sensor networks , 2015, Wirel. Networks.
[39] Athanasios V. Vasilakos,et al. EDAL: An Energy-Efficient, Delay-Aware, and Lifetime-Balancing Data Collection Protocol for Heterogeneous Wireless Sensor Networks , 2015, IEEE/ACM Transactions on Networking.
[40] Anshul Kumar,et al. Real time Dynamic Voltage Scaling for embedded systems , 2004, 17th International Conference on VLSI Design. Proceedings..
[41] Xiaoyan Hong,et al. An online energy-efficient routing protocol with traffic load prospects in wireless sensor networks , 2009, Int. J. Sens. Networks.
[42] Victor C. M. Leung,et al. Vita: A Crowdsensing-Oriented Mobile Cyber-Physical System , 2013, IEEE Transactions on Emerging Topics in Computing.
[43] Randy Cogill,et al. Convexity of optimal control over networks with delays and arbitrary topology , 2010 .
[44] Insup Lee,et al. Medical Cyber Physical Systems , 2010, Design Automation Conference.
[45] Ramón Alcarria,et al. Building Smart Adaptable Cyber-Physical Systems: Definitions, Classification and Elements , 2015, UCAmI.
[46] M. Velasco,et al. The Self Triggered Task Model for Real-Time Control Systems , 2003 .
[47] Sang Hyuk Son,et al. RDDS: A Real-Time Data Distribution Service for Cyber-Physical Systems , 2012, IEEE Transactions on Industrial Informatics.
[48] Minyoung Kim. xTune: online verifiable cross-layer adaptation for distributed real-time embedded systems , 2008, SIGBED.
[49] Wei Zhang,et al. Stability of networked control systems: explicit analysis of delay , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
[50] Rafail Ostrovsky,et al. Error-correcting codes for automatic control , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).
[51] Daniel Nüst,et al. Semantically-Enabled Sensor Plug & Play for the Sensor Web , 2011, Sensors.
[52] Ossama Younis,et al. Node clustering in wireless sensor networks: recent developments and deployment challenges , 2006, IEEE Network.
[53] Qiang Li,et al. A case study on REST-style architecture for cyber-physical systems: Restful smart gateway , 2011, Comput. Sci. Inf. Syst..
[54] Helen Gill,et al. Cyber-Physical Systems , 2019, 2019 IEEE International Conference on Mechatronics (ICM).
[55] Ying-Dar Lin,et al. Multihop cellular: a new architecture for wireless communications , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).
[56] Ivan Stojmenovic,et al. Machine-to-Machine Communications With In-Network Data Aggregation, Processing, and Actuation for Large-Scale Cyber-Physical Systems , 2014, IEEE Internet of Things Journal.
[57] Adão Silva,et al. Power allocation strategies for distributed precoded multicell based systems , 2011, EURASIP J. Wirel. Commun. Netw..
[58] Kevin Curran,et al. Cyber-physical systems and context-aware sensing and computing , 2017, Comput. Networks.
[59] F. Zambonelli. Self-Management and the Many Facets of “ Non-Self ” Franco Zambonelli , 2005 .
[60] Daniel Mossé,et al. Generic framework for design, modeling and simulation of cyber physical systems , 2008, SIGBED.
[61] Alois Knoll,et al. Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks , 2009, 2009 International Conference on Advanced Information Networking and Applications Workshops.
[62] Gabor Karsai,et al. A passivity-based framework for resilient cyber physical systems , 2009, 2009 2nd International Symposium on Resilient Control Systems.
[63] Leonard J. Schulman. Coding for interactive communication , 1996, IEEE Trans. Inf. Theory.
[64] Javad Marzbanrad,et al. Self-tuning control algorithm design for vehicle adaptive cruise control system through real-time estimation of vehicle parameters and road grade , 2016 .
[65] Feng Xia,et al. From machine-to-machine communications towards cyber-physical systems , 2013, Comput. Sci. Inf. Syst..
[66] Feng Xia,et al. Wireless Sensor/Actuator Network Design for Mobile Control Applications , 2007, Sensors.
[67] Sangkyum Kim,et al. Tru-Alarm: Trustworthiness Analysis of Sensor Networks in Cyber-Physical Systems , 2010, 2010 IEEE International Conference on Data Mining.
[68] Christiaan J. J. Paredis,et al. Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations , 2009 .
[69] Vlad Trifa,et al. SOA-Based Integration of the Internet of Things in Enterprise Services , 2009, 2009 IEEE International Conference on Web Services.
[70] Keith H. Bennett,et al. Legacy Systems: Coping with Success , 1995, IEEE Softw..
[71] Shuichi Oikawa,et al. Resource kernels: a resource-centric approach to real-time and multimedia systems , 2001, Electronic Imaging.
[72] Antonio Iera,et al. The Internet of Things: A survey , 2010, Comput. Networks.
[73] Jukka Vanhala,et al. Proactive Fuzzy Control and Adaptation Methods for Smart Homes , 2008, IEEE Intelligent Systems.
[74] Aditya Ashok,et al. Cyber-Physical Security Testbeds: Architecture, Application, and Evaluation for Smart Grid , 2013, IEEE Transactions on Smart Grid.
[75] Bernd J. Krämer. Evolution of Cyber-Physical Systems: A Brief Review , 2014 .
[76] Torsten Jeinsch,et al. Data-driven self-tuning control by iterative learning control with application to optimize the control parameter of turbocharged engines , 2014, 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR).
[77] Hai Lin,et al. Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.
[78] Edward A. Lee. Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[79] Henry Muccini,et al. Self-Adaptation for Cyber-Physical Systems: A Systematic Literature Review , 2016, 2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
[80] Sanjoy K. Baruah,et al. Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor , 1990, Real-Time Systems.
[81] John A. Stankovic,et al. Empath: a continuous remote emotional health monitoring system for depressive illness , 2011, Wireless Health.
[82] Edward A. Lee,et al. CyPhySim: a cyber-physical systems simulator , 2015, HSCC.
[83] Chenyang Lu,et al. SPEED: a stateless protocol for real-time communication in sensor networks , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..
[84] Chin-Feng Lai,et al. OSGi-based services architecture for Cyber-Physical Home Control Systems , 2011, Comput. Commun..
[85] Osgi Alliance,et al. Osgi Service Platform, Release 3 , 2003 .
[86] Chenyang Lu,et al. A utilization bound for aperiodic tasks and priority driven scheduling , 2004, IEEE Transactions on Computers.
[87] Feng Xia,et al. Network QoS Management in Cyber-Physical Systems , 2008, 2008 International Conference on Embedded Software and Systems Symposia.
[88] Jan Recker,et al. Context-aware Process Design Exploring the Extrinsic Drivers for Process Flexibility , 2006, BPMDS.
[89] Paulo Tabuada. An Approximate Simulation Approach to Symbolic Control , 2008, IEEE Transactions on Automatic Control.
[90] Andrés Muñoz,et al. Machine Learning and Optimization , 2012 .
[91] Nei Kato,et al. Toward intelligent machine-to-machine communications in smart grid , 2011, IEEE Communications Magazine.
[92] Frank Vahid,et al. A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems , 2014, KSII Trans. Internet Inf. Syst..
[93] Wu He,et al. Internet of Things in Industries: A Survey , 2014, IEEE Transactions on Industrial Informatics.
[94] Sumit Gulwani,et al. Synthesizing switching logic for safety and dwell-time requirements , 2010, ICCPS '10.
[95] Dirk Timmermann,et al. Service-Oriented Software Architecture for Sensor Networks , 2003 .
[96] Zhihan Lv,et al. Reliable vehicle type recognition based on information fusion in multiple sensor networks , 2017, Comput. Networks.
[97] 정성원. Advanced Analytics , 2014, Visual Analytics with Tableau®.
[98] Girish Baliga,et al. A middleware framework for networked control systems , 2005 .
[99] Gilles Grimaud,et al. The Web of Things: Interconnecting Devices with High Usability and Performance , 2009, 2009 International Conference on Embedded Software and Systems.
[100] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[101] Jing Xu,et al. A Compressed HARQ Feedback for Device-to-Device Multicast Communications , 2012, 2012 IEEE Vehicular Technology Conference (VTC Fall).
[102] Edward A. Lee. The Past, Present and Future of Cyber-Physical Systems: A Focus on Models , 2015, Sensors.
[103] Linda Bushnell,et al. Stability analysis of networked control systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).
[104] Ian Postlethwaite,et al. Multivariable Feedback Control: Analysis and Design , 1996 .
[105] Xiaomeng Su,et al. A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.
[106] Naresh K. Sinha,et al. Modern Control Systems , 1981, IEEE Transactions on Systems, Man, and Cybernetics.
[107] Florian Dörfler,et al. Cyber-physical attacks in power networks: Models, fundamental limitations and monitor design , 2011, IEEE Conference on Decision and Control and European Control Conference.
[108] Kwang-Cheng Chen,et al. Toward ubiquitous massive accesses in 3GPP machine-to-machine communications , 2011, IEEE Communications Magazine.
[109] Lui Sha,et al. Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).
[110] Katherine M. Tsui,et al. “I want that”: Human-in-the-loop control of a wheelchair-mounted robotic arm , 2011 .
[111] Aloysius K. Mok,et al. Resource partition for real-time systems , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.
[112] Prasanta K. Jana,et al. Energy efficient fault tolerant clustering and routing algorithms for wireless sensor networks , 2015, Comput. Electr. Eng..
[113] P. Mell,et al. The NIST Definition of Cloud Computing , 2011 .
[114] Gabor Karsai,et al. Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.
[115] Paulo Tabuada,et al. To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems , 2008, IEEE Transactions on Automatic Control.
[116] Puneet Gupta,et al. CyberPhysical-System-On-Chip (CPSoC): A self-aware MPSoC paradigm with cross-layer virtual sensing and actuation , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[117] Ing-Ray Chen,et al. Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems , 2015, IEEE Transactions on Dependable and Secure Computing.
[118] Keith Kirkpatrick,et al. Software-defined networking , 2013, CACM.
[119] Krithi Ramamritham,et al. Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling , 1997, Proceedings Real-Time Systems Symposium.
[120] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .
[121] Guiran Chang,et al. Modeling access control for cyber-physical systems using reputation , 2012, Comput. Electr. Eng..
[122] Chung Shue Chen,et al. Real-time QoS support in wireless sensor networks: a survey , 2007 .
[123] Lovepreet Kaur,et al. Energy-Efficient Routing Protocols in Wireless Sensor Networks: A Survey , 2014 .
[124] John S. Baras,et al. Extending Design Capabilities of SysML with Trade-off Analysis: Electrical Microgrid Case Study , 2013, CSER.
[125] Anurag Agarwal,et al. The Internet of Things—A survey of topics and trends , 2014, Information Systems Frontiers.
[126] Ing-Ray Chen,et al. A survey of intrusion detection techniques for cyber-physical systems , 2014, ACM Comput. Surv..
[127] John S. Baras,et al. CPS Modeling Integration Hub and Design Space Exploration with Application to Microrobotics , 2013, CPSW@CISS.
[128] K. Åström,et al. Comparison of Riemann and Lebesgue sampling for first order stochastic systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[129] Daniel Liberzon,et al. Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.
[130] Ing-Ray Chen,et al. Effect of Intrusion Detection and Response on Reliability of Cyber Physical Systems , 2013, IEEE Transactions on Reliability.
[131] Peter Gorm Larsen,et al. Collaborative Design for Embedded Systems , 2014, Springer Berlin Heidelberg.
[132] Franco Zambonelli,et al. Interdisciplinary research: roles for self-organization , 2006, IEEE Intelligent Systems.
[133] Manuel Mazo Espinosa,et al. Contributions to the control of networked cyber-physical systems , 2010 .
[134] Adnan Yazici,et al. A Distributed Fault-Tolerant Topology Control Algorithm for Heterogeneous Wireless Sensor Networks , 2015, IEEE Transactions on Parallel and Distributed Systems.
[135] Fan Zhang,et al. Integrating neuromuscular and cyber systems for neural control of artificial legs , 2010, ICCPS '10.
[136] Insup Lee,et al. Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.
[137] Feng Xia,et al. Evaluating IEEE 802.15.4 for Cyber-Physical Systems , 2011, EURASIP J. Wirel. Commun. Netw..
[138] Jay Lee,et al. Introduction to cyber manufacturing , 2016 .
[139] John Sibert,et al. Using task context variables for selecting the best timing for interrupting users , 2005, sOc-EUSAI '05.
[140] Suet-Fei Li,et al. Wireless sensor actuator network for light monitoring and control application , 2006, CCNC 2006. 2006 3rd IEEE Consumer Communications and Networking Conference, 2006..
[141] Edward A. Lee. Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .
[142] Anna Kyselova,et al. Integration of context-aware control system in microgrid , 2013, 2013 IEEE XXXIII International Scientific Conference Electronics and Nanotechnology (ELNANO).
[143] Mark W. Maier,et al. Architecting Principles for Systems‐of‐Systems , 1996 .
[144] Dieter Gollmann. Security for Cyber-Physical Systems , 2012, MEMICS.
[145] Alvaro A. Cárdenas,et al. Attacks against process control systems: risk assessment, detection, and response , 2011, ASIACCS '11.
[146] Nikil D. Dutt,et al. Resilient dependable cyber-physical systems: a middleware perspective , 2011, Journal of Internet Services and Applications.
[147] Gaurav Sharma,et al. An Improved RSA-based Certificateless Signature Scheme for Wireless Sensor Networks , 2016, Int. J. Netw. Secur..
[148] Xiaofeng Wang,et al. Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability , 2009, IEEE Transactions on Automatic Control.
[149] Kwang-Cheng Chen,et al. Machine-to-machine communications: Technologies and challenges , 2014, Ad Hoc Networks.
[150] Jay Lee,et al. Recent advances and trends in predictive manufacturing systems in big data environment , 2013 .
[151] Carolyn L. Talcott,et al. Cyber-Physical Systems and Events , 2008, Software-Intensive Systems and New Computing Paradigms.
[152] Guy E. Garnett,et al. Cyber-Physical Systems : Position Paper CPS Environments , 2022 .
[153] Edward A. Lee,et al. Modeling and simulating cyber-physical systems using CyPhySim , 2015, 2015 International Conference on Embedded Software (EMSOFT).
[154] Yusheng Ji,et al. Resource allocation using particle swarm optimization for D2D communication underlay of cellular networks , 2013, 2013 IEEE Wireless Communications and Networking Conference (WCNC).
[155] Sandeep Neema,et al. Detc 2012-71378 towards Automated Evaluation of Vehicle Dynamics in System-level Designs , 2012 .
[156] Hong Ye,et al. Scheduling of networked control systems , 2001 .
[157] Abhishek Gupta,et al. Future of all technologies - The Cloud and Cyber Physical Systems , 2013 .
[158] Lida Xu,et al. The internet of things: a survey , 2014, Information Systems Frontiers.
[159] Yu-Chee Tseng,et al. Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing Review from Wireless Sensor Networks towards Cyber Physical Systems , 2022 .
[160] John A. Stankovic,et al. Context-aware wireless sensor networks for assisted living and residential monitoring , 2008, IEEE Network.
[161] Heejo Lee,et al. This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. INVITED PAPER Cyber–Physical Security of a Smart Grid Infrastructure , 2022 .
[162] Jianhua Lu,et al. A QoS-Aware Power Optimization Scheme in OFDMA Systems with Integrated Device-to-Device (D2D) Communications , 2011, 2011 IEEE Vehicular Technology Conference (VTC Fall).
[163] Ying Tan,et al. A prototype architecture for cyber-physical systems , 2008, SIGBED.
[164] Borzoo Bonakdarpour,et al. Challenges in transformation of existing real-time embedded systems to cyber-physical systems , 2008, SIGBED.
[165] W Wim Zeiler,et al. Indoor air quality and thermal comfort strategies: the human-in-the-loop approach , 2011 .
[166] László Monostori,et al. ScienceDirect Variety Management in Manufacturing . Proceedings of the 47 th CIRP Conference on Manufacturing Systems Cyber-physical production systems : Roots , expectations and R & D challenges , 2014 .
[167] Fumio Miyazaki,et al. A stable tracking control method for an autonomous mobile robot , 1990, Proceedings., IEEE International Conference on Robotics and Automation.
[168] Sirajum Munir,et al. Cyber Physical System Challenges for Human-in-the-Loop Control , 2013, Feedback Computing.
[169] Wei Zhang,et al. Stability of networked control systems , 2001 .
[170] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[171] Edward A. Lee. Computing Foundations and Practice for Cyber- Physical Systems: A Preliminary Report , 2007 .
[172] Biswanath Mukherjee,et al. Wireless sensor network survey , 2008, Comput. Networks.
[173] Hassan El Makssoud,et al. Towards a Co-contraction Muscle Control Strategy For Paraplegics , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[174] Jiannong Cao,et al. Towards context-aware medical cyber-physical systems: design methodology and a case study , 2015 .
[175] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.
[176] Axel Jantsch,et al. Self-aware Cyber-Physical Systems-on-Chip , 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[177] Hans-Georg Kemper,et al. Application-Pull and Technology-Push as Driving Forces for the Fourth Industrial Revolution , 2014 .
[178] Amey Vinayak Moholkar. Security for Cyber-Physical Systems , 2014 .
[179] Alasdair Gilchrist. Industry 4.0 , 2016, Apress.
[180] Yuska P. C. Aguiar,et al. Refining a User Behaviour Model Based on the Observation of Emotional States , 2011 .
[181] Deborah Estrin,et al. An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.
[182] Hongwei Zhang,et al. Reliable bursty convergecast in wireless sensor networks , 2005, MobiHoc '05.
[183] José M. F. Moura,et al. Modeling of Future Cyber–Physical Energy Systems for Distributed Sensing and Control , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[184] Wang Xiao-le,et al. A Service-Oriented Architecture Framework for Cyber-Physical Systems , 2012 .
[185] Daqiang Zhang,et al. Context-aware vehicular cyber-physical systems with cloud support: architecture, challenges, and solutions , 2014, IEEE Communications Magazine.
[186] Xiaofeng Wang,et al. L1Simplex: Fault-tolerant control of cyber-physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
[187] Babak Hassibi,et al. Anytime reliable codes for stabilizing plants over erasure channels , 2011, IEEE Conference on Decision and Control and European Control Conference.
[188] Ian F. Akyildiz,et al. Wireless sensor networks: a survey , 2002, Comput. Networks.
[189] Uwe Brinkschulte,et al. A microkernel middleware architecture for distributed embedded real-time systems , 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.
[190] Trent Jaeger,et al. Design and Implementation of a TCG-based Integrity Measurement Architecture , 2004, USENIX Security Symposium.
[191] Panganamala Ramana Kumar,et al. Provable Systemwide Safety in Intelligent Intersections , 2011, IEEE Transactions on Vehicular Technology.
[192] Fumin Zhang,et al. Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems , 2008, 2008 Real-Time Systems Symposium.
[193] A. B. Karthick Anand Babu,et al. Development of Type 2 Fuzzy Rough Ontology-based Middleware for Context Processing in Ambient Smart Environment , 2015 .
[194] Klaus David,et al. An Ontology-Based Reasoning Framework for Context-Aware Applications , 2015, CONTEXT.
[195] Nuno Pereira,et al. Cyber-physical systems clouds: A survey , 2016, Comput. Networks.
[196] J. Alberto Espinosa,et al. Big Data: Issues and Challenges Moving Forward , 2013, 2013 46th Hawaii International Conference on System Sciences.
[197] John S. Baras,et al. Integrated Modeling and Simulation Framework for Wireless Sensor Networks , 2012, 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.
[198] Levent Gürgen,et al. Self-aware cyber-physical systems and applications in smart buildings and cities , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[199] Panganamala Ramana Kumar,et al. Cyber–Physical Systems: A Perspective at the Centennial , 2012, Proceedings of the IEEE.
[200] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[201] Siddhartha Kumar Khaitan,et al. Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.
[202] Jiafu Wan,et al. A survey of Cyber-Physical Systems , 2011, 2011 International Conference on Wireless Communications and Signal Processing (WCSP).
[203] Sumit Gupta,et al. Introduction to Embedded Systems: A Reading List , 2022 .
[204] Jong Hyuk Park,et al. Pervasive Sensing Technologies and Emerging Trends , 2014, Int. J. Distributed Sens. Networks.
[205] John W. Suh,et al. Thermally Actuated Omnidirectional Walking Microrobot , 2010, Journal of Microelectromechanical Systems.
[206] Jehoshua Bruck,et al. Covering Algorithms, Continuum Percolation, and the Geometry of Wireless Networks. , 2003 .
[207] Björn Andersson,et al. A vision of cyber-physical internet , 2009 .
[208] Mo-Yuen Chow,et al. Networked Control System: Overview and Research Trends , 2010, IEEE Transactions on Industrial Electronics.
[209] Abdelkarim Erradi,et al. Policy-Driven Middleware for Self-adaptation of Web Services Compositions , 2006, Middleware.
[210] Franco Zambonelli,et al. Looking ahead in pervasive computing: Challenges and opportunities in the era of cyber-physical convergence , 2012, Pervasive Mob. Comput..
[211] N. Jazdi,et al. Cyber physical systems in the context of Industry 4.0 , 2014, 2014 IEEE International Conference on Automation, Quality and Testing, Robotics.
[212] Claudio Soriente,et al. On the difficulty of software-based attestation of embedded devices , 2009, CCS.
[213] Danielle C. Tarraf. Control of cyber-physical systems : workshop held at the Johns Hopkins University, March 2013 , 2013 .
[214] Jie Wu,et al. Deploying Wireless Sensor Networks with Fault-Tolerance for Structural Health Monitoring , 2015, IEEE Trans. Computers.
[215] Danny Hughes,et al. Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS) , 2010 .
[216] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[217] Douglas C. Schmidt,et al. The design of the TAO real-time object request broker , 1998, Comput. Commun..
[218] Gene Tsudik,et al. Secure Code Update for Embedded Devices via Proofs of Secure Erasure , 2010, ESORICS.
[219] David Clarke,et al. Self-tuning control , 1979 .
[220] Liviu Miclea,et al. Cyber-Physical Systems - Concept, Challenges and Research Areas , 2012 .
[221] Tao Chen,et al. Network controlled Device-to-Device (D2D) and cluster multicast concept for LTE and LTE-A networks , 2011, 2011 IEEE Wireless Communications and Networking Conference.
[222] Nancy A. Lynch,et al. The Theory of Timed I/o Automata , 2003 .
[223] Stephen A. Edwards,et al. The Case for the Precision Timed (PRET) Machine , 2007, 2007 44th ACM/IEEE Design Automation Conference.
[224] Huijun Gao,et al. Fault-tolerant control of Markovian jump stochastic systems via the augmented sliding mode observer approach , 2014, Autom..
[225] Dragan Nesic,et al. Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.
[226] Siddharth Sridhar,et al. Cyber–Physical System Security for the Electric Power Grid , 2012, Proceedings of the IEEE.
[227] Zoltán Rusák,et al. Conceptualization of a real-time information processing platform for context-aware informing cyber-physical systems , 2016 .
[228] Stephen A. Edwards,et al. A disruptive computer design idea: Architectures with repeatable timing , 2009, 2009 IEEE International Conference on Computer Design.
[229] Albrecht Schmidt,et al. Enabling implicit human computer interaction: a wearable RFID-tag reader , 2000, Digest of Papers. Fourth International Symposium on Wearable Computers.
[230] Jay Lee,et al. Cyber-physical Systems Architecture for Self-Aware Machines in Industry 4.0 Environment , 2015 .
[231] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[232] Xiaojun Zhang,et al. SCLPV: Secure Certificateless Public Verification for Cloud-Based Cyber-Physical-Social Systems Against Malicious Auditors , 2015, IEEE Transactions on Computational Social Systems.
[233] Daniel Camps-Mur,et al. Device-to-device communications with Wi-Fi Direct: overview and experimentation , 2013, IEEE Wireless Communications.
[234] Jiafu Wan,et al. A General Test Platform for Cyber-Physical Systems: Unmanned Vehicle with Wireless Sensor Network Navigation , 2011 .
[235] Michael Athans,et al. Survey of decentralized control methods for large scale systems , 1978 .
[236] Pravin Varaiya,et al. Scalar estimation and control with noisy binary observations , 2004, IEEE Transactions on Automatic Control.
[237] Yang Yang,et al. Self-configuration and self-optimization for LTE networks , 2010, IEEE Communications Magazine.
[238] Liviu Miclea,et al. About dependability in cyber-physical systems , 2011, 2011 9th East-West Design & Test Symposium (EWDTS).
[239] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .
[240] Ramón Alcarria,et al. TF4SM: A Framework for Developing Traceability Solutions in Small Manufacturing Companies , 2015, Sensors.
[241] Peter Marwedel,et al. Embedded system design , 2010, Embedded Systems.
[242] Janos Sztipanovits,et al. Composition of Cyber-Physical Systems , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).
[243] Deniz Erdogmus,et al. The Future of Human-in-the-Loop Cyber-Physical Systems , 2013, Computer.
[244] Jongpil Jeong,et al. An Enhanced Secure Mobility Management Scheme for Building IoT Applications , 2015, FNC/MobiSPC.
[245] R.R. Tummala. Moore's law meets its match (system-on-package) , 2006, IEEE Spectrum.
[246] Diego Sánchez de Rivera,et al. Using 5G Technologies in the Internet of Things Handovers, Problems and Challenges , 2015, 2015 9th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing.
[247] Tao Han,et al. Uplink channel reusing selection optimization for Device-to-Device communication underlaying cellular networks , 2012, 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC).
[248] M. Dunbar. Plug-and-play sensors in wireless networks , 2001 .
[249] Stamatis Karnouskos,et al. Towards the Next Generation of Industrial Cyber-Physical Systems , 2014 .
[250] Jay Lee,et al. A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .
[251] Edward A. Lee,et al. A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.
[252] Paulo Tabuada,et al. Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.
[253] Sunny Consolvo,et al. Lullaby: a capture & access system for understanding the sleep environment , 2012, UbiComp.
[254] Lui Sha,et al. On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.
[255] Romit Roy Choudhury,et al. DataSpotting: offloading cellular traffic via managed device-to-device data transfer at data spots , 2010, MOCO.
[256] Pramod K. Varshney,et al. On-demand Geographic Forwarding for data delivery in wireless sensor networks , 2007, Comput. Commun..
[257] Uwe Hansmann,et al. Pervasive Computing Handbook , 2001, Springer Berlin Heidelberg.
[258] Edward A. Lee,et al. Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .
[259] Youmin Zhang,et al. Active fault‐tolerant control system design with trajectory re‐planning against actuator faults and saturation: Application to a quadrotor unmanned aerial vehicle , 2015 .
[260] Panganamala Ramana Kumar,et al. Abstractions, Architecture, Mechanisms, and a Middleware for Networked Control , 2009, IEEE Transactions on Automatic Control.