Modelling and performability evaluation of Wireless Sensor Networks

This thesis presents generic analytical models of homogeneous clustered Wireless Sensor Networks (WSNs) with a centrally located Cluster Head (CH) coordinating cluster communication with the sink directly or through other intermediate nodes. The focus is to integrate performance and availability studies of WSNs in the presence of sensor nodes and channel failures and repair/replacement. The main purpose is to enhance improvement of WSN Quality of Service (QoS). Other research works also considered in this thesis include modelling of packet arrival distribution at the CH and intermediate nodes, and modelling of energy consumption at the sensor nodes. An investigation and critical analysis of wireless sensor network architectures, energy conservation techniques and QoS requirements are performed in order to improve performance and availability of the network. Existing techniques used for performance evaluation of single and multi-server systems with several operative states are investigated and analysed in details. To begin with, existing approaches for independent (pure) performance modelling are critically analysed with highlights on merits and drawbacks. Similarly, pure availability modelling approaches are also analysed. Considering that pure performance models tend to be too optimistic and pure availability models are too conservative, performability, which is the integration of performance and availability studies is used for the evaluation of the WSN models developed in this study. Two-dimensional Markov state space representations of the systems are used for performability modelling. Following critical analysis of the existing solution techniques, spectral expansion method and system of simultaneous linear equations are developed and used to solving the proposed models. To validate the results obtained with the two techniques, a discrete event simulation tool is explored. In this research, open queuing networks are used to model the behaviour of the CH when subjected to streams of traffic from cluster nodes in addition to dynamics of operating in the various states. The research begins with a model of a CH with an infinite queue capacity subject to failures and repair/replacement. The model is developed progressively to consider bounded queue capacity systems, channel failures and sleep scheduling mechanisms for performability evaluation of WSNs. Using the developed models, various performance measures of the considered system including mean queue length, throughput, response time and blocking probability are evaluated. Finally, energy models considering mean power consumption in each of the possible operative states is developed. The resulting models are in turn employed for the evaluation of energy saving for the proposed case study model. Numerical solutions and discussions are presented for all the queuing models developed. Simulation is also performed in order to validate the accuracy of the results obtained. In order to address issues of performance and availability of WSNs, current research present independent performance and availability studies. The concerns resulting from such studies have therefore remained unresolved over the years hence persistence poor system performance. The novelty of this research is a proposed integrated performance and availability modelling approach for WSNs meant to address challenges of independent studies. In addition, a novel methodology for modelling and evaluation of power consumption is also offered. Proposed model results provide remarkable improvement on system performance and availability in addition to providing tools for further optimisation studies. A significant power saving is also observed from the proposed model results. In order to improve QoS for WSN, it is possible to improve the proposed models by incorporating priority queuing in a mixed traffic environment. A model of multi-server system is also appropriate for addressing traffic routing. It is also possible to extend the proposed energy model to consider other sleep scheduling mechanisms other than On-demand proposed herein. Analysis and classification of possible arrival distribution of WSN packets for various application environments would be a great idea for enabling robust scientific research

Resilience of an embedded architecture using hardware redundancy

In the last decade the dominance of the general computing systems market has being replaced by embedded systems with billions of units manufactured every year. Embedded systems appear in contexts where continuous operation is of utmost importance and failure can be profound. Nowadays, radiation poses a serious threat to the reliable operation of safety-critical systems. Fault avoidance techniques, such as radiation hardening, have been commonly used in space applications. However, these components are expensive, lag behind commercial components with regards to performance and do not provide 100% fault elimination. Without fault tolerant mechanisms, many of these faults can become errors at the application or system level, which in turn, can result in catastrophic failures. In this work we study the concepts of fault tolerance and dependability and extend these concepts providing our own definition of resilience. We analyse the physics of radiation-induced faults, the damage mechanisms of particles and the process that leads to computing failures. We provide extensive taxonomies of 1) existing fault tolerant techniques and of 2) the effects of radiation in state-of-the-art electronics, analysing and comparing their characteristics. We propose a detailed model of faults and provide a classification of the different types of faults at various levels. We introduce an algorithm of fault tolerance and define the system states and actions necessary to implement it. We introduce novel hardware and system software techniques that provide a more efficient combination of reliability, performance and power consumption than existing techniques. We propose a new element of the system called syndrome that is the core of a resilient architecture whose software and hardware can adapt to reliable and unreliable environments. We implement a software simulator and disassembler and introduce a testing framework in combination with ERA’s assembler and commercial hardware simulators

