Research directions for the internet of things

JA Stankovic - IEEE internet of things journal, 2014‏ - ieeexplore.ieee.org
Many technical communities are vigorously pursuing research topics that contribute to the
Internet of Things (IoT). Nowadays, as sensing, actuation, communication, and control …

A survey on concepts, applications, and challenges in cyber-physical systems

V Gunes, S Peter, T Givargis, F Vahid - KSII Transactions on …, 2014‏ - koreascience.kr
Abstract The Cyber-Physical System (CPS) is a term describing a broad range of complex,
multi-disciplinary, physically-aware next generation engineered system that integrates …

[کتاب][B] Principles of cyber-physical systems

R Alur - 2015‏ - books.google.com
A foundational text that offers a rigorous introduction to the principles of design,
specification, modeling, and analysis of cyber-physical systems. A cyber-physical system …

[کتاب][B] Introduction to embedded systems: A cyber-physical systems approach

EA Lee, SA Seshia - 2017‏ - books.google.com
An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …

[PDF][PDF] Cyber-physical systems-are computing foundations adequate

EA Lee - Position paper for NSF workshop on cyber-physical …, 2006‏ - ptolemy.berkeley.edu
1 Summary Cyber-Physical Systems (CPS) are integrations of computation with physical
processes. Embedded computers and networks monitor and control the physical processes …

Synchronous transmissions in low-power wireless: A survey of communication protocols and network services

M Zimmerling, L Mottola, S Santini - ACM Computing Surveys (CSUR), 2020‏ - dl.acm.org
Low-power wireless communication is a central building block of cyber-physical systems
and the Internet of Things. Conventional low-power wireless protocols make avoiding packet …

Security issues and challenges for cyber physical system

EK Wang, Y Ye, X Xu, SM Yiu, LCK Hui… - 2010 IEEE/ACM Int'l …, 2010‏ - ieeexplore.ieee.org
In this paper, we investigate the security challenges and issues of cyber-physical
systems.(1) We abstract the general workflow of cyber physical systems,(2) identify the …

[کتاب][B] Why wirelesshart

D Chen, M Nixon, A Mok, D Chen, M Nixon, A Mok - 2010‏ - Springer
There is a need for wireless at the field level of process plants and the WirelessHART
standard meets the need quite well. We shall talk about the need throughout Part IV. In this …

The embedded systems design challenge

TA Henzinger, J Sifakis - International Symposium on Formal Methods, 2006‏ - Springer
We summarize some current trends in embedded systems design and point out some of
their characteristics, such as the chasm between analytical and computational models, and …

Quo vadis, SLD? Reasoning about the trends and challenges of system level design

A Sangiovanni-Vincentelli - Proceedings of the IEEE, 2007‏ - ieeexplore.ieee.org
System-level design (SLD) is considered by many as the next frontier in electronic design
automation (EDA). SLD means many things to different people since there is no wide …