Applications of quantifier elimination theory to control system design, Proc. of the 4th IEEE Mediterranean Symposium on Control and Automation, 1996. ,
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
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. ,
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
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
Model free subspace H-infinity control for an autonomous catamaran, Proc. of the ION/IEEE Position, Location , and Navigation Symposium, 2006. ,
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
Modal intervals, Reliable Computing, vol.7, issue.2, pp.77-111, 2001. ,
DOI : 10.1023/A:1011465930178
Quantified Real Constraint Solving Using Modal Intervals with Applications to Control, 2006. ,
URL : https://hal.archives-ouvertes.fr/tel-00331668
Software: SailBoat control using set computation and feedback linearization ,
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
Output Tracking Through Singularities, SIAM Journal on Control and Optimization, vol.40, issue.4, pp.993-1010, 2001. ,
DOI : 10.1137/S0363012999354879
Représentation d'état pour la modélisation et la commande des systèmes, 2001. ,
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
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
MISO: Modal Interval Software ,
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
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 Decision Method for Elementary Algebra And Geometry, Univ, 1951. ,