The topic of this paper is the determinization problem of ω-automata under the transition-based Emerson-Lei acceptance (called TELA), which generalizes all standard acceptance conditions and is defined using positive Boolean formulas. Such automata can be determinized by first constructing an equivalent generalized Büchi automaton (GBA), which is later determinized. The problem of constructing an equivalent GBA is considered in detail, and three new approaches of solving it are proposed. Furthermore, a new determinization construction is introduced which determinizes several GBA separately and combines them using a product construction. An experimental evaluation shows that the product approach is competitive when compared with state-of-the-art determinization procedures. The second part of the paper studies limit-determinization of TELA and we show that this can be done with a single-exponential blow-up, in contrast to the known double-exponential lower-bound for determinization. Finally, one version of the limit-determinization procedure yields good-for-MDP automata which can be used for quantitative probabilistic model checking.

Cette thèse traite de la gestion du trafic aérien et plus précisément, de l’optimisation globale des plans de vol déposés par les compagnies aériennes sous contrainte du respect de la capacité de l’espace aérien. Une composante importante de ce travail concerne la gestion de l’incertitude entourant les trajectoires des aéronefs. Dans la première partie du travail, nous identifions les principales causes d’incertitude au niveau de la prédiction de trajectoires. Celle-ci est la composante essentielle à l’automatisation des systèmes de gestion du trafic aérien. Nous étudions donc le problème du réglage automatique et en-ligne des paramètres de la prédiction de trajectoires au cours de la phase de montée avec l’algorithme d’optimisation CMA-ES. La principale conclusion, corroborée par d’autres travaux de la littérature, implique que la prédiction de trajectoires des centres de contrôle n’est pas suffisamment précise aujourd’hui pour supporter l’automatisation complète des tâches critiques. Ainsi, un système d’optimisation centralisé de la gestion du traficaérien doit prendre en compte le facteur humain et l’incertitude de façon générale.Par conséquent, la seconde partie traite du développement des modèles et des algorithmes dans une perspective globale. De plus, nous décrivons un modèle stochastique qui capture les incertitudes sur les temps de passage sur des balises de survol pour chaque trajectoire. Ceci nous permet d’inférer l’incertitude engendrée sur l’occupation des secteurs de contrôle par les aéronefs à tout moment.Dans la troisième partie, nous formulons une variante du problème classique du Air Traffic Flow and Capacity Management au cours de la phase tactique. L’intérêt est de renforcer les échanges d’information entre le gestionnaire du réseau et les contrôleurs aériens. Nous définissons donc un problème d’optimisation dont l’objectif est de minimiser conjointement les coûts de retard et de congestion tout en respectant les contraintes de séquencement au cours des phases de décollage et d’attérissage. Pour combattre le nombre de dimensions élevé de ce problème, nous choisissons un algorithme évolutionnaire multiobjectif avec une représentation indirecte du problème en se basant sur des ordonnanceurs gloutons. Enfin, nous étudions les performances et la robustesse de cette approche en utilisant le modèle stochastique défini précédemment. Ce travail est validé à l’aide de problèmes réels obtenus du Central Flow Management Unit en Europe, que l’on a aussi densifiés artificiellement. / In this thesis, we investigate the issue of optimizing the aircraft operators' demand with the airspace capacity by taking into account uncertainty in air traffic management. In the first part of the work, we identify the main causes of uncertainty of the trajectory prediction (TP), the core component underlying automation in ATM systems. We study the problem of online parameter-tuning of the TP during the climbing phase with the optimization algorithm CMA-ES. The main conclusion, corroborated by other works in the literature, is that ground TP is not sufficiently accurate nowadays to support fully automated safety-critical applications. Hence, with the current data sharing limitations, any centralized optimization system in Air Traffic Control should consider the human-in-the-loop factor, as well as other uncertainties. Consequently, in the second part of the thesis, we develop models and algorithms from a network global perspective and we describe a generic uncertainty model that captures flight trajectories uncertainties and infer their impact on the occupancy count of the Air Traffic Control sectors. This usual indicator quantifies coarsely the complexity managed by air traffic controllers in terms of number of flights. In the third part of the thesis, we formulate a variant of the Air Traffic Flow and Capacity Management problem in the tactical phase for bridging the gap between the network manager and air traffic controllers. The optimization problem consists in minimizing jointly the cost of delays and the cost of congestion while meeting sequencing constraints. In order to cope with the high dimensionality of the problem, evolutionary multi-objective optimization algorithms are used with an indirect representation and some greedy schedulers to optimize flight plans. An additional uncertainty model is added on top of the network model, allowing us to study the performances and the robustness of the proposed optimization algorithm when facing noisy context. We validate our approach on real-world and artificially densified instances obtained from the Central Flow Management Unit in Europe.

