Recent developments in the practice control field have heightened the need for performance enhancement. The designed controller should not only guarantee the variables to follow their set point values, but also ought to focus on the performance of systems like quality, efficiency, etc. Hence, with the fact that the inevitable noises are widely existing during industry processes, the randomness of the tracking errors can be considered as a critical performance to improve further. In addition, due to the fact that some controllers for industrial processes cannot be changed once the parameters are designed, it is crucial to design a control algorithm to minimise the randomness of tracking error without changing the existing closed-loop control. In order to achieve the above objectives, a class of novel algorithms are proposed in this thesis for different types of systems with unmeasurable states. Without changing the existing closed-loop proportional integral(PI) controller, the compensative controller is extra added to reduce the randomness of tracking error. That means the PI controller can always guarantee the basic tracking property while the designed compensative signal can be removed any time without affecting the normal operation. Instead of just using the output information as PI controller, the compensative controller is designed to minimise the randomness of tracking error using estimated states information. Since most system states are unmeasurable, proper filters are employed to estimate the system states. Based on the stochastic system control theory, the criterion to characterise the system randomness are valid to different systems. Therefore a brief review about the basic concepts of stochastic system control contained in this thesis. More specifically, there are overshoot minimisation for linear deterministic systems, minimum variance control for linear Gaussian stochastic systems, and minimum entropy control for non-linear and non-Gaussian stochastic systems. Furthermore, the stability analysis of each system is discussed in mean-square sense. To illustrate the effectiveness of presented control methods, the simulation results are given. Finally, the works of this thesis are summarised and the future work towards to the limitations existed in the proposed algorithms are listed.

In the present work we initiate the investigation of a stochastic system of evolution partial differential equations modelling the turbulent flows of a bidimensional second grade fluid. Global existence and uniqueness of strong probabilistic solution (but weak in the sense of partial differential equations) are expounded. We also give two results on the long time behavior of the strong probabilistic solution of this stochastic model. Mainly we prove that the strong probabilistic solution of our stochastic model converges exponentially in mean square to the stationary solution of the time-independent second grade fluids equations if the deterministic part of the external force does not depend on time. In the time-dependent case the strong probabilistic solution decays exponentially in mean square. These results are obtained under Lipschitz conditions on the forces entering in the model considered. We also establish the global existence of weak probabilistic solution when the Lipschitz condition on the forces no longer holds. Finally, we show that under suitable conditions on the data we can construct a sequence of strong probabilistic solutions of the stochastic second grade fluid that converges to the strong probabilistic solution of the stochastic Navier-Stokes equations when the stress modulus á tends to zero. All these results are new for the stochastic second-grade fluid and generalize the corresponding results obtained for the deterministic second-grade fluids. / Thesis (PhD)--University of Pretoria, 2011. / Mathematics and Applied Mathematics / unrestricted

No description available.

La localisation de dégâts basée sur les mesures de vibrations est devenue un axe de recherche important pour la surveillance de la santé structurale (SHM). En particulier, la Stochastic Dynamic Damage Locating Vector (SDDLV) est une méthode de localisation des dégâts basée sur le couplage entre un modèle aux éléments finis (FE) de la structure et des paramètres modaux estimés à partir des mesures dynamiques en excitation ambiante dans les états structuraux sain et endommagé, interrogeant les changements dans la matrice de transfert. Dans la première contribution, la méthode SDDLV est étendue avec une approche statistique conjointe utilisant plusieurs ensembles de modes, surmontant la limitation théorique sur le nombre minimal de paramètres. Un autre problème traité est la performance de la méthode en fonction du choix de la variable de Laplace où la fonction de transfert est évaluée. Une attention particulière est accordée à ce choix et à son optimisation. Dans la deuxième contribution, l'approche Influence Line Damage Location (ILDL), complémentaire à l’approche SDDLV est étendue avec un cadre statistique. Dans la dernière contribution, une approche de sensibilité pour les petits dommages est développée en fonction de la différence des matrices de transfert, permettant la localisation des dommages par des tests statistiques dans un cadre gaussien, et en plus la quantification des dommages dans une deuxième étape. Enfin, les méthodes proposées sont validées sur des simulations numériques et leurs performances sont testées dans de nombreuses études de cas sur des expériences de laboratoire. / Vibration-based damage localization has become an important issue for Structural Health Monitoring (SHM). Particularly, the Stochastic Dynamic Damage Locating Vector (SDDLV) method is an output-only damage localization method based on both a Finite Element (FE) model of the structure and modal parameters estimated from output-only measurements in the reference and damaged states of the system, interrogating changes in the transfer matrix. Firstly, the SDDLV method has been extended with a joint statistical approach for multiple mode sets, overcoming the theoretical limitation on the number of modes in previous works. Another problem is that the performance of the method can change considerably depending on the Laplace variable where the transfer function is evaluated. Particular attention is given to this choice and how to optimize it. Secondly, the Influence Line Damage Location (ILDL) approach which is complementary to the SDDLV approach has been extended with a statistical framework. Thirdly, a sensitivity approach for small damages has been developed based on the transfer matrix difference, allowing damage localization through statistical tests in a Gaussian framework, and in addition the quantification of the damage in a second step. Finally, the proposed methods are validated on numerical simulations and their performances are tested extensively in numerous case studies on lab experiments.

