Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism.
Yifeng XiaoChanwook OhMichele LoraPierluigi NuzzoPublished in: DATE (2024)
Keyphrases
- subgraph isomorphism
- cyber physical systems
- graph matching
- search tree
- edit distance
- graph databases
- cyber security
- weighted graph
- embedded systems
- computer vision
- physical world
- graph mining
- pattern recognition
- graph patterns
- hard problems
- matching algorithm
- depth first search
- critical infrastructure
- frequent subgraphs
- similarity measure