In-silico-Systemanalyse von Biopathways

Chen M. In silico systems analysis of biopathways. Bielefeld (Germany): Bielefeld University; 2004.In the past decade with the advent of high-throughput technologies, biology has migrated from a descriptive science to a predictive one. A vast amount of information on the metabolism have been produced; a number of specific genetic/metabolic databases and computational systems have been developed, which makes it possible for biologists to perform in silico analysis of metabolism. With experimental data from laboratory, biologists wish to systematically conduct their analysis with an easy-to-use computational system. One major task is to implement molecular information systems that will allow to integrate different molecular database systems, and to design analysis tools (e.g. simulators of complex metabolic reactions). Three key problems are involved: 1) Modeling and simulation of biological processes; 2) Reconstruction of metabolic pathways, leading to predictions about the integrated function of the network; and 3) Comparison of metabolism, providing an important way to reveal the functional relationship between a set of metabolic pathways. This dissertation addresses these problems of in silico systems analysis of biopathways. We developed a software system to integrate the access to different databases, and exploited the Petri net methodology to model and simulate metabolic networks in cells. It develops a computer modeling and simulation technique based on Petri net methodology; investigates metabolic networks at a system level; proposes a markup language for biological data interchange among diverse biological simulators and Petri net tools; establishes a web-based information retrieval system for metabolic pathway prediction; presents an algorithm for metabolic pathway alignment; recommends a nomenclature of cellular signal transduction; and attempts to standardize the representation of biological pathways. Hybrid Petri net methodology is exploited to model metabolic networks. Kinetic modeling strategy and Petri net modeling algorithm are applied to perform the processes of elements functioning and model analysis. The proposed methodology can be used for all other metabolic networks or the virtual cell metabolism. Moreover, perspectives of Petri net modeling and simulation of metabolic networks are outlined. A proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format, as well as its syntax (which is based on XML) are introduced. BioPNML is designed to provide a starting point for the development of a standard interchange format for Bioinformatics and Petri nets. The language makes it possible to exchange biology Petri net diagrams between all supported hardware platforms and versions. It is also designed to associate Petri net models and other known metabolic simulators. A web-based metabolic information retrieval system, PathAligner, is developed in order to predict metabolic pathways from rudimentary elements of pathways. It extracts metabolic information from biological databases via the Internet, and builds metabolic pathways with data sources of genes, sequences, enzymes, metabolites, etc. The system also provides a navigation platform to investigate metabolic related information, and transforms the output data into XML files for further modeling and simulation of the reconstructed pathway. An alignment algorithm to compare the similarity between metabolic pathways is presented. A new definition of the metabolic pathway is proposed. The pathway defined as a linear event sequence is practical for our alignment algorithm. The algorithm is based on strip scoring the similarity of 4-hierarchical EC numbers involved in the pathways. The algorithm described has been implemented and is in current use in the context of the PathAligner system. Furthermore, new methods for the classification and nomenclature of cellular signal transductions are recommended. For each type of characterized signal transduction, a unique ST number is provided. The Signal Transduction Classification Database (STCDB), based on the proposed classification and nomenclature, has been established. By merging the ST numbers with EC numbers, alignments of biopathways are possible. Finally, a detailed model of urea cycle that includes gene regulatory networks, metabolic pathways and signal transduction is demonstrated by using our approaches. A system biological interpretation of the observed behavior of the urea cycle and its related transcriptomics information is proposed to provide new insights for metabolic engineering and medical care

