Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon Testbed.

Jiawan Wang Lei Bu Shaopeng Xing Yuming Wu Xuandong Li

Published in: FM (2021)

Keyphrases

real time
information technology
empirical studies
neural network
online learning
statistical analysis
control algorithm