TY - GEN
T1 - Minimal error certificates for detection of faulty sensors using convex optimization
AU - Claudel, Christian G.
AU - Nahoum, Matthieu
AU - Bayen, Alexandre M.
PY - 2009
Y1 - 2009
N2 - This article proposes a new method for sensor fault detection, applicable to systems modeled by conservation laws. The state of the system is modeled by a Hamilton-Jacobi equation, in which the Hamiltonian is uncertain. Using a Lax-Hopf formula, we show that any local measurement of the state of the system restricts the allowed set of possible values of other local measurements. We derive these constraints explicitly for arbitrary Hamilton-Jacobi equations. We apply this framework to sensor fault detection, and pose the problem finding the minimal possible sensor error (minimal error certificate) as a set of convex programs. We illustrate the performance of the resulting algorithms for a highway traffic flow monitoring sensor network in the San-Francisco Bay Area.
AB - This article proposes a new method for sensor fault detection, applicable to systems modeled by conservation laws. The state of the system is modeled by a Hamilton-Jacobi equation, in which the Hamiltonian is uncertain. Using a Lax-Hopf formula, we show that any local measurement of the state of the system restricts the allowed set of possible values of other local measurements. We derive these constraints explicitly for arbitrary Hamilton-Jacobi equations. We apply this framework to sensor fault detection, and pose the problem finding the minimal possible sensor error (minimal error certificate) as a set of convex programs. We illustrate the performance of the resulting algorithms for a highway traffic flow monitoring sensor network in the San-Francisco Bay Area.
UR - http://www.scopus.com/inward/record.url?scp=77949607804&partnerID=8YFLogxK
U2 - 10.1109/ALLERTON.2009.5394554
DO - 10.1109/ALLERTON.2009.5394554
M3 - Conference contribution
AN - SCOPUS:77949607804
SN - 9781424458714
T3 - 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009
SP - 1177
EP - 1186
BT - 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009
T2 - 2009 47th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2009
Y2 - 30 September 2009 through 2 October 2009
ER -