Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.

Siyuan Liu Majid Zamani

Published in: Autom. (2021)

Keyphrases

data sets
expert systems
high level
information systems
metadata
management system
distributed systems
learning systems
computing systems