L’objectif de cette thèse est de proposer des stratégies de diagnostic dans le cas d'une commande en vitesse sans capteur mécanique (vitesse/position) d’une machine asynchrone triphasée en présence de défaut d'ouverture des transistors IGBT (Insulated Gate Bipolar Transistor) de l’onduleur. Une étude de l’impact de ces défauts sur les performances de ces structures sans capteur mécanique en termes de stabilité et de robustesse des observateurs en mode dégradé est présentée. Un observateur par mode glissant (Sliding Mode Observer) à base de modèle est développé et validé expérimentalement en vue de la commande sans capteur mécanique de la machine asynchrone triphasée. Les signaux issus de l’observateur (approche modèle) sont utilisés conjointement avec ceux mesurés (approche signale) pour former une approche hybride de diagnostic de défauts des transistors IGBT de l’onduleur. Un observateur par mode glissant d’ordre 2 à base d’un algorithme Super-Twisting est ensuite développé en vue d’améliorer la stabilité et d’assurer la continuité de fonctionnement du système en présence d'un défaut afin de pouvoir appliquer une stratégie de commande tolérante aux défauts dans les meilleures délais et conditions de fonctionnement. / The main goal of this thesis is to propose diagnostic strategies in the case of a sensorless speed control of a three-phase induction motor under an opened-switch or opened-phase fault. A qualitative analysis of the performances, in terms of stability and robustness, of sensorless control applied to the electrical drive in pre-fault and post-fault operation modes is presented. A model-based sliding mode observer is developed and experimentally validated for sensorless speed control of three-phase induction motor. The signals issued from the observer (model approach) as well as the measured ones (signal approach) are simultaneously used to form a hybrid approach for inverter open-switch fault detection and identification. A second-order sliding mode observer based on Super-Twisting algorithm (STA) is also developed to improve the stability and to ensure the continuity of operation of the electrical drive especially during transient states induced by the fault, permitting thus to apply the reconfiguration step without losing the control

<p>There are several standards for wireless communication. People that are involved in computers and networking recognize names like Bluetooth, HiperLAN and IEEE 802.11. The last one was standardized in 1997 [2,6]and has begun to reach acceptance as a solid ground for wireless networking. A fundamental part of an IEEE 802.11 node is the Medium Access Controller, or MAC. It establishes and controls communication with other nodes, using a physical layer unit. </p><p>The work has been carried out as final project at Linkopings Universitet, it has been about the improvement of the functions of MAC layer. I have developed some of the required functions that PUM uses to interact with the MAC layer. Because of that, I have implemented the Reception functions of MAC layer, having the possibility of using short control frames RTS/CTS to minimize collision.</p>

There are several standards for wireless communication. People that are involved in computers and networking recognize names like Bluetooth, HiperLAN and IEEE 802.11. The last one was standardized in 1997 [2,6]and has begun to reach acceptance as a solid ground for wireless networking. A fundamental part of an IEEE 802.11 node is the Medium Access Controller, or MAC. It establishes and controls communication with other nodes, using a physical layer unit. The work has been carried out as final project at Linkopings Universitet, it has been about the improvement of the functions of MAC layer. I have developed some of the required functions that PUM uses to interact with the MAC layer. Because of that, I have implemented the Reception functions of MAC layer, having the possibility of using short control frames RTS/CTS to minimize collision.

