%-------------------------------------------------------
%jaulin 1992
%-------------------------------------------------------
@ARTICLE{JaulinSopron92,
  author = {L. Jaulin and E. Walter},
  year = 1992,
  title = {Guaranteed nonlinear parameter estimation via interval computations},
  journal = {Interval Computations},
  pages = {61--75},
  volume = 3
}


%-------------------------------------------------------
%jaulin 1993
%-------------------------------------------------------
@INPROCEEDINGS{JaulinLafayette93,
  author = {L. Jaulin and E. Walter},
  year = 1993,
  title = {Guaranteed Nonlinear Parameter Estimation Via Interval Computations},
  booktitle = {Conference on Numerical Analysis with Automatic Result
              Verification, (Lafayette)}
}
@ARTICLE{JaulinMCS93,
  author = {L. Jaulin and E. Walter},
  year = 1993,
  title = {Guaranteed nonlinear parameter estimation from bounded-error data
          via interval analysis},
  journal = "Mathematics and Computers in Simulation",
  volume = 35,
  number = 2,
  pages = {123-137}
}
@ARTICLE{JaulinWalterIntervalComp94,
  author = {L. Jaulin and E. Walter},
  year = 1993,
  title = {Guaranteed nonlinear parameter estimation via interval computations},
  journal = {Interval Computation},
  pages = {61-75}
}
@ARTICLE{JaulinWalter93SetInvAutom,
  author = {L. Jaulin and E. Walter},
  year = 1993,
  title = {Set inversion via interval analysis for nonlinear bounded-error
          estimation},
  journal = {Automatica},
  volume = 29,
  number = 4,
  pages = {1053--1064}
}
@INPROCEEDINGS{Jaulin93p,
  author = {L. Jaulin and E. Walter},
  year = 1993,
  title = {Guaranteed nonlinear estimation and robust stability analysis via
          set inversion},
  booktitle = {Proceedings of the 2nd European Control Conference},
  pages = {818--821}
}


