The Future of Human-in-the-Loop Cyber-Physical Systems

Computer ◽  
2013 ◽  
Vol 46 (1) ◽  
pp. 36-45 ◽  
Author(s):  
Gunar Schirner ◽  
Deniz Erdogmus ◽  
Kaushik Chowdhury ◽  
Taskin Padir
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Human In The Loop ◽  
The Future

The Future of Human-in-the-Loop Cyber-Physical Systems

Computer ◽  
2012 ◽  
pp. 1-1 ◽  
Author(s):  
Gunar Schirner ◽  
D. Erdogmus ◽  
Kaushik Chowdhury ◽  
Taskin Padir
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
Human In The Loop ◽  
The Future

scholarly journals Enabling the human in the loop: Linked data and knowledge in industrial cyber-physical systems

2019 ◽  
Vol 47 ◽  
pp. 249-265 ◽  
Author(s):  
Christos Emmanouilidis ◽  
Petros Pistofidis ◽  
Luka Bertoncelj ◽  
Vassilis Katsouros ◽  
Apostolos Fournaris ◽  
...  
Keyword(s):  
Linked Data ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Human In The Loop

scholarly journals ARCH-COMP 2019 Category Report: Falsification

10.29007/68dk ◽  
2019 ◽  
Author(s):  
Gidon Ernst ◽  
Paolo Arcaini ◽  
Alexandre Donzé ◽  
Georgios Fainekos ◽  
Logan Mathesen ◽  
...  
Keyword(s):  
Temporal Logic ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Base Line ◽  
Physical Systems ◽  
The Future ◽  
Friendly Competition ◽  
Initial Base

This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2. The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.

Sustainable securing of Medical Cyber-Physical Systems for the healthcare of the future

2018 ◽  
Vol 19 ◽  
pp. 138-146 ◽  
Author(s):  
Alberto Huertas Celdrán ◽  
Manuel Gil Pérez ◽  
Félix J. García Clemente ◽  
Gregorio Martínez Pérez
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
The Future

scholarly journals A review on the characteristics of cyber-physical systems for the future smart factories

2020 ◽  
Vol 54 ◽  
pp. 305-335 ◽  
Author(s):  
Alessia Napoleone ◽  
Marco Macchi ◽  
Alessandro Pozzetti
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems ◽  
The Future ◽  
Smart Factories
Sign in / Sign up

Export Citation Format

Share Document