Continuous-time image reconstruction for binary tomography

Abstract Binary tomography is the process of reconstructing a binary image from a finite number of projections. We present a novel method for solving binary tomographic inverse problems using a continuous-time image reconstruction (CIR) system described by nonlinear differential equations based on the minimization of a double Kullback–Leibler divergence. We prove theoretically that the divergence measure monotonically decreases in time. Moreover, we demonstrate numerically that the quality of the reconstructed images of the nonlinear CIR system is better than those from an iterative reconstruction method.

[1]  Alexander G. Ramm,et al.  CONTINUOUS ANALOG OF THE GAUSS-NEWTON METHOD , 1999 .

[2]  J. Hadamard.  Sur les problemes aux derive espartielles et leur signification physique , 1902 .

[3]  Yair Censor,et al.  Binary steering in discrete tomography reconstruction with sequential and simultaneous iterative algorithms , 2001 .

[4]  José Mario Martínez,et al.  Nonmonotone Spectral Projected Gradient Methods on Convex Sets , 1999, SIAM J. Optim..

[5]  Johannes Schropp,et al.  Using dynamical systems methods to solve minimization problems , 1995 .

[6]  Tibor Lukić,et al.  Binary Tomography Reconstruction Algorithm Based on the Spectral Projected Gradient Optimization , 2009 .

[7]  G. Herman,et al.  Discrete tomography : foundations, algorithms, and applications , 1999 .

[8]  Alexander G. Ramm,et al.  Dynamical systems method for solving operator equations , 2004 .

[9]  Ruban Airapetyan,et al.  Continuous newton method and its modification , 1999 .

[10]  Ryan J. Murphy,et al.  Deblurring subject to nonnegativity constraints when known functions are present with application to object-constrained computerized tomography , 2001, IEEE Transactions on Medical Imaging.

[11]  Omar Mohammad Abdel Latif Abou Al Ola.  Common Lyapunov function based on Kullback-Leibler divergence for a switched nonlinear system , 2011 .

[12]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.

[13]  A. Fuller,et al.  Stability of Motion , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[14]  Alexander G. Ramm,et al.  DYNAMICAL SYSTEMS AND DISCRETE METHODS FOR SOLVING NONLINEAR ILL-POSED PROBLEMS , 2000 .

[15]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[16]  G. Herman,et al.  Advances in discrete tomography and its applications , 2007 .

[17]  Tetsuya Yoshinaga,et al.  Continuous-time image reconstruction using differential equations for computed tomography , 2010 .

[18]  I. Csiszár.  Why least squares and maximum entropy? An axiomatic approach to inference for linear inverse problems , 1991 .

[19]  Bo Han,et al.  A dynamical system method for solving nonlinear ill-posed problems , 2008, Appl. Math. Comput..

[20]  R. A. Leibler,et al.  On Information and Sufficiency , 1951 .

[21]  C. Byrne,et al.  A unified treatment of some iterative algorithms in signal processing and image reconstruction , 2003 .

[22]  Kees Joost Batenburg,et al.  DART: A Practical Reconstruction Algorithm for Discrete Tomography , 2011, IEEE Transactions on Image Processing.