Switching Control with Signal Temporal Logic Specifications for Pedestrian Flows Using Discrete Hughes Models

抄録

In this paper, a switching control method for pedestrian flows using the discrete Hughes model with signal temporal logic is proposed. In the discrete Hughes model, the space is given by an undirected graph, and pedestrian flows are considered as changes of the density at each vertex. To specify various properties of the system, we introduce signal temporal logic. In the proposed method, pedestrian flows are controlled by switching the graph structure. For each graph structure, a safety penalty is set. The switching times of the graph structure that minimize the penalty are calculated under constraints on a given signal temporal logic formula including the evacuation rate defined in this paper. A numerical example shows that the proposed method is effective for evacuation planning and exit control.