Application of modal interval analysis to the simulation of the behaviour of dynamic systems with uncertain parameters

• Autores: Joaquim Armengol Llobet
• Directores de la Tesis: Louise Travé-Massuyès (dir. tes.), Josep Vehí Casellas (dir. tes.)
• Lectura: En la Universitat de Girona ( España ) en 2008
• Idioma: inglés
• Tribunal Calificador de la Tesis: Gerwald Lichtenberg (presid.), Josep Lluis de la Rosa Esteva (secret.), Joseba Jokin Quevedo Casin (voc.), Rafael Martínez Gasca (voc.), Miguel Angel Sainz Sánchez (voc.)
• Materias:
  • Matemáticas
    • Análisis y análisis funcional
      • Ecuaciones en diferencias
    • Ciencia de los ordenadores
      • Simulación
  • Ciencias tecnológicas
    • Tecnología industrial
      • Ingeniería de mantenimiento
    • Tecnología de la instrumentación
      • Ingeniería de control
    • Tecnología médica
• Enlaces
  • Tesis en acceso abierto en: TDX
• Resumen

  • Els models matemàtics quantitatius són simplificacions de la realitat i per tant el comportament obtingut per simulació daquests models difereix dels reals. Lús de models quantitatius complexes no és una solució perquè en la majoria dels casos hi ha alguna incertesa en el sistema real que no pot ser representada amb aquests models. Una forma de representar aquesta incertesa és mitjançant models qualitatius o semiqualitatius. Un model daquest tipus de fet representa un conjunt de models. La simulació del comportament de models quantitatius genera una trajectòria en el temps per a cada variable de sortida. Aquest no pot ser el resultat de la simulació dun conjunt de models. Una forma de representar el comportament en aquest cas és mitjançant envolupants. Lenvolupant exacta és complete, és a dir, inclou tots els possibles comportaments del model, i correcta, és a dir, tots els punts dins de lenvolupant pertanyen a la sortida de, com a mínim, una instància del model. La generació duna envolupant així normalment és una tasca molt dura que es pot abordar, per exemple, mitjançant algorismes doptimització global o comprovació de consistència. Per aquesta raó, en molts casos sobtenen aproximacions a lenvolupant exacta. Una aproximació completa però no correcta a lenvolupant exacta és una envolupant sobredimensionada, mentre que una envolupant correcta però no completa és subdimensionada. Aquestes propietats shan estudiat per diferents simuladors per a sistemes incerts.