The master's thesis deals with Information Retrieval. It summarizes the knowledge in the field of Information Retrieval theory. Furthermore, the work gives an overview of models used in Information Retrieval, the data and the actual issues and their possible solutions. The practical part of the master's thesis is focused on the implementation of methods of information retrieval in textual data. The last part is dedicated to experiments validating the implementation and its possible improvements.

Mit der steigenden Nachfrage nach Innovationen spielt Software in verschiedenenWirtschaftsbereichen eine wichtige Rolle, wie z.B. in der Automobilindustrie, bei intelligenten Systemen als auch bei Kommunikationssystemen. Daher ist die Qualität für die Softwareentwicklung von großer Bedeutung. Allerdings ändern sich die probabilistische Modelle (die Qualitätsbewertungsmodelle) angesichts der dynamischen Natur moderner Softwaresysteme. Dies führt dazu, dass ihre Übergangswahrscheinlichkeiten im Laufe der Zeit schwanken, welches zu erheblichen Problemen führt. Dahingehend werden probabilistische Modelle im Hinblick auf ihre Laufzeit kontinuierlich aktualisiert. Eine fortdauernde Neubewertung komplexer Wahrscheinlichkeitsmodelle ist jedoch teuer. In letzter Zeit haben sich inkrementelle Ansätze als vielversprechend für die Verifikation von adaptiven Systemen erwiesen. Trotzdem wurden bei der Bewertung struktureller Änderungen im Modell noch keine wesentlichen Verbesserungen erzielt. Wahrscheinlichkeitssysteme werden als Automaten modelliert, wie bei Markov-Modellen. Solche Modelle können in Matrixform dargestellt werden, um die Gleichungen basierend auf Zuständen und Übergangswahrscheinlichkeiten zu lösen. Laufzeitmodelle wie Matrizen sind nicht signifikant, um die Auswirkungen von Modellveränderungen erkennen zu können. In dieser Arbeit wird ein Framework unter Verwendung stochastischer Bäume mit regulären Ausdrücken entwickelt, welches modular aufgebaut ist und eine aktionshaltige sowie probabilistische Logik im Kontext der Modellprüfung aufweist. Ein solches modulares Framework ermöglicht dem Menschen die Entwicklung der Änderungsoperationen für die inkrementelle Berechnung lokaler Änderungen, die im Modell auftreten können. Darüber hinaus werden probabilistische Änderungsmuster beschrieben, um eine effiziente inkrementelle Verifizierung, unter Verwendung von Bäumen mit regulären Ausdrücken, anwenden zu können. Durch die Bewertung der Ergebnisse wird der Vorgang abgeschlossen. / Software plays an innovative role in many different domains, such as car industry, autonomous and smart systems, and communication. Hence, the quality of the software is of utmost importance and needs to be properly addressed during software evolution. Several approaches have been developed to evaluate systems’ quality attributes, such as reliability, safety, and performance of software. Due to the dynamic nature of modern software systems, probabilistic models representing the quality of the software and their transition probabilities change over time and fluctuate, leading to a significant problem that needs to be solved to obtain correct evaluation results of quantitative properties. Probabilistic models need to be continually updated at run-time to solve this issue. However, continuous re-evaluation of complex probabilistic models is expensive. Recently, incremental approaches have been found to be promising for the verification of evolving and self-adaptive systems. Nevertheless, substantial improvements have not yet been achieved for evaluating structural changes in the model. Probabilistic systems are usually represented in a matrix form to solve the equations based on states and transition probabilities. On the other side, evolutionary changes can create various effects on theese models and force them to re-verify the whole system. Run-time models, such as matrices or graph representations, lack the expressiveness to identify the change effect on the model. In this thesis, we develop a framework using stochastic regular expression trees, which are modular, with action-based probabilistic logic in the model checking context. Such a modular framework enables us to develop change operations for the incremental computation of local changes that can occur in the model. Furthermore, we describe probabilistic change patterns to apply efficient incremental quantitative verification using stochastic regular expression trees and evaluate our results.

