Adaptive Model Verification for Modularized Industry 4.0 Applications

Adaptive Model Verification for Modularized Industry 4.0 Applications

Cyber-Physical Systems (CPSs) are the core of Industry 4.0 applications, integrating advanced technologies such as sensing, data analytics, and artificial intelligence. This kind of combination typically consists of networked sensors and decision-making processes in which sensor-generated data drive...

Full description

Bibliographic Details
Main Authors: Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck, Teck Ping Khoo
Format: Article
Language:English
Published: IEEE 2022-01-01
Series:IEEE Access
Subjects:
Probabilistic model checking
sensor networks
trustworthiness
cyber-physical system
collaborative robot
industry 4.0
Online Access:https://ieeexplore.ieee.org/document/9965400/

Internet

https://ieeexplore.ieee.org/document/9965400/

Similar Items