Real Time Control Plane Verification.

Yifan Li Jake Jia Xiaohe Hu Jun Li

Published in: NetPL@SIGCOMM (2019)

Keyphrases

real time control
control system
flexible manufacturing systems
model checking
machining processes
three dimensional
formal verification
signature verification
strong robustness
robust stability
data sets
parameter tuning
stability criterion