[ES] Los edificios históricos tienen un gran valor arquitectónico y cultural y son un bien muy preciado de nuestra civilización. Por ello, no es de extrañar que se hagan grandes esfuerzos para conservarlos. Sin embargo, a pesar de los avances en la investigación, el fuego sigue siendo una amenaza importante para lograr la conservación del patrimonio construido. Además, los códigos de incendios actuales no suelen proporcionar directrices o métodos específicos que tengan en cuenta las características únicas de los edificios históricos. En consecuencia, conseguir que estos edificios cumplan la normativa de seguridad contra incendios evitando al mismo tiempo la pérdida de patrimonio supone un gran reto. En este contexto, la presente tesis doctoral se centra en el análisis de la resistencia frente al fuego de los forjados de viguetas de madera y revoltones de ladrillos, que pueden encontrarse en muchos edificios históricos de todo el mundo, utilizando enfoques deterministas y probabilistas basados en el rendimiento. Además, la tesis propone modelos probabilísticos para caracterizar las propiedades físicas y mecánicas de la madera contemporánea e histórica a temperatura ambiente y a temperaturas elevadas, que se adoptan en dichos enfoques probabilistas. Debido a la singular geometría y configuración estructural de estos forjados históricos, los métodos establecidos por los códigos de incendios actuales para verificar su resistencia frente al fuego no son aplicables. Por ello, se propone una nueva metodología basada en el "Método de la sección reducida" de la actual EN 1995-1-2. A continuación, la metodología se aplica a un amplio número de forjados que abarcan diferentes luces, resistencias a flexión de la madera y exposiciones al fuego para evaluar la influencia de estos parámetros en la resistencia frente al fuego. Posteriormente, debido al considerable número de parámetros de entrada con una alta incertidumbre que influyen en la resistencia frente al fuego de los forjados de viguetas de madera y revoltones de ladrillos, se adopta un enfoque probabilístico. El análisis asume diferentes secciones transversales y luces para los forjados históricos, así como múltiples geometrías del sector de incendio. Además, considera la incertidumbre de las cargas permanentes y variables aplicadas, así como de las propiedades físicas y mecánicas de la madera a temperatura ambiente y a altas temperaturas. De este modo, en base a un gran número de simulaciones numéricas, se desarrollan curvas de fragilidad y se obtienen los índices de fiabilidad de los forjados históricos frente al fuego. Los resultados muestran que, aunque los enfoques probabilísticos pueden ayudar a preservar un número significativamente mayor de forjados históricos de viguetas de madera y revoltones de ladrillos, muchos de ellos pueden no cumplir los requisitos de resistencia frente al fuego establecidos por los códigos actuales, lo que es motivo de preocupación. Por lo tanto, llevar a cabo estos análisis resulta esencial para garantizar su resistencia frente al fuego y tomar medidas en caso necesario. En definitiva, esta tesis doctoral pretende promover la conservación racional de las estructuras históricas de madera y, en consecuencia, del patrimonio construido. Además, se prevé que los modelos deterministas y probabilistas propuestos también permitan el diseño de estructuras de madera más fiables y eficientes. Así, fomentando la rehabilitación frente a la demolición y la nueva construcción e incentivando el uso de la madera en nuevas estructuras, se puede contribuir también a la mejora de la sostenibilidad del sector de la construcción. Por último, se espera que esta tesis sirva para concienciar sobre la alta vulnerabilidad de los edificios históricos frente al fuego y, en última instancia, para fomentar futuras investigaciones encaminadas a la búsqueda de soluciones que permitan cumplir los requisitos de seguridad contra incendios sin comprometer el patrimonio existente. / [CA] Els edificis històrics tenen un gran valor arquitectònic i cultural i són un bé molt preuat de la nostra civilització. Per això, no és d'estranyar que es facen grans esforços per a conservar-los. No obstant això, malgrat els avanços en la investigació, el foc continua sent una amenaça important per a aconseguir la conservació del patrimoni construït. A més, els codis d'incendis actuals no solen proporcionar directrius o mètodes específics que tinguen en compte les característiques úniques dels edificis històrics. En conseqüència, aconseguir que estos edificis complisquen la normativa de seguretat contra incendis evitant al mateix temps la pèrdua de patrimoni suposa un gran repte. En este context, la present tesi doctoral se centra en l'anàlisi de la resistència al foc dels forjats de biguetes de fusta i revoltons de rajoles, que poden trobar-se en molts edificis històrics de tot el món, utilitzant enfocaments deterministes i probabilistes basats en el rendiment. A més, la tesi proposa models probabilístics per a caracteritzar les propietats físiques i mecàniques de la fusta contemporània i històrica a temperatura ambient i a temperatures elevades, que després s'adopten en els enfocaments probabilistes. A causa de la singular geometria i configuració estructural d'estos forjats històrics, els mètodes establits pels codis d'incendis actuals per a verificar la seua resistència al foc no són aplicables. Per això, es proposa una nova metodologia basada en el "Mètode de la secció reduïda" de l'actual EN 1995-1-2. A continuació, la metodologia s'aplica a un ampli nombre de forjats que abasten diferents llums, resistències a flexió de la fusta i exposicions al foc per a avaluar la influència d'estos paràmetres en la resistència al foc. Posteriorment, a causa del considerable nombre de paràmetres d'entrada amb una alta incertesa que influïxen en la resistència al foc dels forjats de biguetes de fusta i revoltons de rajoles, s'adopta un enfocament probabilístic. L'anàlisi assumix diferents seccions transversals i llums per als forjats històrics, així com múltiples geometries del sector d'incendi. A més, considera la incertesa de les càrregues permanents i variables aplicades, així com de les propietats físiques i mecàniques de la fusta a temperatura ambient i a temperatures elevades. D'esta manera, a partir d'un gran nombre de simulacions numèriques, es desenvolupen corbes de fragilitat i s'obtenen els índexs de fiabilitat dels forjats històrics davant del foc. Els resultats mostren que, encara que els enfocaments probabilístics poden ajudar a preservar un nombre significativament major de forjats històrics de biguetes de fusta i revoltons de rajoles, molts d'ells poden no complir els requisits de resistència al foc establits pels codis actuals, la qual cosa és motiu de preocupació. Per tant, dur a terme estes anàlisis resulta essencial per a garantir la seua resistència al foc i prendre mesures en cas necessari. En definitiva, esta tesi doctoral pretén promoure la conservació racional de les estructures històriques de fusta i, en conseqüència, del patrimoni construït. A més, es preveu que els models deterministes i probabilistes proposats també permeten el disseny d'estructures de fusta més fiables i eficients. D'esta manera, fomentant la rehabilitació per sobre de la demolició i la nova construcció i incentivant l'ús de la fusta en noves estructures, es pot contribuir també a la millora de la sostenibilitat del sector de la construcció. Finalment, s'espera que la present tesi doctoral servisca per a conscienciar sobre l'alta vulnerabilitat dels edificis històrics davant del foc i, en última instància, per a fomentar futures investigacions encaminades a la cerca de solucions que permeten complir els requisits de seguretat contra incendis sense comprometre el patrimoni existent. / [EN] Historic buildings hold significant architectural and cultural value and are a precious asset of our civilisation. It is therefore not surprising that great efforts are being made to preserve them. However, despite advances in research, fire remains a major threat to achieve the conservation of the built heritage. In addition, current fire codes generally do not provide specific guidelines or methods that address the unique characteristics of historic buildings. Consequently, bringing these buildings into compliance with fire safety regulations while avoiding heritage loss is a great challenge. In this context, the present doctoral thesis focuses on the analysis of the fire resistance of timber jack arch flooring systems, which can be found in many historic buildings around the world, using deterministic and probabilistic performance-based approaches. Furthermore, the thesis proposes probabilistic models to characterise the physical and mechanical properties of contemporary and historic timber at ambient and elevated temperatures, which are then adopted in such probabilistic approaches. Due to the singular geometry and structural configuration of these historic flooring systems, the methods established by current fire codes to verify their fire resistance are not applicable. Thus, a new methodology based on the "Reduced cross-section method" of the current EN 1995-1-2 is proposed. Then, the methodology is applied to a wide number of flooring systems covering different span lengths, timber bending strengths, and fire exposures to evaluate the influence of these parameters on the fire resistance. Subsequently, due to the considerable number of input parameters with high uncertainty that influence the fire resistance of timber jack arch flooring systems, a probabilistic approach is adopted. The analysis assumes different cross-sections, span lengths and geometries of the compartment where the fire occurs. Moreover, uncertainty in the applied permanent and live loads, as well as in the physical and mechanical properties of timber at ambient and elevated temperatures, is considered. Thus, based on a large number of numerical simulations, fire fragility functions are developed and the reliability indices of the historic flooring systems against fire are derived. The results of the fire resistance analyses show that, although probabilistic approaches can help to preserve significantly more historic timber jack arch flooring systems, many of them may not meet the fire resistance requirements set by current codes, which is a cause for concern. Conducting these analyses is therefore essential to ensure their fire resistance and take action where necessary. In summary, this doctoral thesis aims to promote the rational conservation of historic timber structures and, consequently, of the built heritage. Moreover, it is envisaged that the proposed deterministic and probabilistic models will also enable the design of more reliable and efficient timber structures. Thus, by fostering rehabilitation over demolition and new construction and by encouraging the use of timber in new structures, a more sustainable construction can also be achieved. Finally, the present doctoral thesis is expected to raise awareness of the high vulnerability of historic buildings to fire and, ultimately, encourage future research aimed at finding solutions that allow fire safety requirements to be met without compromising the existing heritage. / García Castillo, E. (2024). Analysis of the fire resistance of traditional timber flooring systems in historic buildings [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/207365