Robust Control Systems with Uncertain Physical Parameters The tree structured decomposition: A new approach to robust stability analysis, Proceedings of the Conference on Information Sciences and Systems, 1989. ,
New tools for robustness analysis, Proceedings of the IEEE Conference on Decision and Control, pp.399-408, 1988. ,
New tools for robustness of linear systems, 1994. ,
Model selection via worst-case criterion for nonlinear bounded-error estimation, A paraître dans Proceedings 16th IEEE Instrumentation and Measurement Tech. Conf., Venise, pp.24-26, 1999. ,
Espaces euclidiens, triangles, cercles et sphères, Géométrie. Cedic/Fernand Nathan, vol.2, 1979. ,
Automatic generation of numerical redundancies for nonlinear constraint solving, Reliable Computing, pp.335-344, 1997. ,
Revising hull and box consistency, International Conference on Logic Programming, 1999. ,
Revising hull and box consistency, 1999. ,
Applying interval arithmetic to real, integer, and boolean constraints, The Journal of Logic Programming, vol.32, issue.1, pp.1-24, 1997. ,
DOI : 10.1016/S0743-1066(96)00142-2
URL : http://doi.org/10.1016/s0743-1066(96)00142-2
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
Estimation Nonlinéaire Robuste et Garantie Grâce À Lanalyse Par Intervalles, Applications En Électrochimie. D.E.A. Automatique et Traitement du Signal, 1999. ,
Scienti c Computation and Validated Numerics, chapitre On the Application of an Interval Algorithm for Set Inversion, pages 140146, 1996. ,
Logical arithmetic, Future Computing Systems, pp.125-149, 1987. ,
World modeling and position estimation for a mobile robot using ultrasonic ranging, Proc. IEEE Int. Conf. on Robotics and Automation, pp.674-680, 1989. ,
Interval Kalman filtering, IEEE Transactions on Aerospace and Electronic Systems, vol.33, issue.1, pp.250-258, 1997. ,
DOI : 10.1109/7.570759
Constraint propagation with interval labels, Arti cial Intelligence, pp.281-331, 1987. ,
Analyse par intervalles pour lautomatique; résolution globale et garantie de problèmes non linéaires en robotique et commande robuste ,
Guaranteed analysis and optimization of parametric systems, with application to their stability degree Guaranteed analysis and optimization of parametric systems, with application to their stability degree, Proceedings of 3rd European Control Conference, pp.1412-1417, 1995. ,
A dual approach to deterministic parameter identi cation, IEEE Transaction on Automatic Control, 1999. ,
Ellipsoidal state outer-bounding for MIMO systems via analytical techniques, Proc. IMACSIEEESMC CESA96 Symposium on Modelling and Simulation, pp.843-848, 1996. ,
Trace versus determinant in ellipsoidal outer bounding with application to state estimation Mobile robot localization using sonar, Proc. 13th IFAC World Congress, pp.43-48, 1987. ,
Application of bernstein expension to the solution of control problems, Reliable Computing, 1999. ,
Localizing Overlapping Parts by Searching the Interpretation Tree, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.9, issue.4, pp.469-482, 1987. ,
DOI : 10.1109/TPAMI.1987.4767935
Consistances locales et transformations symboliques de contraintes dintervalles, 1998. ,
Bounding the solution of interval linear equations, SIAM Journal of Numerical Analysis, vol.29, issue.5, pp.1493-1503, 1992. ,
Global Optimization using Interval Analysis, 1992. ,
Multiple hypothesis management for mobile vehicule localization, CD Rom of the European Control Conference, 1997. ,
Constraint reasoning based on interval arithmetic; the tolerance propagation approach Arti cial Intelligence, pages 71112, 1992. [Jau94] L. Jaulin. Solution globale et garantie de problèmes ensemblistes ; application à lestimation non linéaire et à la commande robuste, 1994. ,
Interval constraint propagation with application to bounded-error estimation, Automatica, 1999. ,
Path planning using intervals and graphs. Reliable Computing (soumis), 1999. ,
Reliable minimax parameter estimation. Reliable Computing (soumis), 1999. ,
Proving stability of uncertain parametric models, Automatica, pp.627-632, 1999. ,
Estimation via set-inversion: application to discrete-event systems, Reliable Computing, pp.165-173, 1999. ,
Motion planning using interval analysis Application of Interval Analysis to Systems and Control, MISC 99, pp.335-346, 1999. ,
Light scattering data analysis via set inversion, Journal of Physics A: Mathematical and General, vol.30, issue.22, pp.7733-7738, 1997. ,
DOI : 10.1088/0305-4470/30/22/012
URL : https://hal.archives-ouvertes.fr/hal-00843964
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, 1998. ,
DOI : 10.1109/TSMCC.2002.806747
URL : https://hal.archives-ouvertes.fr/hal-00845581
Set inversion, with application to guaranteed nonlinear estimation and robust control, Proc. Of the Workshop on Modeling Techniques for Uncertain Systems, 1992. ,
Guaranteed nonlinear estimation and robust stability analysis via set inversion, Proceedings of 2nd European Control Conference, pp.818-821, 1993. ,
Guaranteed nonlinear parameter estimation from bounded-error data via interval analysis, Math. and Comput. in Simulation, vol.35, 1993. ,
Guaranteed nonlinear parameter estimation via interval computations. Dans Conference on Numerical Analysis with Automatic Result Veri cation, 1993. ,
Guaranteed nonlinear parameter estimation via interval computations, Interval Computation, pp.61-75, 1993. ,
Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, issue.4, pp.1053-1064, 1993. ,
Modeling Techniques for Uncertain Systems, chapitre Set Inversion, with Application to Guaranteed Nonlinear Estimation and Robust Control, Birkhäuser, pp.3-20, 1994. ,
Bounding Approaches to System Identi cation, chapitre Guaranteed nonlinear set estimation via interval analysis, pp.363-382, 1996. ,
Guaranteed tuning, with application to robust control and motion planning, Automatica, vol.32, issue.8, pp.1217-12211, 1996. ,
Global numerical approach to nonlinear discrete-time control, IEEE Transactions on Automatic Control, vol.42, issue.6, pp.872-875, 1997. ,
DOI : 10.1109/9.587348
URL : https://hal.archives-ouvertes.fr/hal-00843967
Guaranteed parameter bounding for nonlinear models with uncertain experimental factors, Automatica, vol.35, issue.5, pp.849-856, 1999. ,
DOI : 10.1016/S0005-1098(98)00209-X
Guaranteed robust nonlinear parameter bounding, Proc. CESA96 IMACS Multiconference (Symposium on Modelling, pp.1156-1161, 1996. ,
Set inversion for chialgorithms , with application to guaranteed robot localization, Automatica, 1999. ,
Estimation ensembliste par analyse par intervalles, application à la localisation dun véhicule, 1999. ,
Guaranteed recursive nonlinear state estimation using interval analysis, Proc. 37th IEEE Conference on Decision and Control, pp.3966-3971, 1998. ,
Guaranteed recursive nonlinear state estimation using interval analysis. Internal Report Nr LSS-XX, long version of a paper submitted, IEEE Trans. on Aut. Control, 1999. ,
Localisation et suivi garantis dun robot par analyse par intervalles, 1999. ,
Nonlinear identi cation based on unreliable priors and data, with application to robot localization, Robustness in Identi cation and Control, pp.190-203, 1999. ,
Robust autonomous robot localization using interval analysis, 1999. ,
Guaranteed mobile robot tracking using interval analysis, Proc. MISC99 Workshop on Application of Interval Analysis to Systems and Control, pp.347-359, 1999. ,
Rigorously computed orbits of dynamical systems without the wrapping effect, Computing, vol.66, issue.Suppl, pp.47-67, 1998. ,
DOI : 10.1007/BF02684450
Méthodes ensemblistes pour la localisation de véhicules, Thèse de doctorat, 1998. ,
Mobile robot localization by tracking geometric beacons, IEEE Transactions on Robotics and Automation, vol.7, issue.3, pp.376-382, 1991. ,
DOI : 10.1109/70.88147
Directed Sonar Sensing for Mobile Robot Navigation, 1992. ,
DOI : 10.1007/978-1-4615-3652-9
Consistency techniques for numeric CSPs, Proceedings of International Joint Conference on Arti cial Intelligence, pp.232-238, 1993. ,
Vehicule localization from inaccurate telemetric data: a set inversion approach, Proc. 5th IFAC Symposium on Robot Control SY.RO.CO.97, pp.179-186, 1997. ,
Computer Arithmetic: Scienti c Computation and Programming Languages, chapitre Enclosing the solutions of ordinary initial and boundary value problems, 255286. E. Kaucher and U. Kulisch and Ch. Ullrich, 1987. ,
Application des techniques CSP au raisonnement sur les intervalles, Revue dintelligence Arti cielle, vol.11, issue.3, pp.283-311, 1997. ,
B 3 algorithm for robust performances analysis in presence of mixed parametric and dynamic pertubations, Proceedings of the 31st IEEE Conference on Decision and Control, pp.128-133, 1992. ,
State bounding with ellipsoidal set description of the uncertainty, International Journal of Control, vol.1, issue.5, pp.847-866, 1996. ,
DOI : 10.1016/0378-4754(90)90001-Y
Bounding Approaches to System Identi cation, 1996. ,
Interval Analysis, 1966. ,
Methods and Applications of Interval Analysis, 1979. ,
A distributed cooperating constraint solving system Multisensor mobile robot localization, Proc. IEEE International Conference on Robotics and Automation, pp.93-113, 1995. ,
Roles for deterministic bounding in environmental modeling, Ecological Modelling, vol.86, pp.157-161, 1996. ,
Multivalue codes: application to autonomous robots. Robotic and factories of the future, 1990. ,
Global minimum-time trajectory planning of mechanical manipulators using interval analysis, International Journal of Control, vol.71, issue.4, pp.631-652, 1998. ,
DOI : 10.1080/002071798221713
System inversion based control of an overhead crane, Procedings of CDC99, 1999. ,
Development of a model for the wet air oxidation of phenol based on a free radical mechanism, Chemical Engineering Science, vol.53, issue.14, pp.2575-2586, 1998. ,
DOI : 10.1016/S0009-2509(98)00060-8
Enclosing solutions of overdetermined systems of linear interval equations, Reliable Computing, pp.167-171, 1996. ,
Uncertain Dynamic Systems, 1973. ,
Generating semantic descriptions from drawings of scenes with shadows. The Psychology of Computer Vision, pp.19-91, 1975. ,
Guaranteed characterization of stability domains via set inversion, IEEE Transactions on Automatic Control, vol.39, issue.4, pp.886-889, 1994. ,
DOI : 10.1109/9.286277
Estimation of the parameter uncertainty resulting from bounded-error data, Mathematical Biosciences, vol.92, issue.1, pp.55-74, 1988. ,
DOI : 10.1016/0025-5564(88)90005-3
Numerical approach to constrained nonlinear generalized predictive control, IFAC 14th Triennal Word Congress, pp.13-17, 1999. ,
Robustness analysis of polynomials with polynomial parameter dependency using Bernstein expansion, IEEE Transactions on Automatic Control, vol.43, issue.3, pp.425-431, 1998. ,
DOI : 10.1109/9.661615