A contract-based semantics and refinement for hybrid Simulink block diagrams.

Quan Sun Wei Zhang Chao Wang Zhiming Liu

Published in: J. Syst. Archit. (2023)

Keyphrases

formal semantics
control system
graphical representation
control algorithm
supply chain
logic programming
uml class diagrams
fault detection
semantic information
database
data sets
graphical representations
matlab simulink
step wise