{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:27:27Z","timestamp":1725470847601},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462675"},{"type":"electronic","value":"9783540462682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11889205_19","type":"book-chapter","created":{"date-parts":[[2006,9,28]],"date-time":"2006-09-28T12:07:42Z","timestamp":1159445262000},"page":"244-255","source":"Crossref","is-referenced-by-count":9,"title":["Localization of an Underwater Robot Using Interval Constraint Propagation"],"prefix":"10.1007","author":[{"given":"Luc","family":"Jaulin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Leonard, J.J., Durrant-Whyte, H.F.: Dynamic map building for an autonomous mobile robot. International Journal of Robotics Research\u00a011(4) (1992)","DOI":"10.1177\/027836499201100402"},{"key":"19_CR2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: A Modeling Language for Global Optimization","author":"P. van Hentenryck","year":"1997","unstructured":"van Hentenryck, P., Deville, Y., Michel, L.: Numerica: A Modeling Language for Global Optimization. MIT Press, Boston (1997)"},{"key":"19_CR3","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: Proceedings of the International Conference on Logic Programming, Las Cruces, NM, pp. 230\u2013244 (1999)"},{"key":"19_CR4","unstructured":"Sam-Haroud, D.: Constraint consistency techniques for continuous domains. Ph.D dissertation 1423, Swiss Federal Institute of Technology in Lausanne, Switzerland (1995)"},{"issue":"4","key":"19_CR5","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1023\/A:1009821007410","volume":"4","author":"M. Emden van","year":"1999","unstructured":"van Emden, M.: Algorithmic power from declarative use of redundant constraints. Constraints\u00a04(4), 363\u2013381 (1999)","journal-title":"Constraints"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/11425076_10","volume-title":"Global Optimization and Constraint Satisfaction","author":"C. Drocourt","year":"2005","unstructured":"Drocourt, C., Delahoche, L., Brassart, E., Marhic, B., Cl\u00e9rentin, A.: Incremental construction of the robot\u2019s environmental map using interval analysis. In: Jermann, C., Neumaier, A., Sam, D. (eds.) COCOS 2003. LNCS, vol.\u00a03478, pp. 127\u2013141. Springer, Heidelberg (2005)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Porta, J.M.: Cuikslam: A kinematics-based approach to slam. In: Proceedings of the 2005 IEEE International Conference on Robotics and Automation, Barcelona (Spain), pp. 2436\u20132442 (2005)","DOI":"10.1109\/ROBOT.2005.1570476"},{"key":"19_CR8","unstructured":"Baguenard, X.: Propagation de contraintes sur les intervalles. Application \u00e1 l\u2019\u00e9talonnage des robots. Ph.D dissertation, Universit\u00e9 d\u2019Angers, Angers, France (2005), Available at: www.istia.univ-angers.fr\/~baguenar\/"},{"key":"19_CR9","volume-title":"Robust Control and Robotics","author":"L. Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis, with Examples in Parameter and State Estimation. In: Robust Control and Robotics. Springer, London (2001)"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"1771","DOI":"10.1016\/j.automatica.2004.05.006","volume":"40","author":"R. Raissi","year":"2004","unstructured":"Raissi, R., Ramdani, N., Candau, Y.: Set membership state and parameter estimation for systems described by nonlinear differential equations. Automatica\u00a040, 1771\u20131777 (2004)","journal-title":"Automatica"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11425076_11","volume-title":"Global Optimization and Constraint Satisfaction","author":"F. Lydoire","year":"2005","unstructured":"Lydoire, F., Poignet, P.: Nonlinear predictive control using constraints satisfaction. In: Jermann, C., Neumaier, A., Sam, D. (eds.) COCOS 2003. LNCS, vol.\u00a03478, pp. 142\u2013153. Springer, Heidelberg (2005)"},{"issue":"5","key":"19_CR12","first-page":"369","volume":"11","author":"P.H. Vinas","year":"2006","unstructured":"Vinas, P.H., Sainz, M.A., Vehi, J., Jaulin, L.: Quantified set inversion algorithm with applications to control. Reliable computing\u00a011(5), 369\u2013382 (2006)","journal-title":"Reliable computing"},{"issue":"1","key":"19_CR13","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.tcs.2005.09.055","volume":"351","author":"N. Delanoue","year":"2006","unstructured":"Delanoue, N., Jaulin, L., Cottenceau, B.: Using interval arithmetic to prove that a set is path-connected. Theoretical Computer Science, Special issue: Real Numbers and Computers\u00a0351(1), 119\u2013128 (2006)","journal-title":"Theoretical Computer Science, Special issue: Real Numbers and Computers"},{"issue":"5","key":"19_CR14","doi-asserted-by":"publisher","first-page":"1896","DOI":"10.1137\/S0036142901392316","volume":"40","author":"M. Janssen","year":"2002","unstructured":"Janssen, M., Van Hentenryck, P., Deville, Y.: A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. SIAM Journal on Numerical Analysis\u00a040(5), 1896\u20131939 (2002)","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1016\/S0005-1098(01)00284-9","volume":"38","author":"L. Jaulin","year":"2002","unstructured":"Jaulin, L.: Nonlinear bounded-error state estimation of continuous-time systems. Automatica\u00a038, 1079\u20131082 (2002)","journal-title":"Automatica"},{"key":"19_CR16","unstructured":"Gning, A.: Localisation garantie d\u2019automobiles. Contribution aux techniques de satisfaction de contraintes sur les intervalles. Ph.D dissertation, Universit\u00e9 de Technologie de Compi\u00e9gne, Compi\u00e9gne, France (2006)"},{"key":"19_CR17","unstructured":"Bouron, P.: M\u00e9thodes ensemblistes pour le diagnostic, l\u2019estimation d\u2019\u00e9tat et la fusion de donn\u00e9es temporelles. Ph.D dissertation, Universit\u00e9 de Compi\u00e8gne, Compi\u00e8gne, France (2002)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2006"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/11889205_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:51:25Z","timestamp":1605642685000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/11889205_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462675","9783540462682"],"references-count":17,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/11889205_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}