La physique moderne repose sur deux théories fondamentales distinctes, la relativité générale et la mécanique quantique. Toutes les deux décrivent d’une part les phénomènes macroscopiques et cosmologiques tels que les ondes gravitationnelles et les trous noirs et d’autre part les phénomènes microscopiques comme la superfluidité ou le spin des particules. L’unification de ces deux théories reste, jusqu’à présent, un problème non résolu. Il est intéressant de noter que les différentes théories de gravité quantique prédisent une violation des principes de la relativité générale à différents niveaux.Il est donc hautement intéressant de détecter les violations de ces principes et de déterminer à quel niveau elles se produisent.De récentes propositions pour effectuer des tests du principe d’ équivalence d’Einstein suggèrent une amélioration spectaculaire des performances en utilisant des capteurs atomiques `a ondes de matière.Dans ce contexte, il est nécessaire de concevoir des états d’entrée de l’interferomètre avec des conditions initiales bien définies. Un test de pointe de l’universalité de la chute libre (Universality of FreeFall en anglais (UFF) ) nécessiterait, par exemple,un contrôle des positions et des vitesses avec une précision de l’ordre de 1 μm et 1 μm.s⁻¹ , respectivement.De plus, les systématiques liées à la taille du paquet d’ondes limitent le taux d’expansion maximum possible à 100 μm.s⁻¹. La création initiale des états d’entrée de l’interféromètre doit être assez rapide,de l’ordre de quelques centaines de ms au maximum,pour que le temps de cycle de l’expérience soit pertinent d’un point de vue métrologique. Dans cette thèse j’ai développé des séquences optimisées s’appuyant sur l’excitation du centre de masse et de la taille d’un ou plusieurs ensembles d’atomes refroidis ainsi que dégénérés. Certaines séquences proposé dans cette thèse ont déjà été implémenté dans des expériences augmentant de manière significative le contrôle des ensembles atomiques. / Modern physics relies on two distinct fundamental theories, General Relativity and Quantum Mechanics. Both describe on one hand macroscopic and cosmological phenomena such as gravitational waves and black holes and on the other hand microscopic phenomena as superfluidity or the spin of particles. The unification of these two theories remains, so far, an unsolved problem. Interestingly, candidate Quantum Gravity theories predict a violation of the principles of General Relativity at different levels. It is, therefore, of a timely interest to detect violations of these principles and determine at which level they occur. Recent proposals to perform Einstein Equivalence Principle tests suggest a dramatic performance improvement using matter-wave atomic sensors. In this context, the design of the input states with well defined initial conditions is required. A state-of-the-art test of the universality of free fall (UFF) would, for example, require a control of positions and velocities at the level of 1 µm and 1 µm.s⁻¹, respectively. Moreover, sizerelated systematics constrain the maximum expansion rate possible to the 100 µm.s⁻¹level. This initial engineering of the input states has to be quite fast, of the order of few hundred ms at maximum, for the experiment’s duty cycle to be metrologically-relevant. In this thesis I developed optimized sequences based on the excitation of the center of mass and the size excitation of one or two cooled atomic sample as well as degenerated gases. Some sequences proposed in this thesis have already been implemented in experiments and significantly increase the control of atomic ensembles.

Die Systematische Toxikologische Analyse (STA) stellt auf Grund der großen Vielfalt und der ständigen Zunahme an toxikologisch relevanten Substanzen eine der größten Herausforderungen in der chemischen Analyse dar. In der vorliegenden Arbeit wurde daher die Eignung der Flüssigchromatographie in Kombination mit der Hybrid-Quadrupol-Flugzeitmassenspektrometrie (LC-QTOF-MS) für diesen Zweck untersucht. Dazu wurden eine Datenbank mit über 7360 und eine CID-Spektrenbibliothek mit mehr als 2720 toxikologisch relevanten Substanzen erstellt und geeignete Probenvorbereitungsmethoden entwickelt. Die Erprobung der Methoden erfolgte an dotierten Blut- und Haarproben. Hierbei zeigte sich, dass die Analyse im Auto-MS/MS-Modus (Messzyklen von MS- und MS/MS-Spektren) eine Identifizierung basischer Substanzen mittels CID-Spektren zwischen 0,5 und 2 ng/ml im Blut ermöglichte. Die Nachweisgrenzen der für 24 Wirkstoffe validierten Methode in Haaren lagen bei 3 bis 15 pg/mg. Die Eignung der LC-QTOF-MS zur STA von Haarproben wurde an 30 Drogentodesfällen und 60 Todesfällen mit bekannter chronischer Medikamenteneinnahme zu Lebzeiten sowie an 77 Blutproben nachgewiesen. Für die Suche nach Metaboliten wurde ein Metaboliten-Tool entwickelt. In der praktischen Anwendung auf Datenfiles von Blut- und Haarproben erwies sich das Tool als wertvolles Hilfsmittel zur Identifizierung unbekannter Peaks und zur Bestätigung von Suchergebnissen in der Datenbank. Zur automatischen Konzentrationsabschätzung identifizierter Substanzen wurde ein Tool „Estimate Concentration“ geschaffen. Die Überprüfung des Verfahrens an realen Blut- und Haarproben durch Vergleich mit HPLC-DAD- und GC-MS-Ergebnissen wies eine gute Übereinstimmung der Konzentrationen auf. Insgesamt zeigten die Untersuchungen, dass die LC-QTOF-MS zurzeit die am besten geeignete Methode für die STA darstellt. Auch bei einem erst später aufkommenden Verdacht kann eine gezielte Suche in dem bereits gemessenen Datenfile durchgeführt werden. / Due to the large variety and the steady increase of toxicologically relevant substances, systematic toxicological analysis (STA) is one of the most difficult tasks in analytical chemistry and, therefore, a steady topic of research and methodical improvement. For this reason, the suitability of liquid chromatography in combination with hybrid quadrupole time-of-flight mass spectrometry (LC-QTOF-MS) for STA was investigated. For this purpose, a database of more than 7360 and a CID spectra library of more than 2720 toxicologically relevant substances and suitable methods for sample preparation were developed. The application was evaluated at spiked blood and hair samples. It was found that the analysis in Auto-MS/MS mode (alternating measurement cycles of MS and MS/MS spectra) allowed substance identification in blood using CID spectra between 0.5 and 2 ng/ml for basic substances. The detection limits of the validated method in hair ranged from 3 to 15 pg/mg for 24 drugs. The suitability of LC-QTOF-MS for STA was tested for hair samples from 30 drug-related death cases and from 60 death cases with known chronic medication as well as for 77 blood samples. For the search of metabolites, a metabolite tool was developed. In the practical application to data files from blood and hair samples, the tool proved to be very helpful for identification of unknown peaks and for confirmation of results obtained only from the database without CID spectra. A tool "Estimate Concentration" was created for automatic estimation of concentrations of identified substances. The application to real blood and hair samples and the comparison of the concentrations with results from HPLC-DAD and GC-MS showed good agreement. Overall, these investigations showed that LC-QTOF-MS is currently the most favorable method for STA. Because of the comprehensive registration of all substances in a sample, the data files can be checked for the presence of certain poisons even later without new measurements.

This thesis investigates the expressiveness of specification languages for stochastic safety-critical systems, addressing the need for expressiveness in describing system behaviour formally. Through a case study and specification language enhancements, the research explores the impact of different frameworks on a set of specifications. The results highlight the importance of continuous development in the specification languages to meet the complex behaviours of systems with probabilistic properties. The findings emphasise the need for extending the chosen specification languages more formally, to ensure that the languages can capture the complexity of the systems they describe.  The research contributes valuable insights into improving the expressiveness of specification languages for ensuring system safety and operational reliability.

The synthesis and properties of metal phosphonates prepared using piperazine-based bisphosphonic acids have been investigated. The ligands N,N’-piperazinebis(methylenephosphonic acid) (H₄L), and the 2-methyl (H₄L-Me) and 2,5-dimethyl (H₄L 2,5-diMe) derivatives have been prepared using a modified Mannich reaction. Hydrothermal reaction of gels prepared from metal (II) acetates and the bisphosphonic acids results in the synthesis of four structures: STA-12, Ni VSB-5, Co H₂L.H₂O and Mg H₂L. STA-12, synthesised by reaction of Mn, Fe, Co or Ni acetate with H₄L or H₄L-Me, has been investigated further. STA-12 crystallises in the space group R⁻₃, and Ni STA-12 is the most crystalline version. Its structure was solved from synchrotron data (a = b = 27.8342(1) Å, c = 6.2421(3) Å, α = β = 90°, γ = 120°), and it has large 10 Å hexagonal shaped pores. Helical chains of Ni octahedra are coordinated by the ligands, resulting in phosphonate tetrahedra pointing towards the pore space. Water is present, both coordinated to the Ni²⁺ cations and physically adsorbed in the pores. Mixed metal structures based on Ni STA-12, where some Ni is replaced in the gel by another divalent metal (Mg, Mn, Fe or Co) can also be synthesised. Dehydration of STA-12 results in two types of behaviour, depending on the metal present. Rhombohedral symmetry is retained on dehydration of Mn and Fe STA-12, the a cell parameter decreasing compared to the as-prepared structures by 2.42 Å and 1.64 Å respectively. Structure solution of dehydrated Mn STA-12 indicates changes in the torsion angles of the piperazine ring bring the inorganic chains closer together. Fe and Mn STA-12 do not adsorb N₂, which is thought to be due to the formation of an amorphous surface layer. Dehydration of Ni and Co STA-12 causes crystallographic distortion. Three phases were isolated for Ni STA-12: removal of physically adsorbed water results in retention of rhombohedral symmetry, while dehydration at 323 K removes some coordinated water forming a triclinic structure. A fully dehydrated structure (dehydrated at 423 K) was solved from synchrotron data (a = 6.03475(5) Å, b = 14.9156(2) Å, c = 16.1572(7) Å, α = 112.5721(7)°, β = 95.7025(11)°, γ = 96.4950(11)°). The dehydration mechanism, followed by UV-vis and Infra-red spectroscopy, involves removal of water from the Ni²⁺ cations and full coordination of two out of three of the phosphonate tetrahedra forming three crystallographically distinct Ni and P atoms. No structural distortion takes place on dehydration of Ni and Co STA-12 prepared using the methylated bisphosphonate, and the solids give a higher N₂ uptake as a result. Dehydrated Ni and Co STA-12 were tested for adsorption performance for fuel related gases and probe molecules. Investigations were undertaken at low temperature with H₂, CO and CO₂, and ambient temperature with CO₂, CH₄, CH₃CN, CH₃OH and large hydrocarbons. Due to the presence of lower crystallinity, Co STA-12 has an inferior adsorption performance to Ni STA-12, although it has similar adsorption enthalpies for CO₂ at ambient temperature (-30 to -35 kJ mol⁻¹). Ni STA-12 adsorbs similar amounts of CO₂ and N₂ at low temperature, indicating the adsorption mechanisms are similar. Also, it adsorbs 10 × more CO₂ than CH₄ at low pressure, meaning it could be used for separation applications. Ni STA-12 adsorbs 2 mmol g⁻¹ H₂ with an enthalpy of -7.5 kJ mol⁻¹, the uptake being due to adsorption on only one-third of the Ni²⁺ cations. The uptake for CO is 6 mmol g⁻¹, with adsorption enthalpies ranging from -24 to -14 kJ mol⁻¹. This uptake is due to adsorption on all the Ni²⁺, meaning the adsorption enthalpies are high enough to allow the structure to relax. This is also observed for adsorption of CH₃CN and CH₃OH, where there is a return to rhombohedral symmetry after uptake. The adsorption sites in dehydrated Ni and Co STA-12 were investigated via Infra-red spectroscopic analysis of adsorbed probe molecules (H₂, CO, CO₂, CH₃CN and CH₃OH). The results indicate the adsorption sites at both low and ambient temperature are the metal cations and the P=O groups. The metal cation sites are also characterised as Lewis acids with reasonable strength. STA-12 was shown to have acidic activity for the liquid phase selective oxidations of 1-hexene and cyclohexene, although there is evidence active sites are coordinated by products and/or solvents during the reaction. STA-12 also demonstrates basic activity for the Knoevenagel condensation of ethyl cyanoacetate and benzaldehyde. Modification of STA-12 by adsorption of diamine molecules causes a slight increase in the basicity, and the highest conversions are where water and diamine molecules are both present.

The multiple constant multiplication (MCM) operation is a fundamental operation in digital signal processing (DSP) and digital image processing (DIP). Examples of the MCM are in finite impulse response (FIR) and infinite impulse response (IIR) filters, matrix multiplication, and transforms. The aim of this work is minimizing the complexity of the MCM operation using common subexpression elimination (CSE) technique and redundant number representations. The CSE technique searches and eliminates common digit patterns (subexpressions) among MCM coefficients. More common subexpressions can be found by representing the MCM coefficients using redundant number representations. A CSE algorithm is proposed that works on a type of redundant numbers called the zero-dominant set (ZDS). The ZDS is an extension over the representations of minimum number of non-zero digits called minimum Hamming weight (MHW). Using the ZDS improves CSE algorithms' performance as compared with using the MHW representations. The disadvantage of using the ZDS is it increases the possibility of overlapping patterns (digit collisions). In this case, one or more digits are shared between a number of patterns. Eliminating a pattern results in losing other patterns because of eliminating the common digits. A pattern preservation algorithm (PPA) is developed to resolve the overlapping patterns in the representations. A tree and graph encoders are proposed to generate a larger space of number representations. The algorithms generate redundant representations of a value for a given digit set, radix, and wordlength. The tree encoder is modified to search for common subexpressions simultaneously with generating of the representation tree. A complexity measure is proposed to compare between the subexpressions at each node. The algorithm terminates generating the rest of the representation tree when it finds subexpressions with maximum sharing. This reduces the search space while minimizes the hardware complexity. A combinatoric model of the MCM problem is proposed in this work. The model is obtained by enumerating all the possible solutions of the MCM that resemble a graph called the demand graph. Arc routing on this graph gives the solutions of the MCM problem. A similar arc routing is found in the capacitated arc routing such as the winter salting problem. Ant colony optimization (ACO) meta-heuristics is proposed to traverse the demand graph. The ACO is simulated on a PC using Python programming language. This is to verify the model correctness and the work of the ACO. A parallel simulation of the ACO is carried out on a multi-core super computer using C++ boost graph library.