A Contract-Based Semantics and Refinement for Simulink.

Quan Sun Wei Zhang Chao Wang Zhiming Liu

Published in: SETTA (2022)

Keyphrases

fault detection
formal semantics
control system
logic programming
logical language
default reasoning
semantic information
metadata
artificial intelligence
supply chain
genetic algorithm
domain knowledge
control algorithm
multi agent
conceptual graphs
semantic representation
learning algorithm