Journal: Proceedings of the IEEE

Volume 104, Issue 5

896 -- 898Scott Schober. Technology Versus Privacy Issues in Preventing Distracted Driver Accidents [Point of View]
899 -- 903Armando W. Colombo, Stamatis Karnouskos, Yang Shi, Shen Yin, Okyay Kaynak. Industrial Cyber-Physical Systems [Scanning the Issue]
904 -- 922Indranil Saha, Suman Roy, S. Ramesh. Formal Verification of Fault-Tolerant Startup Algorithms for Time-Triggered Architectures: A Survey
923 -- 937Jianguo Yao, Xin Xu, Xue Liu. MixCPS: Mixed Time/Event-Triggered Architecture of Cyber-Physical Systems
938 -- 946Michael W. Condry, Catherine Blackadar Nelson. Using Smart Edge IoT Devices for Safer, Rapid Response With Industry IoT Control Operations
947 -- 959Thomas Bangemann, Matthias Riedl, Mario Thron, Christian Diedrich. Integration of Classical Components Into Industrial Cyber-Physical Systems
960 -- 972Stavros Tripakis. Compositionality in the Science of System Design
973 -- 985Robert Harrison, Daniel Alexandre Vera, Bilal Ahmad. Engineering Methods and Tools for Cyber-Physical Automation Systems
986 -- 996Thies Pfeiffer, Jens Hellmers, Eva-Maria Schön, Jörg Thomaschewski. Empowering User Interfaces for Industrie 4.0
997 -- 1012Ilge Akkaya, Patricia Derler, Shuhei Emoto, Edward A. Lee. Systems Engineering for Industrial Cyber-Physical Systems Using Aspects
1013 -- 1024Chenyang Lu, Abusayeed Saifullah, Bo Li, Mo Sha, Humberto Gonzalez, Dolvara Gunatilaka, Chengjie Wu, Lanshun Nie, Yixin Chen. Real-Time Wireless Sensor-Actuator Networks for Industrial Cyber-Physical Systems
1025 -- 1038Thomas Watteyne, Vlado Handziski, Xavier Vilajosana, Simon Duquennoy, Oliver Hahm, Emmanuel Baccelli, Adam Wolisz. Industrial Wireless IP-Based Cyber -Physical Systems
1039 -- 1057Stephen McLaughlin, Charalambos Konstantinou, Xueyang Wang, Lucas Davi, Ahmad-Reza Sadeghi, Michail Maniatakos, Ramesh Karri. The Cybersecurity Landscape in Industrial Control Systems
1058 -- 1070Xinghuo Yu, Yusheng Xue. Smart Grids: A Cyber-Physical Systems Perspective
1071 -- 1085Mingxi Liu, Yang Shi, Huijun Gao. Aggregation and Charging Control of PHEVs in Smart Grid: A Cyber-Physical Perspective
1086 -- 1101Paulo Leitão, Stamatis Karnouskos, Luis Ribeiro, Jay Lee, Thomas Strasser, Armando W. Colombo. Smart Agents in Industrial Cyber-Physical Systems
1102 -- 1113Ren C. Luo, Chia-Wen Kuo. Intelligent Seven-DoF Robot With Dynamic Obstacle Avoidance and 3-D Object Recognition for Industrial Cyber-Physical Systems in Manufacturing Automation
1114 -- 1127Volker Krüger, Arnaud Chazoule, Matthew Crosby, Antoine Lasnier, Mikkel Rath Pedersen, Francesco Rovida, Lazaros Nalpantidis, Ronald P. A. Petrick, Cesar Toscano, Germano Veiga. A Vertical and Cyber-Physical Integration of Cognitive Robots in Manufacturing
1128 -- 1141Bart Besselink, Valerio Turri, Sebastian H. van de Hoef, Kuo-Yun Liang, Assad Al Alam, Jonas Mårtensson, Karl Henrik Johansson. Cyber-Physical Control of Road Freight Transport
1142 -- 1154Sergii Iarovyi, Wael M. Mohammed, Andrei Lobov, Borja Ramis Ferrer, Jose L. Martinez Lastra. Cyber-Physical Systems for Open-Knowledge-Driven Manufacturing Execution Systems
1155 -- 1158Richard Williams. Amedeo Avogadro and His Number [Scanning our Past]