Separating codes and traffic monitoring

Thomas Bellitto 1, 2
2 Realopt - Reformulations based algorithms for Combinatorial Optimization
LaBRI - Laboratoire Bordelais de Recherche en Informatique, IMB - Institut de Mathématiques de Bordeaux, Inria Bordeaux - Sud-Ouest
Abstract : This paper studies the problem of traffic monitoring which consists of differentiating a set of walks on a directed graph by placing sensors on as few arcs as possible. The problem of characterising a set of individuals by testing as few attributes as possible is already well-known, but traffic monitoring presents new challenges that the previous models of separation fall short from modelling such as taking into account the multiplicity and order of the arcs in a walk. We introduce a new and stronger model of separation based on languages that generalises the traffic monitoring problem. We study three subproblems with practical applications and develop methods to solve them by combining integer linear programming, separating codes and language theory.
Document type :
Journal articles
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01514034
Contributor : Thomas Bellitto <>
Submitted on : Tuesday, April 25, 2017 - 3:34:52 PM
Last modification on : Friday, April 12, 2019 - 10:18:10 AM
Long-term archiving on : Wednesday, July 26, 2017 - 2:13:49 PM

File

sctm.pdf
Files produced by the author(s)

Identifiers

Citation

Thomas Bellitto. Separating codes and traffic monitoring. Theoretical Computer Science, Elsevier, 2017, ⟨10.1016/j.tcs.2017.03.044⟩. ⟨hal-01514034⟩

Share

Metrics

Record views

147

Files downloads

231