C. Abdallah, P. Dorato, W. Yang, R. Liska, and S. Steinberg, Applications of quantifier elimination theory to control system design, Proc. of the 4th IEEE Mediterranean Symposium on Control and Automation, 1996.

F. Benhamou and F. Goulard, Universally Quantified Interval Constraints, Lecture Notes in Computer Science -Proc. of the 6th International Conference on Principles and Practice of Constraint Programming, pp.67-82, 2000.
DOI : 10.1007/3-540-45349-0_7

G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Proc. of the 2nd GI Conf. Automata Theory and Formal Languages, pp.134-189, 1975.

P. Dorato, Quantified multivariate polynomial inequalities. The mathematics of practical control design problems, IEEE Control Systems Magazine, vol.20, issue.5, pp.48-58, 2000.
DOI : 10.1109/37.872903

G. Elkaim and R. Kelbley, Control Architecture for Segmented Trajectory Following of a Wind-Propelled Autonomous Catamaran, AIAA Guidance, Navigation, and Control Conference and Exhibit, 2006.
DOI : 10.2514/6.2006-6782

G. Elkaim, B. Woodley, and R. Kelbley, Model free subspace H-infinity control for an autonomous catamaran, Proc. of the ION/IEEE Position, Location , and Navigation Symposium, 2006.

M. Fliess, J. Lévine, P. Martin, and P. Rouchon, Flatness and defect of non-linear systems: introductory theory and examples, International Journal of Control, vol.4, issue.6, pp.1327-1361, 1995.
DOI : 10.1109/9.73561

E. Gardeñes, M. Á. Sainz, L. Jorba, R. Calm, R. Estela et al., Modal intervals, Reliable Computing, vol.7, issue.2, pp.77-111, 2001.
DOI : 10.1023/A:1011465930178

P. Herrero, Quantified Real Constraint Solving Using Modal Intervals with Applications to Control, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00331668

P. Herrero and L. Jaulin, Software: SailBoat control using set computation and feedback linearization

P. Herrero, J. Vehí, M. Á. Sainz, and L. Jaulin, Quantified Set Inversion Algorithm with Applications to Control, Reliable Computing, vol.10, issue.1, pp.369-382, 2005.
DOI : 10.1007/s11155-005-0044-1

URL : https://hal.archives-ouvertes.fr/hal-00518707

R. Hirschorn, Output Tracking Through Singularities, SIAM Journal on Control and Optimization, vol.40, issue.4, pp.993-1010, 2001.
DOI : 10.1137/S0363012999354879

L. Jaulin, Représentation d'état pour la modélisation et la commande des systèmes, 2001.

L. Jaulin, I. Braems, and E. Walter, Interval methods for nonlinear identification and robust control, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 2002.
DOI : 10.1109/CDC.2002.1185116

URL : https://hal.archives-ouvertes.fr/hal-00845884

M. Jirstrand, Nonlinear Control System Design by Quantifier Elimination, Journal of Symbolic Computation, vol.24, issue.2, pp.137-152, 1997.
DOI : 10.1006/jsco.1997.0119

. Micelab, MISO: Modal Interval Software

S. Ratschan, Efficient solving of quantified inequality constraints over the real numbers, ACM Transactions on Computational Logic, vol.7, issue.4, pp.723-748, 2006.
DOI : 10.1145/1183278.1183282

M. Sainz, P. Herrero, J. Vehi, and J. Armengol, Continuous minimax optimization using modal intervals, Journal of Mathematical Analysis and Applications, vol.339, issue.1, pp.18-30, 2006.
DOI : 10.1016/j.jmaa.2007.04.003

URL : http://doi.org/10.1016/j.jmaa.2007.04.003

A. Tarski, A Decision Method for Elementary Algebra And Geometry, Univ, 1951.