Box particle filtering for nonlinear state estimation using interval analysis, Automatica, vol.44, issue.3, pp.807-815, 2008. ,
DOI : 10.1016/j.automatica.2007.07.024
Box particle filtering for nonlinear state estimation using interval analysis, Automatica, vol.44, issue.3, pp.807-815, 2008. ,
DOI : 10.1016/j.automatica.2007.07.024
Upper bounding in inner regions for global optimization under inequality constraints, Journal of Global Optimization, vol.103, issue.2, pp.145-164, 2014. ,
DOI : 10.1007/s10107-005-0581-8
URL : https://hal.archives-ouvertes.fr/hal-01061701
Maple 10 Programming Guide, 2005. ,
DOI : 10.1007/978-1-4684-0487-6
Revising Hull and Box Consistency, Proceedings of the International Conference on Logic Programming, pp.230-244, 1999. ,
Lectures on modern convex optimization: analysis, algorithms, and engineering applications, 2001. ,
DOI : 10.1137/1.9780898718829
URL : http://iew3.technion.ac.il/Labs/Opt/opt/LN/Final.pdf
Statistical Decision Theory and Bayesian Analysis, 1985. ,
DOI : 10.1007/978-1-4757-4286-2
Statool: a tool for Distribution Envelope Determination (DEnv), an interval-based algorithm for arithmetic on random variables, In: Reliable Computing, vol.92, pp.91-108, 2003. ,
Recursive state estimation for a set-membership description of uncertainty, IEEE Transactions on Automatic Control, vol.16, issue.2, pp.117-128, 1971. ,
DOI : 10.1109/TAC.1971.1099674
A pure probabilistic approach to range-only SLAM, 2008 IEEE International Conference on Robotics and Automation, pp.1436-1441, 2008. ,
DOI : 10.1109/ROBOT.2008.4543404
Guaranteed 3-D mobile robot localization using an odometer, an automatic theodolite and indistinguishable landmarks, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164), pp.3612-3617, 2001. ,
DOI : 10.1109/ROBOT.2001.933178
, Linear Matrix Inequalities in System and Control Theory. Studies in Applied Mathematics, vol.15, p.95, 1994.
Convex optimization Available at www.stanford.edu/?boyd, p.94, 2003. ,
Q-Intersection Algorithms for Constraint-Based Robust Parameter Estimation, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp.2630-26368290, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01084606
Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation, Eighth Conference on Artificial Intelligence, pp.2630-2636, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01084606
Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009. ,
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957
Speed of sound in seawater at high pressures, In: The Journal of the Acoustical Society of America, vol.625, pp.1129-1135, 1977. ,
Interval Kalman filtering, IEEE Transactions on Aerospace and Electronic Systems, vol.33, issue.1, pp.250-259, 1997. ,
DOI : 10.1109/7.570759
Ellipsoidal state estimation for dynamical systems, Nonlinear Analysis: Theory, Methods & Applications, vol.63, issue.5-7, pp.5-7, 2004. ,
DOI : 10.1016/j.na.2005.01.009
Masking Failures of Multidimensional Sensors, Tenth Symposium on Reliable Distributed Systems (SRDS). 1991, pp.32-41 ,
DOI : 10.1109/reldis.1991.145402
URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA235580&Location=U2&doc=GetTRDoc.pdf
Sign-Perturbed Sums: A New System Identification Approach for Constructing Exact Non-Asymptotic Confidence Regions in Linear Regression Models, IEEE Transactions on Signal Processing, vol.63, issue.1, pp.169-181, 2015. ,
DOI : 10.1109/TSP.2014.2369000
MonoSLAM: Real-Time Single Camera SLAM, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.29, issue.6, 2007. ,
DOI : 10.1109/TPAMI.2007.1049
URL : http://spiral.imperial.ac.uk/bitstream/10044/1/695/1/MonoSLAM Real-Time Single Camera SLAM.pdf
Set-membership approach to the kidnapped robot problem, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2015. ,
DOI : 10.1109/IROS.2015.7353897
URL : https://hal.archives-ouvertes.fr/hal-01236504
, , p.9, 2015.
High integrity GNSS location zone characterization using interval analysis, In: ION GNSS, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00444819
A set-membership approach for high integrity height-aided satellite positioning, GPS Solutions, vol.72, issue.7, pp.357-368, 2011. ,
DOI : 10.1007/s001900050163
URL : https://hal.archives-ouvertes.fr/hal-00608133
VIBes: A Visualizer for Intervals and Boxes, Mathematics in Computer Science, vol.8, issue.3-4, pp.563-572, 2014. ,
DOI : 10.1007/s11786-014-0202-0
URL : https://hal.archives-ouvertes.fr/hal-01090043
Study of robust set estimation methods for a high integrity multi-sensor localization. Application to navigation in urban areas, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00679502
Localization Confidence Domains via Set Inversion on Short-Term Trajectory, IEEE Transactions on Robotics, vol.29, issue.5, pp.1244-1256, 2013. ,
DOI : 10.1109/TRO.2013.2262776
URL : https://hal.archives-ouvertes.fr/hal-00877443
Fuzzy Sets and Systems: Theory and Applications, 1997. ,
System Identification, Parameter and State Estimation, 1974. ,
IMU preintegration on manifold for efficient visualinertial maximum-a-posteriori estimation In: Georgia Institute of Technology, 2015. ,
Guidance and control of ocean vehicles, Ltd, 1994. ,
SDPA (SemiDefinite Programming Algorithm) User's Manual ? Version 7 ,
Set-membership identifiability: definitions and analysis, Proceedings of the 18th IFAC World Congress, pp.12024-12029, 2011. ,
DOI : 10.3182/20110828-6-IT-1002.01779
Computing minimal-volume credible sets using interval analysis; application to bayesian estimation, IEEE Transactions on Signal Processing, vol.54, issue.9, pp.3632-3636, 2006. ,
DOI : 10.1109/TSP.2006.877676
URL : https://hal.archives-ouvertes.fr/hal-00518650
Probabilistic Set-Membership Approach for Robust Regression, Journal of Statistical Theory and Practice, vol.4, issue.4, p.58, 2010. ,
DOI : 10.1023/A:1009821007410
URL : https://hal.archives-ouvertes.fr/hal-00450104
Range-Only SLAM With Occupancy Maps: A Set-Membership Approach, IEEE Transactions on Robotics, vol.27, issue.5, pp.1004-1010, 2011. ,
DOI : 10.1109/TRO.2011.2147110
URL : https://hal.archives-ouvertes.fr/hal-00636000
Set-membership localization with probabilistic errors, Robotics and Autonomous Systems, vol.59, issue.6, pp.489-495, 2011. ,
DOI : 10.1016/j.robot.2011.03.005
URL : https://hal.archives-ouvertes.fr/hal-00593265
Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem, Reliable Computing, vol.4, issue.4, pp.1-17, 2005. ,
DOI : 10.1137/1.9781611970791
URL : https://hal.archives-ouvertes.fr/hal-00518706
Applied Interval Analysis, pp.89-91, 2001. ,
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131
Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, p.90, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00845131
Guaranteed robust nonlinear estimation with application to robot localization, IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), vol.32, issue.4, pp.374-382, 2002. ,
DOI : 10.1109/TSMCC.2002.806747
URL : https://hal.archives-ouvertes.fr/hal-00845581
Guaranteed nonlinear estimation and robust stability analysis via set inversion, Proceedings of the 2nd European Control Conference, pp.818-821, 1993. ,
DOI : 10.1007/978-1-4757-9545-5_23
Guaranteed Nonlinear Parameter Estimation Via Interval Computations In: Conference on Numerical Analysis with Automatic Result Verification, (Lafayette), 1993. ,
DOI : 10.1007/978-1-4757-9545-5_23
Bounding Approaches to System Identification Plenum, 1996. Chap. Guaranteed nonlinear set estimation via interval analysis, pp.363-382 ,
Guaranteed robust nonlinear minimax estimation, IEEE Transactions on Automatic Control, vol.47, issue.11, pp.1857-1864, 2002. ,
DOI : 10.1109/TAC.2002.804479
URL : https://hal.archives-ouvertes.fr/hal-00845633
Robust set-membership state estimation; application to underwater robotics, Automatica, vol.45, issue.1, pp.202-206, 2009. ,
DOI : 10.1016/j.automatica.2008.06.013
URL : https://hal.archives-ouvertes.fr/hal-00449524
Applied interval analysis : with examples in parameter and state estimation, robust control and robotics. Pas de CD pour l'exemplaire acheté en, p.61, 2001. ,
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131
A New Extension of the Kalman Filter to Nonlinear Systems, pp.182-193, 1997. ,
Contributions to the theory of optimal control, Bol. Soc. Mat. Mex, vol.5, pp.102-119, 1960. ,
Contributions to the Theory of Optimal Control, Bol. Soc. Mat. Mex, vol.5, pp.102-119, 1960. ,
Preliminary Results in Range-only Localization and Mapping, Proceedings of the IEEE Conference on Robotics and Automation (ICRA '02, pp.1818-1823, 2002. ,
A new polynomial-time algorithm for linear programming, Combinatorica, vol.244, issue.S, pp.373-395, 1984. ,
DOI : 10.1007/BF02579150
URL : http://www.eecs.berkeley.edu/~orecchia/working/karmakar full.pdf
Guaranteed recursive nonlinear state estimation using interval analysis, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), pp.3966-3971, 1998. ,
DOI : 10.1109/CDC.1998.761917
URL : https://hal.archives-ouvertes.fr/hal-00845635
Guaranteed recursive nonlinear state estimation using interval analysis, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), pp.3966-3971, 1998. ,
DOI : 10.1109/CDC.1998.761917
URL : https://hal.archives-ouvertes.fr/hal-00845635
Guaranteed characterization of exact non-asymptotic confidence regions as defined by LSCR and SPS, Automatica, vol.50, issue.2, pp.507-512, 2014. ,
DOI : 10.1016/j.automatica.2013.11.010
URL : https://hal.archives-ouvertes.fr/hal-00935817
Probabilities, intervals, what next ? Extension of interval computations to situations with partial information about probabilities, 10th IMEKO TC7 International symposium, 2004. ,
DOI : 10.1023/b:jogo.0000044769.91651.87
URL : http://www.cs.utep.edu/vladik/2003/tr03-12a.ps.gz
Rigorously computed orbits of dynamical systems without the wrapping effect, Computing, vol.66, issue.Suppl, pp.47-67, 1998. ,
DOI : 10.1007/978-1-4613-8431-1
OMNE: A new robust membership-set estimator for the parameters of nonlinear models, Journal of Pharmacokinetics and Biopharmaceutics, vol.22, issue.3, pp.203-219, 1987. ,
DOI : 10.1016/0378-4754(86)90043-1
OMNE: A new robust membership-set estimator for the parameters of nonlinear models, Journal of Pharmacokinetics and Biopharmaceutics, vol.22, issue.3, 1987. ,
DOI : 10.1016/0378-4754(86)90043-1
A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability, Mathematics in Computer Science, vol.91, issue.7, pp.3-4, 2014. ,
DOI : 10.1109/JPROC.2003.814621
URL : https://hal.archives-ouvertes.fr/hal-01061865
Maintaining the Time in a Distributed System: An Example of a Loosely-Coupled Distributed Service PhD dissertation, 1984. ,
, Bounding Approaches to System Identification, 1996.
Theory of random sets. Probability and its applications, 2005. ,
A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations In: in: Perspectives on Enclosure Methods, pp.219-264, 1999. ,
Interior-point polynomial methods in convex programming, 1994. ,
Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.199-204, 2014. ,
DOI : 10.1109/IROS.2014.6942561
URL : https://hal.archives-ouvertes.fr/hal-01122047
Pure range-only sub-sea SLAM, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422), pp.1921-1926, 2003. ,
DOI : 10.1109/ROBOT.2003.1241875
Contractors and Linear Matrix Inequalities, ASCE-ASME J. Risk and Uncert. in Engrg. Sys., Part B: Mech. Engrg., vol.1, issue.3, 2015. ,
DOI : 10.1115/1.4030781
URL : https://hal.archives-ouvertes.fr/hal-01192706
Comparison of Kalman and Interval Approaches for the Simultaneous Localization and Mapping of an Underwater Vehicle, In: Special Issue on Ocean Engineering and Oceanography, vol.47, issue.11, p.43, 2017. ,
DOI : 10.1109/TAC.2002.804479
URL : https://hal.archives-ouvertes.fr/hal-01707402
Global Optimization based on Interval Analysis: Affine Relaxation and Limited Memory Theses. Institut National Polytechnique de Toulouse -INPT url: https, p.61, 2010. ,
An Automatic Linear Reformulation Technique Based on Affine Arithmetic, anglais. In: International Symposium on Mathematical Programming (ISMP), p.52, 2009. ,
Special Issue on Bounded-Error Estimation: Issue 1, International Journal of Adaptive Control and Signal Processing, vol.8, issue.1, pp.1-118 ,
Robust Range-Only Beacon Localization, In: Oceanic Engineering IEEE Journal of 31, issue.4, 2006. ,
, Physics Today, vol.20, issue.1, 1984.
DOI : 10.1063/1.3034123
https : / / www . ixblue . com / products / phins. Accessed, pp.2015-2027 ,
Ellipsoidal parameter or state estimation under model uncertainty, Automatica, vol.40, issue.7, pp.1171-1179, 2004. ,
DOI : 10.1016/j.automatica.2004.02.014
Interval Analysis, 1966. ,
Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, issue.10, pp.1771-1777, 2004. ,
DOI : 10.1016/j.automatica.2004.05.006
Computing Reachable Sets for Uncertain Nonlinear Hybrid Systems using Interval Constraint Propagation Techniques In: Nonlinear Analysis: Hybrid Systems 5, pp.149-162, 2011. ,
DOI : 10.3182/20090916-3-es-3003.00028
URL : http://www.lirmm.fr/%7Eramdani/pdfs/Ramdani_NAHS_2009.pdf
https : / / www . ixblue . com / products / ramses. Accessed, pp.2015-2027 ,
Information and the accuracy attainable in the estimation of statistical parameters, In: Bull. Calcutta Math. Soc, vol.37, pp.81-91, 1945. ,
Bayesian Estimation With Imprecise Likelihoods: Random Set Approach, IEEE Signal Processing Letters, vol.18, issue.7, pp.395-398, 2011. ,
DOI : 10.1109/LSP.2011.2152392
Robots marins et sous-marins Perception, modélisation, commande In: Techniques de l'ingénieur Applications en robotique base documentaire : TIB623DUO.ref. article : s7783 (2016). fre. eprint: basedocumentaire : TIB623DUO.. url: http://www.techniques-ingenieur.fr/base-documentaire/ automatique-robotique-th16/applications-en-robotique- 42623210 / robots -marins -et -sous -marins -s7783, p.13 ,
General description of the BELLHOP ray tracing program -Version 1.0. Tech. rep. Universidade do Algarve - Physics Department, 2008. ,
Real-Time Ray Tracing of Implicit Surfaces on the GPU, IEEE Transactions on Visualization and Computer Graphics, vol.16, issue.2, 2010. ,
DOI : 10.1109/TVCG.2009.41
URL : http://cvit.iiit.ac.in/papers/singhImplicitTVCG.pdf
Autonomous Robot Vehicles, Chap. Estimating Uncertain Spatial Relationships in Robotics, pp.167-193, 1990. ,
Quasi-continuous histograms, Fuzzy Sets and Systems, vol.160, issue.17, pp.2442-2465, 2009. ,
DOI : 10.1016/j.fss.2009.01.013
URL : https://hal.archives-ouvertes.fr/lirmm-00127879
, , 2005.
Interval Kalman filter enhanced by positive definite upper bounds In: IFAC World Congrès, 2017. ,
Architectures pour des systèmes de localisation et de cartographie simultanées ,
Experimental comparison of Bounded-Error State Estimation and Constraints Propagation, 2011 IEEE International Conference on Robotics and Automation, pp.9-13, 2011. ,
DOI : 10.1109/ICRA.2011.5980313
Identification of Parametric Models from Experimental Data, 1997. ,
The Unscented Kalman Filter, pp.221-280, 2001. ,
,
Fault detection using interval Kalman filtering enhanced by constraint propagation, 2013 IEEE 52nd Annual Conference on. IEEE. 2013, pp.490-495 ,
URL : https://hal.archives-ouvertes.fr/hal-01966325