Quantified Set Inversion with applications to control

Proceedings of the IEEE International Symposium on Computer-Aided Control System Design

Volumn , Issue , 2004, Pages 179-183

  Herrero, Pau ^a   Sainz, Miguel A ^a   Vehí, Josep ^a   Jaulin, Luc ^b  

^a UNIVERSITY OF GIRONA   (Spain)

^b UNIVERSITÉ D'ANGERS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; IDENTIFICATION (CONTROL SYSTEMS); MATHEMATICAL MODELS; MODAL ANALYSIS; NONLINEAR SYSTEMS; PROBLEM SOLVING;

ENGINEERING PROBLEMS; NONLINEAR MODELS; QUANTIFIED CONSTRAINTS SATISFACTION PROBLEMS (QCSP); SET INVERSION (SI) TECHNIQUES;

CONTROL SYSTEMS;

EID: 20444391310     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. Joaquim Armengol, Josep Vehí, Miguel Á. Sainz, and Pau Herrero. Fault detection in a pilot plant using interval models and multiple sliding time windows. In 5th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS 2003. Washington, B.C., U.S.A., page Accepted, 2003.
2. F. Benhaniou and F. Goulard. Universally quantified interval constraints. Sixth International Conference on Principles of Constraint Programming, 2000.
3. Languénou E. Christie M. Benhamou F., Goualard F. Universally quantified interval constraint solving: an application to camera control. ACM transactions on Computational Logic, 2003.
4. Christopher W Brown. Quantifier Elimination by Partial Cylindrical Algebraic Decomposition. http://www.cs.usna.edu/~qepcad/B/QEPCAD.html.
5. W. Yang R. Liska C. Abdallah, P. Dorato and S. Steinberg. Applications of quantifier elimination theory to control system design. In 4th IEEE Mediterranean Symposium on Control and Automation, Crete, Greece, 1996., 1996.
6. M. Müller C. Chauvin and A. Weber. An application of quantifier elimination to mathematical biology. In Computer Algebra in Science and Engineering.World Scientific, pages 287-296, 1994.
7. G. E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In 2nd GI Conf. Automata Theory and Formal Languages, volume 33, pages 134-189. Springer, 1975.
8. E. Davis. Constraint propagation with interval labels. Artificial Intelligence, 32(3):281-331, 1987.
9. P. Dorato. Quantified multivariate polynomial inequalities. IEEE Control Systems Magazine, 20(5):48-58, 2000.
10. Ernest Gardenyes, Miguel Á. Sainz, Lambert Jorba, Remei Calm, Rosa Estela, Honorino Mielgo, and Albert Trepat. Modal intervals. Reliable Computing, 7(2):77-111, April 2001.
11. Jürgen Garloff and Birgit Graf. Solving strict polynomial inequalities by bernstein expansion. The Use of Symbolic Methods in Control System Analysis and Design, pages 339-352, 1999.
12. H. Hong. Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In Proc. ISSAC'92, International Symposium on Symbolic and Algebraic Computation, pages 177-188, 1992.
13. N. I. Ioakimidis. Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition. International Journal of Solids and Structures, 34(30):4037-4070, 1997.
14. N. I. Ioakimidis. Redlog-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints. Journal of Mechanical Engineering (Strojnícky Casopis), 50(1):58-69, 1999.
15. J. Rodelllar J. Armengol J. Vehí, N. Luo. Digital control via interval analysis. Nonlinear Analysis: Theory, Methods and Applications, 47:203-212, 2001.
16. L. Jaulin and E. Walter. Guaranteed bounded-error parameter estimation for nonlinear models with uncertain experimental factors. Automatica, 35(5):849-856, 1999.
17. Luc Jaulin, Michel Kieffer, Olivier Didrit, and Eric Walter. Applied interval analysis: with examples in parameter and state estimation, robust control and robotics. Springer, London, 2001.
18. M. Jirstrand. Nonlinear control system design by quantifier elimination. Journal of Symbolic Computation, 24(2): 137-152, 1997.
19. I. Braems L. Jaulin, M. Kieffer and E. Walter. Guaranteed non-linear estimation using constraint propagation on sets. BIT, International Journal of Control:To appear, 2001.
20. S. Ratschan L. Jaulin and L. Hardouin. Set computation for nonlinear control. Reliable Computing, 10:1-26, 2004.
21. O. Lhomme. Consistency techniques for numerical csps. In Internation Joint Conference on Artificial Intelligence (IJCAI), 1:232-238, 1993.
22. X. Baguenard M. Dao and L. Jaulin. Projection d'ensembles pour l'estimation de paramèters, la conception de robot et la commande robuste. Journées Doctorale d'Automatique - Valenciennes, 2003.
23. M. Milanese and A. Vicino. Estimation theory for nonlinear models and set membership uncertainty. Automatica, 27(2):403-408, 1991.
24. Stefan Ratschan. Efficient solving of quantified inequality constraints over the real numbers. Submitted for publication, 2003.
25. Stefan Ratschan and Josep Vehí. Robust pole clustering of parametric uncertain systems using interval methods. In Proc. of 4th IFAC Symposium on Robust Control Design, 2003.
26. M. Milanese S. Malan and M. Taragna. Robust analysis and design of control systems using interval arithmetic. Automatica, 33(7):1363-1372, 1997.
27. Sergey P. Shary. A new technique in systems analysis under interval uncertainty and ambiguity. Reliable Computing, 8:321-418, 2002.
28. T. Sturm. Reasoning over networks by symbolic methods. Applicable Algebra in Engineering Communication and Computing, 10(1):79-96, 2000.
29. A. Tarski. A decision method for elementary algebra and geometry. Univ. of California Press, Berkeley, 1951.
30. J. Vehí, J. Rodellar, M.Á. Sainz, and J. Armengol. Necessary and sufficient conditions for robust stability using modal intervals. 42nd IEEE Midwest Symposium on Circuits and Systems, 2:673 - 676, 1999.
31. Eric Walter and Luc Pronzato. Identification of parametric models from experimental data. Communications and control engineering series. Springer, Paris, 1997.