Testbed for Model-based Verification of Cyber-physical Production Systems.

Christof J. Budnik Sebastian Eckl Marco Gario

Published in: ARCH@CPSWeek (2017)

Keyphrases

production system
cyber physical
social networks
physical world
multistage
production process
cyber physical systems
expert systems
certainty factor
multiprocessor architecture
situation awareness
physical space
machine learning