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 …

[인용][C] 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 …

[책][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 …

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 …

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 …