论文信息 - Quelques applications de la propagation de contraintes sur les domaines continus en automatique

Quelques applications de la propagation de contraintes sur les domaines continus en automatique

De nombreux problemes d'automatique sont des problemes de satisfaction de contraintes sur des domaines continus. L'analyse par intervalles combinee a des techniques de propagation de contraintes permet de resoudre efficacement ce type de problemes en garantissant la completude. L'approche sera utilisee pour la resolution de problemes d'estimation ensembliste et de commande robuste.

Marc Christie | Luc Jaulin | Laurent Granvilliers

[1] Lubomir V. Kolev. An interval first-order method for robustness analysis , 1993, 1993 IEEE International Symposium on Circuits and Systems.

[2] Ernest Davis,et al. Constraint Propagation with Interval Labels , 1987, Artif. Intell..

[3] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..

[4] Valeri Mladenov,et al. Interval mathematics algorithms for tolerance analysis , 1988 .

[5] R. Baker Kearfott. Interval Mathematics Techniques for Control Theory Computations , 1989 .

[6] Olivier Lhomme,et al. Consistency Techniques for Numeric CSPs , 1993, IJCAI.

[7] Frédéric Benhamou,et al. Applying Interval Arithmetic to Real, Integer, and Boolean Constraints , 1997, J. Log. Program..

[8] Laurent Granvilliers,et al. On the Combination of Interval Constraint Solvers , 2001, Reliab. Comput..

[9] Pascal Van Hentenryck,et al. Numerica: A Modeling Language for Global Optimization , 1997, IJCAI.

[10] W. Bowen,et al. Philadelphia , 1892 .

[11] Alex M. Andrew,et al. Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics , 2002 .

[12] B. Ross Barmish,et al. New Tools for Robustness of Linear Systems , 1993 .

[13] C. Lottaz. Collaborative design using solution spaces , 2000 .

[14] Eric Walter,et al. Identification of Parametric Models: from Experimental Data , 1997 .

[15] K. Bowers,et al. Computation and Control , 1989 .