Internet of medical things: A review of recent contributions dealing with cyber-physical systems in medicine
The Internet of Medical Things (IoMT) designates the interconnection of communication-
enabled medical-grade devices and their integration to wider-scale health networks in order …
enabled medical-grade devices and their integration to wider-scale health networks in order …
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 …
automation (EDA). SLD means many things to different people since there is no wide …
Mediapipe: A framework for building perception pipelines
C Lugaresi, J Tang, H Nash, C McClanahan… - arxiv preprint arxiv …, 2019 - arxiv.org
Building applications that perceive the world around them is challenging. A developer needs
to (a) select and develop corresponding machine learning algorithms and models,(b) build a …
to (a) select and develop corresponding machine learning algorithms and models,(b) build a …
Integration of an energy management tool and digital twin for coordination and control of multi-vector smart energy systems
Abstract As Internet of Things (IoT) technologies enable greater communication between
energy assets in smart cities, the operational coordination of various energy networks in a …
energy assets in smart cities, the operational coordination of various energy networks in a …
Modeling cyber–physical systems
This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …
Scientific workflow management and the Kepler system
Many scientific disciplines are now data and information driven, and new scientific
knowledge is often gained by scientists putting together data analysis and knowledge …
knowledge is often gained by scientists putting together data analysis and knowledge …
Contracts for system design
Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …
complements system design methodologies proposed so far to cope with the complexity 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 …
processes. Embedded computers and networks monitor and control the physical processes …
The problem with threads
EA Lee - Computer, 2006 - ieeexplore.ieee.org
For concurrent programming to become mainstream, we must discard threads as a
programming model. Nondeterminism should be judiciously and carefully introduced where …
programming model. Nondeterminism should be judiciously and carefully introduced where …
Taming Dr. Frankenstein: Contract-based design for cyber-physical systems
A Sangiovanni-Vincentelli, W Damm… - European journal of …, 2012 - Elsevier
Cyber-physical systems combine a cyber side (computing and networking) with a physical
side (mechanical, electrical, and chemical processes). In many cases, the cyber component …
side (mechanical, electrical, and chemical processes). In many cases, the cyber component …