Engineering for a changing world: 60th Ilmenau Scientific Colloquium, Technische Universität Ilmenau, September 04-08, 2023 : programme

In 2023, the Ilmenau Scientific Colloquium is once more organised by the Department of Mechanical Engineering. The title of this year’s conference “Engineering for a Changing World” refers to limited natural resources of our planet, to massive changes in cooperation between continents, countries, institutions and people – enabled by the increased implementation of information technology as the probably most dominant driver in many fields. The Colloquium, supplemented by workshops, is characterised but not limited to the following topics: – Precision engineering and measurement technology Nanofabrication – Industry 4.0 and digitalisation in mechanical engineering – Mechatronics, biomechatronics and mechanism technology – Systems engineering – Productive teaming - Human-machine collaboration in the production environment The topics are oriented on key strategic aspects of research and teaching in Mechanical Engineering at our university

A Study on the Automatic Ship Control Based on Adaptive Neural Networks

Recently, dynamic models of marine ships are often required to design advanced control systems. In practice, the dynamics of marine ships are highly nonlinear and are affected by highly nonlinear, uncertain external disturbances. This results in parametric and structural uncertainties in the dynamic model, and requires the need for advanced robust control techniques. There are two fundamental control approaches to consider the uncertainty in the dynamic model: robust control and adaptive control. The robust control approach consists of designing a controller with a fixed structure that yields an acceptable performance over the full range of process variations. On the other hand, the adaptive control approach is to design a controller that can adapt itself to the process uncertainties in such a way that adequate control performance is guaranteed. In adaptive control, one of the common assumptions is that the dynamic model is linearly parameterizable with a fixed dynamic structure. Based on this assumption, unknown or slowly varying parameters are found adaptively. However, structural uncertainty is not considered in the existing control techniques. To cope with the nonlinear and uncertain natures of the controlled ships, an adaptive neural network (NN) control technique is developed in this thesis. The developed neural network controller (NNC) is based on the adaptive neural network by adaptive interaction (ANNAI). To enhance the adaptability of the NNC, an algorithm for automatic selection of its parameters at every control cycle is introduced. The proposed ANNAI controller is then modified and applied to some ship control problems. Firstly, an ANNAI-based heading control system for ship is proposed. The performance of the ANNAI-based heading control system in course-keeping and turning control is simulated on a mathematical ship model using computer. For comparison, a NN heading control system using conventional backpropagation (BP) training methods is also designed and simulated in similar situations. The improvements of ANNAI-based heading control system compared to the conventional BP one are discussed. Secondly, an adaptive ANNAI-based track control system for ship is developed by upgrading the proposed ANNAI controller and combining with Line-of-Sight (LOS) guidance algorithm. The off-track distance from ship position to the intended track is included in learning process of the ANNAI controller. This modification results in an adaptive NN track control system which can adapt with the unpredictable change of external disturbances. The performance of the ANNAI-based track control system is then demonstrated by computer simulations under the influence of external disturbances. Thirdly, another application of the ANNAI controller is presented. The ANNAI controller is modified to control ship heading and speed in low-speed maneuvering of ship. Being combined with a proposed berthing guidance algorithm, the ANNAI controller becomes an automatic berthing control system. The computer simulations using model of a container ship are carried out and shows good performance. Lastly, a hybrid neural adaptive controller which is independent of the exact mathematical model of ship is designed for dynamic positioning (DP) control. The ANNAI controllers are used in parallel with a conventional proportional-derivative (PD) controller to adaptively compensate for the environmental effects and minimize positioning as well as tracking error. The control law is simulated on a multi-purpose supply ship. The results are found to be encouraging and show the potential advantages of the neural-control scheme.1. Introduction = 1 1.1 Background and Motivations = 1 1.1.1 The History of Automatic Ship Control = 1 1.1.2 The Intelligent Control Systems = 2 1.2 Objectives and Summaries = 6 1.3 Original Distributions and Major Achievements = 7 1.4 Thesis Organization = 8 2. Adaptive Neural Network by Adaptive Interaction = 9 2.1 Introduction = 9 2.2 Adaptive Neural Network by Adaptive Interaction = 11 2.2.1 Direct Neural Network Control Applications = 11 2.2.2 Description of the ANNAI Controller = 13 2.3 Training Method of the ANNAI Controller = 17 2.3.1 Intensive BP Training = 17 2.3.2 Moderate BP Training = 17 2.3.3 Training Method of the ANNAI Controller = 18 3. ANNAI-based Heading Control System = 21 3.1 Introduction = 21 3.2 Heading Control System = 22 3.3 Simulation Results = 26 3.3.1 Fixed Values of n and = 28 3.3.2 With adaptation of n and r = 33 3.4 Conclusion = 39 4. ANNAI-based Track Control System = 41 4.1 Introduction = 41 4.2 Track Control System = 42 4.3 Simulation Results = 48 4.3.1 Modules for Guidance using MATLAB = 48 4.3.2 M-Maps Toolbox for MATLAB = 49 4.3.3 Ship Model = 50 4.3.4 External Disturbances and Noise = 50 4.3.5 Simulation Results = 51 4.4 Conclusion = 55 5. ANNAI-based Berthing Control System = 57 5.1 Introduction = 57 5.2 Berthing Control System = 58 5.2.1 Control of Ship Heading = 59 5.2.2 Control of Ship Speed = 61 5.2.3 Berthing Guidance Algorithm = 63 5.3 Simulation Results = 66 5.3.1 Simulation Setup = 66 5.3.2 Simulation Results and Discussions = 67 5.4 Conclusion = 79 6. ANNAI-based Dynamic Positioning System = 80 6.1 Introduction = 80 6.2 Dynamic Positioning System = 81 6.2.1 Station-keeping Control = 82 6.2.2 Low-speed Maneuvering Control = 86 6.3 Simulation Results = 88 6.3.1 Station-keeping = 89 6.3.2 Low-speed Maneuvering = 92 6.4 Conclusion = 98 7. Conclusions and Recommendations = 100 7.1 Conclusion = 100 7.1.1 ANNAI Controller = 100 7.1.2 Heading Control System = 101 7.1.3 Track Control System = 101 7.1.4 Berthing Control System = 102 7.1.5 Dynamic Positioning System = 102 7.2 Recommendations for Future Research = 103 References = 104 Appendixes A = 112 Appendixes B = 11

Model Predictive Control of an Unmanned Quadrotor Helicopter: Theory and Flight Tests

Model Predictive Control (MPC) has been well established and widely used in the process control industry since years. However, due to dependability of its success on availability of high computational power to handle burden of online repetitive calculations, and existence of a precise mathematical model of the controlled plant, it has found less application in other areas of systems and control, specifically speaking when it comes to fast dynamics control systems featuring a highly elaborate plant. Preceded by previous successful efforts made in the application of MPC to other areas of systems and control rather than process control, this thesis initiates employment of MPC in the unmanned aerial systems industry. To this end, the system of the quadrotor UAV testbed in the Networked Autonomous Vehicles Laboratory of Concordia University is chosen. A three dimensional autopilot control system within the framework of MPC is developed and tested through numerous flight experiments. The overall performance of the quadrotor helicopter is evaluated under autonomous fight for three flight scenarios of trajectory tracking, payload drop, robustness to voltage/current drop, and fault-tolerant control in the presence of faults induced by reduced actuator effectiveness. This has been achieved by the proper use of a model reduction technique as well as a fast optimization algorithm to address the issues with high computation, and incorporation of the integral action control in the MPC formulation to meet the offset-free tracking requirement. Both simulation and experimental results are presented to demonstrate success of the design