WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System

We are developing a taxi cruising support system implemented as a smartphone application. The system consists of the interface manager, the database, the demand predictor, and the optimizer. The interface manager receives data about the current status of each taxi and sends the current optimal cruising direction and predicted future demands to each taxi. The database stores all information used in the support system including historic data on demands. The optimizer computes the optimal cruising directions of taxies using the future demand predicted at the demand predictor. We derive a novel model of collective behaviors of taxies used for computation of the optimal cruising at the optimizer. The model is described by a mixed logical dynamical system.