Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.

Jiang Liu Han Su Yunjun Bai Bin Gu Bai Xue Mengfei Yang Naijun Zhan

Published in: CoRR (2023)

Keyphrases

hybrid systems
neural network
intelligent systems
discrete event
black box
soft computing
meta learning
computational intelligence
artificial intelligence
real time
dynamic systems
control system
machine learning
decision making
expert systems