Convex Formulations of Data Assimilation Problems for a Class of Hamilton-Jacobi Equations

This article proposes a new method for data assimilation and data reconciliation problems applicable to systems modeled by conservation laws. The problem is solved directly in the equivalent format of a Hamilton-Jacobi partial differential equation, for which the solution is fully characterized by a Lax-Hopf formula. Using properties of the solution, we prove that when the data of the problem is prescribed in piecewise affine form, the resulting constraints which consist of the partial differential equation in data assimilation and reconciliation problems are convex, and can be instantiated explicitly. This property enables us to identify a class of data assimilation and data reconciliation problems that can be formulated using convex programs in standard form. We illustrate the capabilities of the method for reconstruction of highway traffic flow using experimental data generated from the Mobile Century experiment.

[1]  C. Dafermos.  Polygonal approximations of solutions of the initial value problem for a conservation law , 1972 .

[2]  Ahmad H. Dehwah,et al.  Analytical and grid-free solutions to the Lighthill-Whitham-Richards traffic flow model , 2011 .

[3]  L.M.H. van Zuilichem.  Performance Measurement System , 2018, Strategic Analytics.

[4]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[5]  H. Frankowska.  Lower semicontinuous solutions of Hamilton-Jacobi-Bellman equations , 1993 .

[6]  Alexandre M. Bayen,et al.  Lax–Hopf Based Incorporation of Internal Boundary Conditions Into Hamilton–Jacobi Equation. Part I: Theory , 2010, IEEE Transactions on Automatic Control.

[7]  Alexandre M. Bayen,et al.  Evaluation of traffic data obtained via GPS-enabled mobile phones: The Mobile Century field experiment , 2009 .

[8]  P. Lions,et al.  Some Properties of Viscosity Solutions of Hamilton-Jacobi Equations. , 1984 .

[9]  Jean-Pierre Aubin,et al.  Dirichlet problems for some Hamilton-Jacobi equations with inequality constraints , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[10]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[11]  G. Evensen.  Data Assimilation: The Ensemble Kalman Filter , 2006 .

[12]  C. Daganzo.  THE CELL TRANSMISSION MODEL.. , 1994 .

[13]  Alexandre M. Bayen,et al.  Lax–Hopf Based Incorporation of Internal Boundary Conditions Into Hamilton-Jacobi Equation. Part II: Computational Methods , 2010, IEEE Transactions on Automatic Control.

[14]  C. Daganzo.  A variational formulation of kinematic waves: basic theory and complex boundary conditions , 2005 .

[15]  David L Donoho,et al.  Compressed sensing , 2006, IEEE Transactions on Information Theory.

[16]  A. Bayen,et al.  Minimal error certificates for detection of faulty sensors using convex optimization , 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[17]  P. I. Richards.  Shock Waves on the Highway , 1956 .

[18]  Hélène Frankowska,et al.  ON LeFLOCH'S SOLUTIONS TO THE INITIAL-BOUNDARY VALUE PROBLEM FOR SCALAR CONSERVATION LAWS , 2010 .

[19]  A. Lewis,et al.  Error Bounds for Convex Inequality Systems , 1998 .

[20]  A. Bayen,et al.  A traffic model for velocity data assimilation , 2010 .

[21]  C. M. Crowe,et al.  Data reconciliation — Progress and challenges , 1996 .

[22]  M. Bardi,et al.  Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman Equations , 1997 .

[23]  H. Holden,et al.  Front Tracking for Hyperbolic Conservation Laws , 2002 .

[24]  R. Newcomb.  VISCOSITY SOLUTIONS OF HAMILTON-JACOBI EQUATIONS , 2010 .

[25]  Pravin Varaiya.  Reducing Highway Congestion: An Empirical Approach , 2005, Eur. J. Control.

[26]  E. Barron,et al.  Semicontinuous Viscosity Solutions For Hamilton–Jacobi Equations With Convex Hamiltonians , 1990 .

[27]  I. Bohachevsky,et al.  Finite difference method for numerical computation of discontinuous solutions of the equations of fluid dynamics , 1959 .

[28]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[29]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[30]  A. Bressan.  Hyperbolic systems of conservation laws : the one-dimensional Cauchy problem , 2000 .

[31]  Carlos F. Daganzo,et al.  On the variational theory of traffic flow: well-posedness, duality and applications , 2006, Networks Heterog. Media.