Login / Signup
Controller Synthesis of Signal Temporal Logical Tasks for Cyber-Physical Production Systems via Acyclic Decomposition.
Shuling Wang
Shanying Zhu
Cailian Chen
Liang Xu
Published in:
CDC (2023)
Keyphrases
</>
production system
cyber physical
multistage
controller synthesis
control structure
social networks
expert systems
autonomic computing systems
multiprocessor architecture
physical world
cyber physical systems
machine learning
knowledge base
multi agent