Uncertainties and constraints are present in most control systems. For example, robot motion planning and building climate regulation can be modeled as uncertain constrained systems. In this thesis, we develop mathematical and computational tools to analyze and synthesize controllers for such systems. As our first contribution, we characterize when a set is a probabilistic controlled invariant set and we develop tools to compute such sets. A probabilistic controlled invariantset is a set within which the controller is able to keep the system state with a certainprobability. It is a natural complement to the existing notion of robust controlled invariantsets. We provide iterative algorithms to compute a probabilistic controlled invariantset within a given set based on stochastic backward reachability. We prove that thesealgorithms are computationally tractable and converge in a finite number of iterations. The computational tools are demonstrated on examples of motion planning, climate regulation, and model predictive control. As our second contribution, we address the control design problem for uncertain constrained systems with aperiodic sensing and actuation. Firstly, we propose a stochastic self-triggered model predictive control algorithm for linear systems subject to exogenous disturbances and probabilistic constraints. We prove that probabilistic constraint satisfaction, recursive feasibility, and closed-loop stability can be guaranteed. The control algorithm is computationally tractable as we are able to reformulate the problem into a quadratic program. Secondly, we develop a robust self-triggered control algorithm for time-varying and uncertain systems with constraints based on reachability analysis. In the particular case when there is no uncertainty, the design leads to a control system requiring minimum number of samples over finite time horizon. Furthermore, when the plant is linear and the constraints are polyhedral, we prove that the previous algorithms can be reformulated as mixed integer linear programs. The method is applied to a motion planning problem with temporal constraints. / <p>QC 20181016</p>

The key objective of this research is to develop a generic simulation modelling methodology that can be used to model stochastic continuous systems effectively. The generic methodology renders simulation models that exhibit the following characteristics: short development and maintenance times, user-friendliness, short simulation runtimes, compact size, robustness, accuracy and a single software application. The research was initiated by the shortcomings of a simulation modelling method that is detailed in a Magister dissertation. A system description of a continuous process plant (referred to as the Synthetic Fuel plant) is developed. The decision support role of simulation modelling is considered and the shortcomings of the original method are analysed. The key objective, importance and limitations of the research are also discussed. The characteristics of stochastic continuous systems are identified and a generic methodology that accommodates these characteristics is conceptualised and developed. It consists of the following eight methods and techniques: the variables technique, the iteration time interval evaluation method, the event-driven evaluation method, the Entity-represent-module method, the Fraction-comparison method, the iterative-loop technique, the time “bottleneck” identification technique and the production lost “bottleneck” identification technique. Five high-level simulation model building blocks are developed. The generic methodology is demonstrated and validated by the development and use of two simulation models. The five high-level building blocks are used to construct identical simulation models of the Synthetic Fuel plant in two different simulation software packages, namely: Arena and Simul8. An iteration time interval and minimum sufficient sample sizes are determined and the simulation models are verified, validated, enhanced and compared. The simulation models are used to evaluate two alternative scenarios. The results of the scenarios are compared and conclusions are presented. The factors that motivated the research, the process that was followed and the generic methodology are summarised. The original method and the generic methodology are compared and the strengths and weaknesses of the generic methodology are discussed. The contribution to knowledge is explained and future developments are proposed. The possible range of application and different usage perspectives are presented. To conclude, the lessons learnt and reinforced are considered. / Thesis (PhD (Industrial Engineering))--University of Pretoria, 2004. / Industrial and Systems Engineering / unrestricted

The electrical motors parameters identification is solved in this master’s thesis using subspace based methods. Electrical motors are simulated in Matlab/Simulink interactive environment, specifically permanent magnet DC motor and permanent magnet synchronous motor. Identification is developed in Matlab interactive environment. Different types of subspace algorithms are used for the estimation of parameters. Results of subspace parameters estimation are compared with least squares parameters estimation. The thesis describes subspace method, types of subspace algorithms, used electrical motors, nonlinear approach of identification and comparation of parameters identification.

This thesis work describes how to apply the stochastic analysis framework, presented in [1] for general priority-driven periodic real-time systems. The proposed framework is applicable to compute the response time distribution, the worst-case response time, and the deadline miss probability of the task under analysis in the fixed-priority driven scheduling system. To be specific, we modeled the task execution time by using the beta distribution. Moreover, we have evaluated the existing stochastic framework on a wide range of periodic systems with the help of defined evaluation parameters. In addition we have refined the notations used in system model and also developed new mathematics in order to facilitate the understanding with the concept. We have also introduced new concepts to obtain and validate the exact probabilistic task response time distribution.    Another contribution of this thesis is that we have extended the existing system model in order to deal with stochastic release time of a job. Moreover, a new algorithm is developed and validated using our extended framework where the stochastic dependencies exist due to stochastic release time patterns. / This is Second Version of the report. Submitted after few modifications made on the order of Thomas Nolte (Thesis Examiner). / START - Stochastic Real-Time Analysis of Embedded Software Systems