%-------------------------------------------------------
%jaulin 1994
%-------------------------------------------------------
@INBOOK{JaulinBookKurzhanski94,
  author = {L. Jaulin and E. Walter},
  editor = {A.B. Kurzhanski, V.M. Veliov},
  year = 1994,
  title = {Modeling Techniques for Uncertain Systems},
  chapter = {Set Inversion, with Application to Guaranteed Nonlinear
            Estimation and Robust Control},
  pages = {3-20},
  publisher = {Birkh{\"a}user}
}
@PHDTHESIS{JaulinThese,
  author = {L. Jaulin},
  year = 1994,
  title = {Solution globale et garantie de probl\`emes ensemblistes~;
          application \`a l'estimation non lin\'eaire et \`a la commande
          robuste},
  note = {Available at:
         www.istia.univ-angers.fr/\symbol{126}jaulin/thesejaulin.zip},
  address = {Orsay, France},
  school = {Universit\'e Paris-Sud},
  type = {{PhD} dissertation}
}
@ARTICLE{WalterJaulin94,
  author = {E. Walter and L. Jaulin},
  year = 1994,
  title = {Guaranteed characterization of stability domains via set inversion},
  journal = {"IEEE Transactions on Automatic Control"},
  volume = {39},
  number = 4,
  pages = {886-889}
}

%-------------------------------------------------------
%jaulin 1995
%-------------------------------------------------------
@INPROCEEDINGS{ECC95,
  author = {O. Didrit and L. Jaulin and E. Walter},
  year = 1995,
  title = {Guaranteed Analysis and Optimization of Parametric Systems, with
          Application to their Stability Degree},
  booktitle = {Proceedings of 3rd European Control Conference},
  pages = {1412--1417},
  address = {Rome}
}


%-------------------------------------------------------
%jaulin 1996
%-------------------------------------------------------
@ARTICLE{JaulinWalterTuning96,
  author = {L. Jaulin and E. Walter},
  year = 1996,
  title = {Guaranteed tuning, with application to robust control and motion
          planning},
  journal = {Automatica},
  volume = 32,
  number = 8,
  pages = {1217-1221}
}
@INBOOK{JaulinBookMilanese96,
  author = {L. Jaulin and E. Walter},
  editor = {M. Milanese and J. Norton and H. Piet-Lahanier and E. Walter},
  year = 1996,
  title = {Bounding {A}pproaches to {S}ystem {I}dentification},
  chapter = {Guaranteed nonlinear set estimation via interval analysis},
  pages = {363-382},
  publisher = {Plenum}
}
@INPROCEEDINGS{JaulinCESA96,
  author = {L. Jaulin and E. Walter and O. Didrit},
  year = {1996},
  title = {Guaranteed robust nonlinear parameter bounding},
  booktitle = {Proceedings of {CESA'96} {IMACS} Multiconference (Symposium on
              Modelling, Analysis and Simulation)},
  pages = {1156-1161},
  address = {Lille, France}
}

%-------------------------------------------------------
%jaulin 1997
%-------------------------------------------------------
@ARTICLE{EJC97,
  author = {O. Didrit and L. Jaulin and E. Walter},
  year = 1997,
  title = {Guaranteed Analysis and Optimization of Parametric Systems, with
          Application to their Stability Degree},
  journal = {European Journal of Control},
  volume = 3,
  number = 1,
  pages = {68-80}
}
@INPROCEEDINGS{Leveque97,
  author = {O. L{\'e}v{\^e}que and L. Jaulin and D. Meizel and E. Walter},
  year = 1997,
  title = {Vehicule localization from inaccurate telemetric data: a set
          inversion approach},
  booktitle = {Proceedings of 5th {IFAC} Symposium on Robot Control
              {SY.RO.CO.}'97},
  volume = 1,
  pages = {179-186},
  address = {Nantes, France}
}
@ARTICLE{JaulinDiscretControlIEEE,
  author = {L. Jaulin and E. Walter},
  year = 1997,
  title = {Global Numerical Approach to Nonlinear Discrete-Time Control},
  journal = {"IEEE Transactions on Automatic Control"},
  volume = 42,
  number = 6,
  pages = {872-875}
}
@ARTICLE{JaulinGodet97,
  author = {L. Jaulin and J. L. Godet and E. Walter and A. Elliasmine and Y.
           Leduff},
  year = 1997,
  title = {Light scattering data analysis via set inversion},
  journal = {Journal of Physics A: Mathematical and General},
  pages = {7733-7738}
}



%-------------------------------------------------------
%jaulin 1998
%-------------------------------------------------------
@INPROCEEDINGS{Kieffer98CDC,
  author = {M. Kieffer and L. Jaulin and E. Walter},
  year = 1998,
  title = {Guaranteed Recursive Nonlinear State Estimation Using Interval
          Analysis},
  booktitle = {Proceedings of the 37th {IEEE} Conference on Decision and Control},
  pages = {3966-3971},
  address = {Tampa, FL},
  howpublished = {Proceedings of 37th IEEE Conference on Decision and Control}
}



%-------------------------------------------------------
%jaulin 1999
%-------------------------------------------------------
@INPROCEEDINGS{JaulinGodon99,
  author = {L. Jaulin and A. Godon},
  year = 1999,
  title = {Motion planning using interval analysis},
  booktitle = {Proceedings of the MISC'99 Workshop on Applications of Interval Analysis to Systems and
              Control},
  pages = {335-346},
  address = {Girona, Spain}
}
@INPROCEEDINGS{KiefferJDA99,
  author = {M. Kieffer and L. Jaulin and E. Walter and D. Meizel},
  year = 1999,
  title = {Localisation et Suivi Garantis D'un Robot Par Analyse Par
          Intervalles},
  booktitle = {{JDA}}
}
@INPROCEEDINGS{KiefferMISC99,
  author = {M. Kieffer and L. Jaulin and E. Walter and D. Meizel},
  year = {1999},
  title = {Guaranteed Mobile Robot Tracking Using Interval Analysis},
  booktitle = {Proceedings of the MISC'99 Workshop on Applications of Interval
              Analysis to Systems and Control},
  pages = {347-359},
  address = {Girona, Spain}
}
@INPROCEEDINGS{KiefferSienne99,
  author = {M. Kieffer and L. Jaulin and E. Walter and D. Meizel},
  editor = {A. Garulli and A. Tesi and A. Vicino},
  year = 1999,
  title = {Nonlinear Identification Based on Unreliable Priors and Data, with
          Application to Robot Localization},
  booktitle = {Robustness in Identification and Control},
  pages = {190-203},
  volume = {LNCIS 245},
  publisher = {Springer-Verlag},
  address = {London, UK}
}
@ARTICLE{JaulinBadtime99,
  author = {L. Jaulin and E. Walter},
  year = 1999,
  title = {Guaranteed Bounded-Error Parameter Estimation for Nonlinear Models
          with Uncertain Experimental Factors},
  journal = {Automatica},
  volume = 35,
  number = 5,
  pages = {849-856}
}
@ARTICLE{JaulinBoimond99,
  author = {L. Jaulin and J. L. Boimond and L. Hardouin},
  year = 1999,
  title = {Estimation via set-inversion: application to discrete-event systems},
  journal = {Reliable Computing},
  pages = {165-173}
}
@ARTICLE{JaulinBurger99,
  author = {L. Jaulin and J. Burger},
  year = 1999,
  title = {Proving stability of uncertain parametric models},
  journal = {Automatica},
  pages = {627-632}
}


%-------------------------------------------------------
%jaulin 2000
%-------------------------------------------------------
@ARTICLE{JaulinCHI99,
  author = {L. Jaulin and E. Walter and O. L{\'e}v{\^e}que and D. Meizel},
  year = 2000,
  title = {Set Inversion for $\Chi$-Algorithms, with Application to Guaranteed
          Robot Localization},
  journal = "Mathematics and Computers in Simulation",
  volume = 52,
  number = {3-4},
  pages = {197-210}
}
@ARTICLE{JaulinHullAutomatica99,
  author = {L. Jaulin},
  year = 2000,
  title = {Interval Constraint Propagation with Application to Bounded-Error
          estimation},
  journal = {Automatica},
  volume = 36,
  number = 10,
  pages = {1547-1552}
}
@ARTICLE{Brahim00,
  author = {S. Brahim-Belhouari and M. Kieffer and G. Fleury and L. Jaulin and
           E. Walter},
  year = 2000,
  title = {Model Selection via Worst-Case Criterion for Nonlinear
          Bounded-Error Estimation},
  booktitle = {16th {IEEE} Instrumentation and Measurement Tech. Conf.},
  journal = {{IEEE} Trans. on Instrumentation and Measurement},
  volume = 49,
  number = 3,
  pages = {653-658},
  address = {Venice, Italy},
}
@PHDTHESIS{JaulinHDR00,
  author = {L. Jaulin},
  year = 2000,
  title = {Le calcul ensembliste par analyse par intervalles},
  note = {Available at:
         www.istia.univ-angers.fr/\symbol{126}jaulin/hdrjaulin.zip},
  school = {Universit\'e Paris-Sud},
  address = {Orsay, France},
  type = {Habilitation \`a diriger des recherches}
}

@ARTICLE{Jau99,
  author = {Jaulin, L.},
  year = 2000,
  title = {{Interval Constraint Propagation with Application to Bounded-Error Estimation}},
  journal = {Automatica},
  volume = 36,
  number = 10,
  pages = {1547--1552}
}

@ARTICLE{Kieffer00RIRelComp,
  author = {M. Kieffer and L. Jaulin and E. Walter and D. Meizel},
  year = 2000,
  title = {Robust Autonomous Robot Localization Using Interval Analysis},
  journal = {Reliable Computing},
  volume = 6,
  number = 3,
  pages = {337-362}
}



%-------------------------------------------------------
%jaulin 2001
%-------------------------------------------------------
@ARTICLE{Braems00,
  author = {I. Braems and F. Berthier and L. Jaulin and M. Kieffer and E.
           Walter},
  year = 2001,
  title = {Guaranteed Estimation of Electrochemical Parameters by Set
          Inversion Using Interval Analysis},
  journal = {Journal of Electroanalytical Chemistry},
  volume = 495,
  number = 1,
  pages = {1-9},
}

@ARTICLE{JaulinKiefferBraemsWalterObserver,
  author = {L. Jaulin and M. Kieffer and I. Braems and E. Walter},
  year = 2001,
  title = {Guaranteed Nonlinear Estimation Using Constraint Propagation on
          Sets},
  journal = {International Journal of Control},
  volume = 74,
  number = 18,
  pages = {1772-1782}
}
@ARTICLE{JaulinMotionRC,
  author = {L. Jaulin},
  year = 2001,
  title = {Path planning using intervals and graphs},
  journal = {Reliable Computing},
  volume = 7,
  pages = {1--15},
  number = 1
}

@INBOOK{BraemsScan00,
  author = {I. Braems and L. Jaulin and M. Kieffer and E. Walter},
  editor = {W. Kraemer and J.W. Gudenberg},
  year = 2001,
  title = {Scientific Computing, Validated Numerics, Interval Methods,
        Proceedings of {SCAN} 2000},
  chapter = {Set Computation, computation of Volumes and Data Safety},
  pages = {267-280},
  publisher = {Kluwer Academic Publishers}
}


@INBOOK{KiefferScan00,
  author = {M. Kieffer and L. Jaulin and I. Braems and E. Walter},
  editor = {W. Kraemer and J.W. Gudenberg},
  year = 2001,
  title = {Scientific Computing, Validated Numerics, Interval Methods,
        Proceedings of {SCAN} 2000},
  chapter = {Guaranteed Set Computation with Subpavings},
  pages = {167-178},
  publisher = {Kluwer Academic Publishers}
}

@INBOOK{JaulinScan01,
  author = {L. Jaulin and I. Braems and M. Kieffer and E. Walter},
  editor = {W. Kraemer and J.W. Gudenberg},
  year = 2001,
  title = {Scientific Computing, Validated Numerics, Interval Methods,
        Proceedings of {SCAN} 2000},
  chapter = {Nonlinear State Estimation Using Forward-Backward Propagation of
          Intervals},
  pages = {191-204},
  publisher = {Kluwer Academic Publishers}
}

@ARTICLE{Kieffer01TS,
  author = {M. Kieffer and L. Jaulin and E. Walter and D. Meizel},
  year = 2001,
  title = {Localisation et Suivi Robustes D'un Robot Mobile Gr\^ace \`A
          L'analyse Par Intervalles},
  journal = {Traitement du Signal},
  volume = 17,
  number = 3,
  pages = {207-219}
}
@MISC{KiefferIJACSP01,
  author = {M. Kieffer and L. Jaulin and E. Walter},
  year = 2001,
  title = {Guaranteed Recursive Nonlinear State Bounding Using Interval
          Analysis},
  howpublished = {to appear in {\em International Journal of Adaptative Control and Signal Processing}}
}
@BOOK{JaulinBook01,
  author = {L. Jaulin and M. Kieffer and O. Didrit and E. Walter},
  year = {2001},
  title = {Applied {I}nterval {A}nalysis, with {E}xamples in {P}arameter and {S}tate {E}stimation, {R}obust {C}ontrol and {R}obotics},
  publisher = {Springer-Verlag},
  address = {London}
}
@Book{Jau01,
  author =   {Jaulin, L. and Kieffer, M. and Didrit, O. and Walter, E.},
  title =    {{Applied Interval Analysis}},
  publisher =    {Springer},
  year =     {2001}
}
@ARTICLE{JaulinMinimaxRC01,
  author = {L. Jaulin},
  year = 2001,
  title = {Reliable minimax parameter estimation},
  journal = {Reliable Computing},
  volume = 7,
  pages = {231-246},
  number = 3
}
@INPROCEEDINGS{RatschanJaulinERCIM01,
  author = {S. Ratschan and L. Jaulin},
  year = 2001,
  title = {Solving Composed First-Order Constraints From Discrete-Time Robust Control},
  booktitle = {Proceedings of the International Workshop of the ERCIM working group on constraints},
  address = {Prague}
}








%-------------------------------------------------------
%jaulin 2002
%-------------------------------------------------------
@inproceedings{JaulinBraemsCDC02,
      author = {L. Jaulin and I. Braems and M. Kieffer and E. Walter},
      title = "Interval methods for nonlinear identification and robust control",
      booktitle = "In Proceedings of the 41st IEEE Conference on Decision and Control (CDC)",
      address = "9-13 decembre 2002, Las Vegas",
      year = 2002
      }
@ARTICLE{Jaulin02Robab,
  author = {L. Jaulin and M. Kieffer and E. Walter and D. Meizel},
  year = 2002,
  title = {Guaranteed Robust Nonlinear Estimation with Application to Robot
          Localization},
  journal = {IEEE Transactions on systems, man and cybernetics; Part C Applications and Reviews},
  volume = 32,
  number = 4,
  pages = {374--382}
}
@ARTICLE{JaulinVoltera02,
  author = {L. Jaulin},
  year = 2002,
  title = {Nonlinear bounded-error state estimation of continuous-time systems},
  journal = {Automatica},
  volume=38,
  pages = {1079-1082}
}
@Article{meizel02,
     author = {D. Meizel and O. Lévêque and L. Jaulin and E. Walter},
     title = "Initial Localization by Set Inversion",
     journal = "IEEE transactions on robotics and Automation",
     pages =  {966-971},
     volume =  {18},
     number = {6},
     year = 2002
   }
@ARTICLE{Jaulin_qminimax02,
  author = {L. Jaulin and E. Walter},
  year = 2002,
  title = {Guaranteed robust nonlinear minimax estimation},
  journal = {IEEE Transaction on Automatic Control},
  volume = 47,
  number = 11,
  pages = {1857--1864}
}
@ARTICLE{JaulinJESA02,
  author = {L. Jaulin},
  year = 2002,
  title = {Propagation de contraintes sur les intervalles pour l'estimation ensembliste},
  journal = {Numéro spécial de JESA : Identification des systèmes},
  volume = 36,
  number = 3,
  pages = {383--395}
}

%-------------------------------------------------------
%jaulin 2003
%-------------------------------------------------------
@ARTICLE{BraemsRamdani2003,
     author      = {I. Braems, N. Ramdani, M. Kieffer and E. Walter},
     title       = {Caractérisation garantie d'un dispositif de mesure de grandeurs thermiques},
     journal     = {Journal Européen des Systèmes Automatisés},
     year        = 2003,
     volume =  {37},
     number = {9},
     pages       = {1129-1143}
}
@ARTICLE{Baguenard_JESA03,
  author = {X. Baguenard and M. Dao and L. Jaulin and W. Khalil},
  year = 2003,
  title = {Méthodes ensemblistes pour l'étalonnage géométrique},
  journal = {Journal Européen des Systèmes Automatisés},
  volume = 37,
  number = 9,
  pages = {1059--1074}
}


%-------------------------------------------------------
%jaulin 2004
%-------------------------------------------------------
@ARTICLE{JaulinRatschan04,
  author = {L. Jaulin and S. Ratschan and L. Hardouin},
  year = 2004,
  title = {Set computation for nonlinear control},
  journal = {Reliable Computing},
  volume = 10 ,
  number = 1,
  pages = {1--26}
}
@ARTICLE{LhommeauHardouin04,
  author = {M. Lhommeau and L. Hardouin and B. Cottenceau and L. Jaulin},
  year = 2004,
  title = {Interval Analysis and Dioid: Application to Robust Controller Design for Timed Event Graphs},
  journal = {Automatica},
  volume = 40,
  number = 11,
  pages = {1923--1930}
}
@Book{dao:Proj2d,
     author = {M. Dao and X. Baguenard and L. Jaulin},
     title = "Proj2d, disponible sur {\tt www.istia.univ-angers.fr/\symbol{126}dao/}",
     publisher = "LISA, ISTIA, Université d'Angers",
      year = 2004
   }
@Book{baguenard:IntervalPeeler,
     author = {X. Baguenard and M. Dao and L. Jaulin},
     title = "Interval Peeler, disponible sur {\tt www.istia.univ-angers.fr/\symbol{126}baguenar/}",
     publisher = "LISA, ISTIA, Université d'Angers",
     year = 2004
   }
@INPROCEEDINGS{JaulinBateau2004,
  author = {L. Jaulin},
  year = {2004},
  title = {Modélisation et commande d'un bateau à voile},
  booktitle = {CIFA2004 (Conférence Internationale Francophone d'Automatique), In CDROM},
  pages = {},
  address =  {Douz (Tunisie)}
}

@Book{jaulin:bayes,
     author = {L. Jaulin},
     title = "BAYES, a Windows solver to characterize minimal-volume credible sets, available at {\tt www.ensieta.fr/jaulin/bayes.zip}",
     publisher = "E3I2, ENSIETA",
     year = 2004
   }

@ARTICLE{Lagrange:SepSource:04,
  author = {S. Lagrange and L. Jaulin and V. Vigneron and C. Jutten},
  year = 2004,
  title = {Independent Component Analysis and blind signal separation, Analytical solution of the blind source separation problem using derivatives},
  journal = {Lecture Notes in Computer Science},
  volume = 3195,
  pages = {81--88}
}

%-------------------------------------------------------
%jaulin 2005
%-------------------------------------------------------

@BOOK{JaulinLivre05,
  author = {L. Jaulin},
  year = 2005,
  title = {Représentation d'état pour la modélisation et la commande des systèmes (Coll. Automatique de base)},
  publisher = {Hermès},
  address = {London}
}
@ARTICLE{JaulinHenrion05,
  author = {L. Jaulin and D. Henrion},
  year = 2005,
  title = {Contracting optimally an interval matrix  without loosing any positive semi-definite matrix is a tractable problem},
  journal = {Reliable Computing},
  volume = 11,
  number = 1,
  pages = {1--17}
}



%-------------------------------------------------------
%jaulin 2006
%-------------------------------------------------------


@ARTICLE{delanoue06,
  author = {N. Delanoue and L. Jaulin and B. Cottenceau},
  year = 2006,
  title = {Using interval arithmetic to prove that a set is path-connected},
  journal = {Theoretical Computer Science, Special issue: Real Numbers and Computers},
  volume= 351,
  number = 1,
  pages       = {119-128}
}
@ARTICLE{JaulinSignal06,
  author = {L. Jaulin},
  year = 2006,
  title = {Computing minimal-volume credible sets using interval analysis; Application to Bayesian estimation},
  journal = {IEEE Trans. on Signal Processing},
  volume = 54,
  number = 9,
  pages = {3632--3636}
}
@ARTICLE{Herrero06,
  author = {P. Herrero Vinas and M. A. Sainz and J. Vehi and L. Jaulin},
  year = 2006,
  title = {Quantified Set Inversion Algorithm with Applications to Control},
  journal = {Reliable computing},
  volume= 11,
  number = 5,
  pages       = {369--382}
}
@ARTICLE{LagrangeJESA06,
  author = {S. Lagrange and L. Jaulin and V. Vigneron and C. Jutten},
  year = 2006,
  title = {Identification en aveugle des paramètres de systèmes non linéaires},
  journal = {Journal Europeen des Systèmes Automatisés},
  volume = 40,
  number = 8,
  pages = {847--865}
}
@InProceedings{jaulin:reder:CP06,
  author =  {L. Jaulin},
  title =  {Localization of an underwater robot using interval constraints propagation},
  booktitle =  {Proceedings of the Twelfth International Conference on Principles and 
           Practice of Constraint Programming, Nantes, France, September 2006 (CP 2006)},
  year = {2006},
  address = {Nantes (France)}
}

@InProceedings{Goldsztejn-Jaulin-CP2006,
  author =  {A. Goldsztejn and L. Jaulin},
  title =  {Inner and Outer Approximations of Existentially Quantified Equality Constraints},
  booktitle =  {Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming, (CP 2006)},
  year = {2006},
  address = {Nantes (France)}
}

@ARTICLE{LagrangeIntCP06,
  author = {S. Lagrange and N. Delanoue and L. Jaulin},
  year = 2006,
  title = {Test of Injectivity via Interval Analysis},
  journal = {Twelfth International Conference on Principles and Practice of Constraint Programming (IntCP 2006)},
  address = {Nantes (France)}
}

@ARTICLE{Delaloue:counting:06,
  author = {N. Delanoue and L. Jaulin and B. Cottenceau},
  year = 2006,
  title = {Counting the Number of Connected Components of a Set and Its Application to Robotics},
  journal = {In Applied Parallel Computing, J. Dongarra, K. Madsen, J. Wasniewski (Eds), Lecture Notes in Computer Science},
  volume = 3732,
  pages = {93--101}
}

@InProceedings{Jau06,
  author =  {Jaulin, L.},
  title =  {{Localization of an Underwater Robot using Interval Constraint Propagation}},
  booktitle =  {Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming, 
       Nantes, France, September 2006 (CP 2006)},
  year = {2006},
  address = {Nantes (France)}
}

@ARTICLE{Del06,
  author = {Delanoue, N. and Jaulin, L. and Cottenceau, B.},
  year = 2006,
  title = {{Using Interval Arithmetic to prove that a Set is Path-Connected}},
  journal = {Theoretical Computer Science, Special issue: Real Numbers and Computers},
  volume= {351},
  number = {1},
  pages  = {119--128}
}


@InProceedings{JaulinLegrisDabe06,
  author =  {L. Jaulin and M. Legris and F. Dabe},
  title =  {{GESMI, un logiciel pour l'aide à localisation de mines sous-marines}},
  booktitle =  {JIME 2006 (Journées Identification et Modélisation Expérimentale)},
  year = {2006},
  address = {Poitiers (France)}
}



%-------------------------------------------------------
%jaulin 2007
%-------------------------------------------------------


@ARTICLE{Jaulin:ETAS:ICRA07,
  author = {L. Jaulin},
  year = 2007,
  title = {Control of a wheeled stair-climbing robot using linear programming},
  journal = {ICRA 2007, CD-Rom},
  address = {Rome (Italy)}
}
@ARTICLE{Lhommeau:Viability:Incinco07,
  author = {M. Lhommeau and L Jaulin and L. Hardouin},
  year = 2007,
  title = {Inner and outer approximation of capture basins using interval analysis},
  journal = {ICINCO 2007},
  address = {Angers (France)}
}
@ARTICLE{Diloreto07,
  author = {M. Di-Loreto and M. Dao and L. Jaulin and J.F. Lafay and J.J. Loiseau},
  year = 2007,
  title = {Applied interval computation: a new approach for time-delay system analysis},
  journal = {In Application of Time-Delay Systems, Lecture Notes in Control and Information Science},
  volume = 352,
  pages = {175--197}
}
@Book{jaulin:gesmi,
     author = {L. Jaulin},
     title = "solver GESMI (Global Estimation of SeaMarks with Intervals), available at {\tt, http://www.ensieta.fr/jaulin/gesmi.zip}",
     publisher = "ENSIETA-GESMA",
      year = 2007
   }
@MISC{Slamstat,
  author =       {Chabert, G. and Jaulin, L.},
  title =       {{{\tt Slamstat} - A Statistical Tool for SLAM A priori Error
                 (http://www.ensieta.fr/jaulin/slamstat.exe)}},
  year =         {2007}
}

@ARTICLE{LagrangeDelanoueRC07,
  author = {S. Lagrange and N. Delanoue and L. Jaulin},
  year = 2007,
  title = {On sufficient conditions of injectivity, development of a numerical test via interval analysis},
  journal = {Reliable computing},
  volume = 13,
  number = {5},
  pages = {409--421}
}

@ARTICLE{bazeille07:TS,
  author = {S. Bazeille and L. Jaulin and I. Quidu and J.P Malkasse},
  year = 2007,
  title = {Une méthode de prétraitement automatique pour le débruitage des images sous marines},
  journal = {Traitement du signal,numéro spécial "Caractérisation du milieu marin"},
  volume = {},
  number = {},
  pages = {}
}

@ARTICLE{BraemsRamdani07,
  author = {I. Braems and N. Ramdani and M. Kieffer and L. Jaulin and E. Walter and Y. Candau},
  year = 2007,
  title = {Guaranteed characterization of thermal conductivity and diffusivity in presence of model uncertainty},
  journal = {Inverse Problems in Science and Engineering},
  volume = 15,
  number = {8},
  pages = {895-910}
}
@ARTICLE{ChabertJaulin07RC,
  author = {G. Chabert and L. Jaulin},
  year = 2007,
  title = {Computing the pessimism of inclusion functions},
  journal = {Reliable computing},
  volume = 13,
  number = {6},
  pages = {489-504}
}



%-------------------------------------------------------
%jaulin 2008
%-------------------------------------------------------


@Book{chabert:jaulin:quimper,
     author = {G. Chabert and L. Jaulin},
     title = "{QUIMPER}: {QU}ick {I}nterval {M}odeling and {P}rogramming in a bounded-{ER}ror context, available at {\tt, http://www.ibex-lib.org/}",
     publisher = "{ENSIETA}",
     year = 2008
   }


@ARTICLE{LagrangeIEEE08,
  author = {S. Lagrange and L. Jaulin and V. Vigneron and C. Jutten},
  year = 2008,
  title = {Nonlinear Blind Parameter Estimation},
  journal = {IEEE TAC},
  volume = 53,
  number = {4},
  pages = {834-838}
}



@ARTICLE{Gustavo_IEEE08,
  author = {G. Soares and A. Arnold-Bos and L. Jaulin and J. A. Vasconcelos and C. A. Maia},
  year = 2008,
  title = {An interval-based target tracking approach for range-only multistatic radar},
  journal = {IEEE Transactions on Magnetics},
  volume = 44,
  number = {6},
  pages = {1350--1353}
}


@ARTICLE{Lagrange:Automatica08,
  author = {S. Lagrange and N. Delanoue and L. Jaulin},
  year = 2008,
  title = {Injectivity Analysis using Interval Analysis. Application to Structural Identifiability},
  journal = {Automatica},
  volume = 44,
  number = {11},
  pages = {2959--2962}
}



%-------------------------------------------------------
%jaulin 2009
%-------------------------------------------------------
@Article{Chabert09,
  author   = {Chabert, G. and Jaulin, L.},
  year = 2009,
  title    = {{A Priori Error Analysis with Intervals}},
  journal  = {SIAM Journal on Scientific Computing},
  volume = 31,
  number = {3},
  pages = {2214--2230}
}

@Article{Jaulin:IEEE:TRO:09,
   author  = {L. Jaulin},
   title   = {{A Nonlinear Set-membership Approach for the Localization and Map Building of an Underwater Robot using Interval Constraint Propagation}},
   journal = {IEEE Transaction on Robotics},
   volume = 25,
   number = {1},
   year = 2009,
   pages = {88--98}
}


@ARTICLE{Jaulin09_Automatica_Robust,
  author = {L. Jaulin},
  year = 2009,
  title = {Robust set membership state estimation ; Application to Underwater Robotics},
  journal = {Automatica},
  volume = 45,
  number = {1},
  pages = {202--206}
}

@ARTICLE{Soares:TEAM22:09,
  author = {G. Soares and R. Adriano and C. Maia and  L. Jaulin and J. Vasconcelos},
  year = 2009,
  title = {Robust Multi-Objective TEAM 22 Problem: a Case Study of Uncertainties in Design Optimization},
  journal = {IEEE Transactions on Magnetics},
  volume = 45,
  number = {3},
  pages = {1028--1031}
}


@ARTICLE{ChabertJaulin09,
  author = {G. Chabert and L. Jaulin},
  title = {{Contractor Programming}},
  journal = {Artificial Intelligence},
  volume= {173},
  pages = {1079--1100},
  year = {2009}
}


@INPROCEEDINGS{jaulin2009:munich,
  author = {L. Jaulin},
  year = {2009},
  title = {Probabilistic set-membership estimation},
  booktitle = {Second Workshop on Principles and Methods of Statistical Inference with Interval Probability},
  address =  {Munich}
}


@InProceedings{JaulinBazeilleSysid09,
  author =  {L. Jaulin and S. Bazeille},
  title =  {Image Shape Extraction using Interval Methods},
  booktitle =  {Sysid 2009},
  year = {2009},
  address = {Saint Malo, France}
}

@InProceedings{Lebars2009,
  author =  {F. Le Bars, J. Sliwka and L. Jaulin},
  title =  {Analyse par intervalles pour le lancé de rayon et pour l'analyse de stabilité},
  booktitle =  {JD-JN-MACS},
  year = {2009},
  address = {Angers, France}
}

@InProceedings{Sliwka09,
  author =  {J. Sliwka, F. Le Bars and L. Jaulin},
  title =  {Calcul ensembliste pour la localisation et la cartographie robustes},
  booktitle =  {JD-JN-MACS},
  year = {2009},
  address = {Angers, France}
}



@InProceedings{ChabertMonotonicity09,
  author =  {G. Chabert and L. Jaulin},
  title =  {Hull Consistency Under Monotonicity},
  booktitle =  {CP'2009},
  year = {2009},
  address = {}
}


@InProceedings{ChabertJaulinLorca09,
  author =  {G. Chabert, L. Jaulin and X. Lorca},
  title =  {A Constraint on the Number of Distinct Vectors with Application to Localization},
  booktitle =  {CP'2009},
  year = {2009},
  address = {}
}


@InProceedings{QuiduDupasJaulin09,
  author =  {I. Quidu, Y. Dupas and L. Jaulin},
  title =  {Theoretical optical flow for target position prediction on FLS images},
  booktitle =  {Underwater Acoustic Measurements: Technologies & Results},
  year = {2009},
  address = {Nafplion, Greece}
}


@InProceedings{ReynetJaulinChabert09,
  author =  {O. Reynet, L. Jaulin and G. Chabert},
  title =  {Robust TDOA Passive Location Using Interval Analysis and Contractor Programming},
  booktitle =  {Radar},
  year = {2009},
  address = {Bordeaux, France}
}


  
%-------------------------------------------------------
%jaulin 2010

@Article{HerreroJaulin09,
  author =       {P. Herrero and L. Jaulin and J. Vehi and M. A. Sainz},
  title =        {Guaranteed Set-point Computation with Application to the Control of a Sailboat},
  journal =      {International Journal of Control Automation and Systems},
  volume =       {8},
  number =       {1},
  pages =        {1--7},
  year =         {2010}
}

@Article{Goldsztejn-Jaulin-RC2010,
	author = {A. Goldsztejn and L. Jaulin},
	title = {{Inner Approximation of the Range of Vector-Valued Functions}},
	journal = {Reliable Computing},
  year = 2010,
  pages = {1-23}
}

@Article{JaulinChabert2010,
  author =       {L. Jaulin and G. Chabert},
  title =        {Resolution of nonlinear interval problems using symbolic interval arithmetic},
  journal =      {Engineering Applications of Artificial Intelligence},
  volume =       {23},
  number =       {6},
  pages =        {1035--1049},
  year =         {2010}
}

@Article{Jaulin_probint0,
  author =       {L. Jaulin},
  title =        {Probabilistic set-membership approach for robust regression},
  journal =      {Journal of Statistical Theory and Practice},
  volume =       {4},
  number =       {1},
  year =         {2010}
}

@InProceedings{JaulinCifa2010,
  author =  {L. Jaulin},
  title =  {{Commande d’un skate-car par biomimétisme}},
  booktitle =  {CIFA 2010},
  year = {2010},
  address = {Nancy (France)}
}

@InProceedings{JaulinScan2010,
  author =  {L. Jaulin},
  title =  {{Solving set-valued constraint satisfaction problems}},
  booktitle =  {SCAN 2010},
  year = {2010},
  address = {Lyon (France)}
}

@InProceedings{LebarsBertholomSliwkaJaulin10,
  author =  {F. Le bars, A. Bertholom, J. Sliwka and L. Jaulin},
  title =  {Interval SLAM for underwater robots; a new experiment},
  booktitle =  {NOLCOS 2010},
  year = {2010},
  address = {Italy}
}



%-------------------------------------------------------
%jaulin 2011
%-------------------------------------------------------


@Book{jaulin:dig2011,
     author = {L. Jaulin},
     title = "Programs for Range Only SLAM with Occupancy maps, 
               available at {\tt, www.ensta-bretagne.fr/jaulin/dig.html}",
     publisher = "ENSTA-Bretagne",
      year = 2011
   }