Login / Signup

Modeling and verifying SDN under Multi-controller architectures using CSP.

Lili XiaoHuibiao ZhuShuangqing XiangPhan Cong Vinh
Published in: Concurr. Comput. Pract. Exp. (2021)
Keyphrases
  • control system
  • closed loop
  • control algorithm
  • constraint satisfaction problems
  • fuzzy controller
  • real time
  • neural network
  • mobile robot
  • state space
  • dynamic model
  • arc consistency
  • modeling method