Towards correctness proof for hybrid Simulink block diagrams.

Wei Zhang Quan Sun Chao Wang Zhiming Liu

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

Keyphrases

fractal image coding
control system
hybrid learning
provably correct
control algorithm
input output
theorem proving
fault detection
database
image quality
theorem prover
linear logic
hand drawn