Statistical Static Timing Analysis for Digital Circuitry

This paper proposed the impact of variations on delay in CMOS technology of 32 nm. The magnitude of process variations have grown, there has been an increasing realization that traditional design methodologies both for analysis and optimization are no longer acceptable. The main objective of the project is that Statistical Static Timing Analysis method has the result closer to best method and less time consuming which is far more acceptable. So we consider Statistical Static timing Analysis is the best and acceptable method for timing analysis of digital Circuits. The variation in propagation delay is big concern. The proposed system considers the variations in the designing process and finds the propagation delay. This is compared with another method called as Monte Carlo method. Also the simulation time required for both the methods are considered

Surrogate - Assisted Optimisation -Based Verification & Validation

This thesis deals with the application of optimisation based Validation and Verification (V&V) analysis on aerospace vehicles in order to determine their worst case performance metrics. To this end, three aerospace models relating to satellite and launcher vehicles provided by European Space Agency (ESA) on various projects are utilised. As a means to quicken the process of optimisation based V&V analysis, surrogate models are developed using polynomial chaos method. Surro- gate models provide a quick way to ascertain the worst case directions as computation time required for evaluating them is very small. A sin- gle evaluation of a surrogate model takes less than a second. Another contribution of this thesis is the evaluation of operational safety margin metric with the help of surrogate models. Operational safety margin is a metric defined in the uncertain parameter space and is related to the distance between the nominal parameter value and the first instance of performance criteria violation. This metric can help to gauge the robustness of the controller but requires the evaluation of the model in the constraint function and hence could be computationally intensive. As surrogate models are computationally very cheap, they are utilised to rapidly compute the operational safety margin metric. But this metric focuses only on finding a safe region around the nominal parameter value and the possibility of other disjoint safe regions are not explored. In order to find other safe or failure regions in the param- eter space, the method of Bernstein expansion method is utilised on surrogate polynomial models to help characterise the uncertain param- eter space into safe and failure regions. Furthermore, Binomial failure analysis is used to assign failure probabilities to failure regions which might help the designer to determine if a re-design of the controller is required or not. The methodologies of optimisation based V&V, surrogate modelling, operational safety margin, Bernstein expansion method and risk assessment have been combined together to form the WCAT-II MATLAB toolbox

Advances in Reinforcement Learning

Reinforcement Learning (RL) is a very dynamic area in terms of theory and application. This book brings together many different aspects of the current research on several fields associated to RL which has been growing rapidly, producing a wide variety of learning algorithms for different applications. Based on 24 Chapters, it covers a very broad variety of topics in RL and their application in autonomous systems. A set of chapters in this book provide a general overview of RL while other chapters focus mostly on the applications of RL paradigms: Game Theory, Multi-Agent Theory, Robotic, Networking Technologies, Vehicular Navigation, Medicine and Industrial Logistic

Developing and deploying enhanced algorithms to enable operational stability control systems with embedded high voltage DC links

This thesis was submitted for the award of Doctor of Philosophy and was awarded by Brunel University LondonThe increasing penetration of renewable energy resources within the Great Britain (GB) transmission system has created much greater variability of power flows within the transmission network. Consequently, modern transmission networks are presented with an ever increasing range of operating conditions. As a result, decision making in the Electricity National Control Centre (ENCC) of the GB electrical power transmission system is becoming more complex and control room actions are required for reducing timescales in the future so as to enable optimum operation of the system. To maximise utilisation of the electricity transmission system there is a requirement for fast transient and dynamic stability control. In this regard, GB electrical power transmissions system reinforcement using new technology, such as High Voltage Direct Current (HVDC) links and Thyristor-Controlled Series Compensation (TCSC), is planned to come into operation. The research aim of this PhD thesis is to fully investigate the effects of HVDC lines on power system small-disturbance stability in the presence of operational uncertainties. The main research outcome is the comprehensive probabilistic assessment of the stability improvements that can be achieved through the use of supplementary damping control when applied to HVDC systems. In this thesis, two control schemes for small-signal dynamic stability enhancement of an embedded HVDC link are proposed: Modal Linear Quadratic Gaussian (MLQG) controller and Model Predictive Controller (MPC). Following these studies, probabilistic methodologies are developed in order to test of the robustness of HVDC based damping controllers, which involves using classification techniques to identify possible mitigation options for power system operators. The Monte Carlo (MC) and Point Estimated Method (PEM) are developed in order to identify the statistical distributions of critical modes of a power system in the presence of uncertainties. In addition, eigenvalue sensitivity analysis is devised and demonstrated to ensure accurate results when the PEM is used with test systems. Finally, the concepts and techniques introduced in the thesis are combined to investigate robustness for the widely adopted MLQG controller and the recently introduced MPC, which are designed as the supplementary controls of an embedded HVDC link for damping inter-area oscillations. Power system controllers are designed using a linearised model of the system and tuned for a nominal operating point. The assumption is made that the system will be operating within an acceptable proximity range of its nominal operating condition and that the uncertainty created by changes within each operating point can possibly have an adverse effect on the controller’s performance