Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...
TRUSTS Mobile App Demo Poster (AAMAS 2013)
1. Game-theoretic Patrol Strategies for Transit Systems:
the TRUSTS System and its Mobile App
Samantha Luber, Zhengyu Yin, Francesco Delle Fave, Albert Xin Jiang, Milind Tambe and John Sullivan*
University of Southern California, *Los Angeles Sheriff’s Department
The TRUSTS System [1]The Fare Evasion Problem
Fare evasion costs proof-of-payment transit systems significant losses in revenue. In
2007 alone, the Los Angeles Metro system, using proof-of-payment, suffered an
estimated revenue loss of $5.6 million due to fare evasion.
To address this shortcoming, the Los Angeles Sheriff’s Department (LASD) periodically
patrols the Metro system in order to prevent and deter fare evasion.
However, patrolling a transit system presents a number of challenges. For instance,
resource limitations prevent officers from verifying all passengers. As a consequence,
such officers periodically inspect a subset of the passengers based on a patrol strategy.
Randomization is another challenge. The complexity of a transit system makes it
impossible for human schedulers to manually produce randomized patrol strategies,
while taking into account all of the system’s scheduling constraints. As a result, the
patrol schedules often become predictable, making it easier for people to avoid buying
their ticket.
Against this background, the intelligent deployment of effective patrol strategies is a
key challenge to deter fare evasion and maximize revenue in transit systems.
Furthermore, since potential fare evaders can exploit knowledge about the patrol
strategy to avoid inspection, a randomized patrol strategy is needed for effectiveness.
MDP TRUSTS [2]
Real World Evaluation
Acknowledgements: We thank the Los Angeles Sheriff’s
Department for their exceptional collaboration.
Future Work
The Mobile Application
10h00 to 10h15
11h00 to 11h20
Officers of the LASD patrol one line of the Metro System. They perform either
train or ticket checks, depending on a large number of spatial and temporal
constraints (e.g., time of the day, trains schedule and station location as shown in
the figure). To model this problem a compact representation is used. A transition
graph is defined encoding all the possible constraints of the problem (see Figure).
The transition graph is used to define a zero-sum Bayesian Stackelberg game. One
defender (the LASD) patrols the metro line by choosing a specific path of the
transition graph. There exists then multiple types of attacker (the fare evaders),
one for each possible path. Each type can choose whether to buy his ticket or not.
The game is solved using linear programming.
Patrol schedules are derived by sampling the defender’s mixed strategy (variables
xij in the algorithm), obtained after solving the LP.
The schedules generated using TRUSTS have been tested by the LASD in several
lines of the LA Metro system. Results showed one key problem: the schedules
were not robust to the execution uncertainty related to patrolling a public transit
system.
To address this shortcoming, the TRUSTS’s schedules are transformed into plans.
The key idea is to generalize the transition graph into an MDP (see Figure below),
i.e., the outcome of each action becomes stochastic (each action might lead to a
specific state or it might end up in another one). In so doing, the element of
execution uncertainty is incorporated within the model. For instance, train or
station checks can be delayed for some time due to the officer having to deal with
some other problem.
The solution of the MDP TRUSTS linear program is a mixed strategy for the defender. A pure strategy can then be generated by sampling the mixed strategy. However, a pure strategy now does not correspond to a simple schedule anymore. Rather it
corresponds to a plan: a mapping from states to actions, where each state represents a station of a metro line and a time slot. To visualize these plans, we developed a mobile application. The application is essentially a software tool which allows each patrol
officer to visualize its schedule and to record data related to each patrol shift. As shown in the figures, the application consists of three views.
The resulting MDP is used to define a zero-sum Bayesian Stackelberg game. The
game is defined similarly to the original TRUSTS formulation. One defender (the
LASD) patrols the metro line by choosing a specific policy of the MDP. There exists
then multiple type of attacker (the fare evaders), one for each possible route. The
attacker can choose whether to buy or not his ticket. The game is solved using
linear programming (a network flow).
Schedule View: it is used to visualize the plan for
each patrol officer.
Reporting View: it is used to submit all the
information collected during a patrol shift.
Summary View: it is used to submit the
collected information to a central database
Each action specifies:
• Type of action
• Start / End time
Select a new station
Select the violation
type
Real world tests of the application have started on January 2013. Thus far, three tests have been run on the LA metro
system (on the red line). Each test was conducted together with a team of three officers of the LASD. Further tests are
planned on the blue, green and expo line and will start in the middle of May.
Thus far, both the MDP TRUSTS system and the mobile app have shown great potential to be used in several other
public transit system in the United States (e.g., in Chicago or Washington).
The use of the mobile application opens up several different possibilities for research. The key reason is that the
information collected within each shift is recorded by the reporting view. This data can then be used to improve the
quality of the schedules. For instance, data about each evader that has been caught could be used to learn its behavior.
Similarly, data about each execution interruption could be used to learn the uncertainty model related to the MDP.
References
[1] A. Jiang, Z. Yin, C. Zhang, S. Kraus, M. Tambe Game-Theoretic Randomization for Security Patrolling with
Dynamic Execution Uncertainty. In AAMAS, 2013.
[2] Yin, Z., Jiang, A. X., Johnson, M. P., Tambe, M., Kiekintveld, C., Leyton-Brown, K., Sandholm, T., and Sullivan, J. 2012.
TRUSTS: Scheduling Randomized Patrols for Fare Inspection in Transit Systems. In IAAI, 2012.