Guaranteed set-point computation with application to the control of a sailboat
- 76 Downloads
The problem of characterizing in a guaranteed way the set of all feasible set-points of a control problem is known to be difficult. In the present work, the problem to be solved involves non-linear equality constraints with variables affected by logical quantifiers. This problem is not solvable by current symbolic methods like quantifier elimination, which is commonly used for solving this class of problems. We propose the utilization of guaranteed set-computation techniques based on interval analysis, in particular a solver referred to as Quantified Set Inversion (QSI). As an application example, the problem of simultaneously controlling the speed and the orientation of a sailboat is presented. For this purpose, the combination of QSI solver and feedback linearization techniques is employed.
KeywordsFeedback linearization interval analysis non-linear control set computation
Unable to display preview. Download preview PDF.
- Microtransat Challenge Cup. http://www.microtransat.org.
- Sailbot Competition. http://engsoc.queensu.ca/sailboat/competition/index.htm.
- 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, Crete, Greece, 1996.Google Scholar
- 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, vol. 1894, pp. 67–82, 2000.Google Scholar
- G. E. Collins, “Quantifier elimination for real closed fields by cylindrical algebraic decomposition,” Proc. of the 2nd GI Conf. Automata Theory and Formal Languages, vol. 33, pp. 134–189. Springer, 1975.Google Scholar
- G. Elkaim and R. Kelbley, “Control architecture for segmented trajectory following of a wind-propelled autonomous catamaran,” Proc. of the AIAA Guidance, Navigation, and Control Conference, Keystone, CO, 2006.Google Scholar
- 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, San Diego, CA, 2006.Google Scholar
- P. Herrero, Quantified Real Constraint Solving Using Modal Intervals with Applications to Control, Ph.D. thesis, Universitat de Girona, Girona, Spain, 2006.Google Scholar
- P. Herrero and L. Jaulin, Software: SailBoat control using set computation and feedback linearization, http://pau.herrero.googlepages.com/software.
- L. Jaulin, Représentation d’état pour la modélisation et la commande des systèmes, Hermes, 2001.Google Scholar
- L. Jaulin, I. Braems, and E. Walter, “Interval methods for nonlinear identification and robust control,” Proc. of Conference on Decision and Control, La Vegas, 2002.Google Scholar
- MiceLab, MISO: Modal Interval Software, http://pau.herrero.googlepages.com/software.
- M. Sainz, P. Herrero, J. Vehi, and J. Armengol, “Continuous minimax optimization using modal intervals,” Journal of Mathematical Analysis and Applications, Elsevier Science, Oxford, UK, vol. 339, no. 1, pp. 18–30, 2006.Google Scholar