eduzhai > Applied Sciences > Engineering >

A Temporal Logic-Based Hierarchical Network Connectivity Controller

  • king
  • (0) Download
  • 20210507
  • Save

... pages left unread,continue reading

Document pages: 8 pages

Abstract: In this paper, we consider networks of static sensors with integrated sensingand communication capabilities. The goal of the sensors is to propagate theircollected information to every other agent in the network and possibly a humanoperator. Such a task requires constant communication among all agents whichmay result in collisions and congestion in wireless communication. To mitigatethis issue, we impose locally non-interfering connectivity constraints thatmust be respected by every agent. We show that these constraints along with therequirement of propagating information in the network can be captured by aLinear Temporal Logic (LTL) framework. Existing temporal logic controlsynthesis algorithms can be used to design correct-by-constructioncommunication schedules that satisfy the considered LTL formula. Nevertheless,such approaches are centralized and scale poorly with the size of the network.We propose a hierarchical LTL-based algorithm that designs communicationschedules that determine which agents should communicate while maximizingnetwork usage. We show that the proposed algorithm is complete and demonstrateits efficiency and scalability through analysis and numerical experiments.

Please select stars to rate!

         

0 comments Sign in to leave a comment.

    Data loading, please wait...
×