Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories.

Kaja Balzereit Oliver Niggemann

Published in: ICPS (2020)

Keyphrases

production system
cyber physical
social networks
multistage
satisfiability modulo theories
physical world
expert systems
multiprocessor architecture
cyber physical systems
answer set programming
computational intelligence
modulo theories
real time
decision making
state space