Tesis doctoral de Pau Herrero Viñas
Una restricción real cuantificada, quantified real constraint (qrc) en inglés, es un formalismo matemático que permite modelar un gran número de problemas físicos representados por sistemas de ecuaciones no-lineales y cuantificados lógicos sobre las variables reales. Los qrcs aparecen numeroso campos, com o la ingeniería de control, la ingeniería eléctrica o la biología. distintos enfoques han sido propuestos para la resolución de qrcs (p.E.Eliminación de cuantificadores y métodos aproximativos) pero todos ellos presentan importantes limitaciones debido a su complejidad computacional. en esta tesis, se presenta una nueva metodología para la resolución de qrcs basada en el análisis intervelar modal, una teoría matemática desarrollada por investigadores de la universidad de barcelona y la universidad de girona. Respecto a los métodos existentes, la metodología propuesta resuelve, de forma eficiente, una amplia clase de qrcs.
Datos académicos de la tesis doctoral «Quantified real constraint solving using modal intervals with applications to control«
- Título de la tesis: Quantified real constraint solving using modal intervals with applications to control
- Autor: Pau Herrero Viñas
- Universidad: Girona
- Fecha de lectura de la tesis: 22/12/2006
Dirección y tribunal
- Director de la tesis
- Josep Vehí Casellas
- Tribunal
- Presidente del tribunal: eric Walter
- Jorge Bondia company (vocal)
- Rafael Martínez gasca (vocal)
- luc Jaulin (vocal)