Design of nonlinear observer for chaotic message transmission

Thesis (Master)--Izmir Institute of Technology, Electronics and Communication Engineering, Izmir, 2013Includes bibliographical references (leaves: 60-64)Text in English; Abstract: Turkish and Englishx, 64 leavesChaos is an interesting nonlinear phenomena that occurs in wide variety of fields. A significant amount of research was devoted to understanding chaos and its properties. After that, researchers focused on searching for possible application areas for chaos to utilize its properties. The need to increase the security of a communication system is considered as a perfect match for chaos and its several properties, yielding chaotic communication. In this thesis, chaotic communication is approached from a control theory perspective. Specifically, three nonlinear observers are designed to extract message encrypted in a chaotic communication signal. The design and stability analysis is presented for the first observer, and the other observers are presented as modifications to the first one. Extensive numerical simulations are performed to demonstrate the viability of the proposed observers. Robustness of the observers to noise, additive disturbances, and parametric mismatch, and security of the observers are demonstrated numerically

Engineering Education and Research Using MATLAB

MATLAB is a software package used primarily in the field of engineering for signal processing, numerical data analysis, modeling, programming, simulation, and computer graphic visualization. In the last few years, it has become widely accepted as an efficient tool, and, therefore, its use has significantly increased in scientific communities and academic institutions. This book consists of 20 chapters presenting research works using MATLAB tools. Chapters include techniques for programming and developing Graphical User Interfaces (GUIs), dynamic systems, electric machines, signal and image processing, power electronics, mixed signal circuits, genetic programming, digital watermarking, control systems, time-series regression modeling, and artificial neural networks

Design and Implementation of Secure Chaotic Communication Systems

Chaotic systems have properties such as ergodicity, sensitivity to initial conditions/parameter mismatches, mixing property, deterministic dynamics, structure complexity, to mention a few, that map nicely with cryptographic requirements such as confusion, diffusion, deterministic pseudorandomness, algorithm complexity. Furthermore, the possibility of chaotic synchronization, where the master system (transmitter) is driving the slave system (receiver) by its output signal, made it probable for the possible utilization of chaotic systems to implement security in the communication systems. Many methods like chaotic masking, chaotic modulation, inclusion, chaotic shift keying (CSK) had been proposed however, many attack methods later showed them to be insecure. Different modifications of these methods also exist in the literature to improve the security, but almost all suffer from the same drawback. Therefore, the implementation of chaotic systems in security still remains a challenge. In this work, different possibilities on how it might be possible to improve the security of the existing methods are explored. The main problem with the existing methods is that the message imprint could be found in the dynamics of the transmitted signal, therefore by some signal processing or pattern classification techniques, etc, allow the exposition of the hidden message. Therefore, the challenge is to remove any pattern or change in dynamics that the message might bring in the transmitted signal

Advanced Mathematics and Computational Applications in Control Systems Engineering

Control system engineering is a multidisciplinary discipline that applies automatic control theory to design systems with desired behaviors in control environments. Automatic control theory has played a vital role in the advancement of engineering and science. It has become an essential and integral part of modern industrial and manufacturing processes. Today, the requirements for control precision have increased, and real systems have become more complex. In control engineering and all other engineering disciplines, the impact of advanced mathematical and computational methods is rapidly increasing. Advanced mathematical methods are needed because real-world control systems need to comply with several conditions related to product quality and safety constraints that have to be taken into account in the problem formulation. Conversely, the increment in mathematical complexity has an impact on the computational aspects related to numerical simulation and practical implementation of the algorithms, where a balance must also be maintained between implementation costs and the performance of the control system. This book is a comprehensive set of articles reflecting recent advances in developing and applying advanced mathematics and computational applications in control system engineering

Analysis of pattern dynamics for a nonlinear model of the human cortex via bifurcation theories

This thesis examines the bifurcations, i.e., the emergent behaviours, for the Waikato cortical model under the influence of the gap-junction inhibitory diffusion D₂ (identified as the Turing bifurcation parameter) and the time-to-peak for hyperpolarising GABA response γi (i.e., inhibitory rate-constant, identified as the Hopf bifurcation parameter). The cortical model simplifies the entire cortex to a cylindrical macrocolumn (∼ 1 mm³) containing ∼ 10⁵ neurons (85% excitatory, 15% inhibitory) communicating via both chemical and electrical (gap-junction) synapses. The linear stability analysis of the model equations predict the emergence of a Turing instability (in which separated areas of the cortex become activated) when gap-junction diffusivity is increased above a critical level. In addition, a Hopf bifurcation (oscillation) occurs when the inhibitory rate-constant is sufficiently small. Nonlinear interaction between these instabilities leads to spontaneous cortical patterns of neuronal activities evolving in space and time. Such model dynamics of delicately balanced interplay between Turing and Hopf instabilities may be of direct relevance to clinically observed brain dynamics such as epileptic seizure EEG spikes, deep-sleep slow-wave oscillations and cognitive gamma-waves. The relationship between the modelled brain patterns and model equations can normally be inferred from the eigenvalue dispersion curve, i.e., linear stability analysis. Sometimes we experienced mismatches between the linear stability analysis and the formed cortical patterns, which hampers us in identifying the type of instability corresponding to the emergent patterns. In this thesis, I investigate the pattern-forming mechanism of the Waikato cortical model to better understand the model nonlinearities. I first study the pattern dynamics via analysis of a simple pattern-forming system, the Brusselator model, which has a similar model structure and bifurcation phenomena as the cortical model. I apply both linear and nonlinear perturbation methods to analyse the near-bifurcation behaviour of the Brusselator in order to precisely capture the dominant mode that contributes the most to the final formed-patterns. My nonlinear analysis of the Brusselator model yields Ginzburg-Landau type amplitude equations that describe the dynamics of the most unstable mode, i.e., the dominant mode, in the vicinity of a bifurcation point. The amplitude equations at a Turing point unfold three characteristic spatial structures: honeycomb Hπ, stripes, and reentrant honeycomb H₀. A codimension-2 Turing–Hopf point (CTHP) predicts three mixed instabilities: stable Turing–Hopf (TH), chaotic TH, and bistable TH. The amplitude equations precisely determine the bifurcation conditions for these instabilities and explain the pattern-competition mechanism once the bifurcation parameters cross the thresholds, whilst driving the system into a nonlinear region where the linear stability analysis may not be applicable. Then, I apply the bifurcation theories to the cortical model for its pattern predictions. Analogous to the Brusselator model, I find cortical Turing pattens in Hπ, stripes and H₀ spatial structures. Moreover, I develop the amplitude equations for the cortical model, with which I derive the envelope frequency for the beating-waves of a stable TH mode; and propose ideas regarding emergence of the cortical chaotic mode. Apart from these pattern dynamics that the cortical model shares with the Brusselator system, the cortical model also exhibits “eye-blinking” TH patterns latticed in hexagons with localised oscillations. Although we have not found biological significance of these model pattens, the developed bifurcation theories and investigated pattern-forming mechanism may enrich our modelling strategies and help us to further improve model performance. In the last chapter of this thesis, I introduce a Turing–Hopf mechanism for the anaesthetic slow-waves, and predict a coherence drop of such slow-waves with the induction of propofol anaesthesia. To test this hypothesis, I developed an EEG coherence analysing algorithm, EEG coherence, to automatically examine the clinical EEG recordings across multiple subjects. The result shows significantly decreased coherence along the fronto-occipital axis, and increased coherence along the left- and right-temporal axis. As the Waikato cortical model is spatially homogenous, i.e., there are no explicit front-to-back or right-to-left directions, it is unable to produce different coherence changes for different regions. It appears that the Waikato cortical model best represents the cortical dynamics in the frontal region. The theory of pattern dynamics suggests that a mode transition from wave–Turing–wave to Turing–wave–Turing introduces pattern coherence changes in both positive and negative directions. Thus, a further modelling improvement may be the introduction of a cortical bistable mode where Turing and wave coexist

Synchronization and prediction of chaotic dynamics on networks of optoelectronic oscillators

The subject of this thesis is the exploration of chaotic synchronization for novel applications including time-series prediction and sensing. We begin by characterizing the nonlinear dynamics of an optoelectronic time-delayed feedback loop. We show that synchronization of an accurate numerical model to experimental measurements provides a way to assimilate data and forecast the future of deterministic chaotic behavior. Next, we implement an adaptive control method that maintains isochronal synchrony for a network of coupled feedback loops when the interaction strengths are unknown and time-varying. Control signals are used as real-time estimates of the variations present within the coupling paths. We analyze the stability of synchronous solutions for arbitrary coupling topologies via a modified master stability function that incorporates the adaptation response dynamics. Finally, we show that the master stability function, which is derived from a set of linearized equations, can also be experimentally measured using a two-node network, and it can be applied to predict the convergence behavior of large networks

Comprehensive Modeling and Analysis of Rotorcraft Variable Speed Propulsion System With Coupled Engine/Transmission/Rotor Dynamics

This project develops comprehensive modeling and simulation tools for analysis of variable rotor speed helicopter propulsion system dynamics. The Comprehensive Variable-Speed Rotorcraft Propulsion Modeling (CVSRPM) tool developed in this research is used to investigate coupled rotor/engine/fuel control/gearbox/shaft/clutch/flight control system dynamic interactions for several variable rotor speed mission scenarios. In this investigation, a prototypical two-speed Dual-Clutch Transmission (DCT) is proposed and designed to achieve 50 percent rotor speed variation. The comprehensive modeling tool developed in this study is utilized to analyze the two-speed shift response of both a conventional single rotor helicopter and a tiltrotor drive system. In the tiltrotor system, both a Parallel Shift Control (PSC) strategy and a Sequential Shift Control (SSC) strategy for constant and variable forward speed mission profiles are analyzed. Under the PSC strategy, selecting clutch shift-rate results in a design tradeoff between transient engine surge margins and clutch frictional power dissipation. In the case of SSC, clutch power dissipation is drastically reduced in exchange for the necessity to disengage one engine at a time which requires a multi-DCT drive system topology. In addition to comprehensive simulations, several sections are dedicated to detailed analysis of driveline subsystem components under variable speed operation. In particular an aeroelastic simulation of a stiff in-plane rotor using nonlinear quasi-steady blade element theory was conducted to investigate variable speed rotor dynamics. It was found that 2/rev and 4/rev flap and lag vibrations were significant during resonance crossings with 4/rev lagwise loads being directly transferred into drive-system torque disturbances. To capture the clutch engagement dynamics, a nonlinear stick-slip clutch torque model is developed. Also, a transient gas-turbine engine model based on first principles mean-line compressor and turbine approximations is developed. Finally an analysis of high frequency gear dynamics including the effect of tooth mesh stiffness variation under variable speed operation is conducted including experimental validation. Through exploring the interactions between the various subsystems, this investigation provides important insights into the continuing development of variable-speed rotorcraft propulsion systems

Nonlinearity Index Aircraft Spin Motion Analysis With Dynamic Inversion Spin Recovery Controller Design

The aim of this thesis research is to extend the previous work of Tapolcai utilizing nonlinearity index theory to quantitatively analyze nonlinearities in an aircraft model and to augment these undesirable nonlinear characteristics with feedback control. In his work Tapolcai utilized a simplified rotational three degree of freedom model to analyze spin conditions of the F-18 High Angle-of-Attack Research Vehicle model. Through the application of nonlinearity index theory, regions of severe nonlinearity were uncovered exhibiting chaotic non-periodic behavior, periodic limit cycling, and instability. If these conditions were encountered during flight, the aircraft would exhibit undesirable response characteristics thereby requiring augmented control to safely operate. In this research the F-18 model is first implemented with a complete translational and rotational six degree of freedom framework. The trim solution for a steady state spin condition is then determined subject to realizable constraints. The trim equations are then leveraged to create nonlinearity index plots to identify the regions of high nonlinearity that need to be augmented. Nonlinear Dynamic Inversion theory is then employed to design a controller for spin recovery. The effectiveness of the developed controller is confirmed with nonlinear simulations in different spin conditions that were identified from the nonlinearity index analysis

Development of FPGA based Standalone Tunable Fuzzy Logic Controllers

Soft computing techniques differ from conventional (hard) computing, in that unlike hard computing, it is tolerant of imprecision, uncertainty, partial truth, and approximation. In effect, the role model for soft computing is the human mind and its ability to address day-to-day problems. The principal constituents of Soft Computing (SC) are Fuzzy Logic (FL), Evolutionary Computation (EC), Machine Learning (ML) and Artificial Neural Networks (ANNs). This thesis presents a generic hardware architecture for type-I and type-II standalone tunable Fuzzy Logic Controllers (FLCs) in Field Programmable Gate Array (FPGA). The designed FLC system can be remotely configured or tuned according to expert operated knowledge and deployed in different applications to replace traditional Proportional Integral Derivative (PID) controllers. This re-configurability is added as a feature to existing FLCs in literature. The FLC parameters which are needed for tuning purpose are mainly input range, output range, number of inputs, number of outputs, the parameters of the membership functions like slope and center points, and an If-Else rule base for the fuzzy inference process. Online tuning enables users to change these FLC parameters in real-time and eliminate repeated hardware programming whenever there is a need to change. Realization of these systems in real-time is difficult as the computational complexity increases exponentially with an increase in the number of inputs. Hence, the challenge lies in reducing the rule base significantly such that the inference time and the throughput time is perceivable for real-time applications. To achieve these objectives, Modified Rule Active 2 Overlap Membership Function (MRA2-OMF), Modified Rule Active 3 Overlap Membership Function (MRA3-OMF), Modified Rule Active 4 Overlap Membership Function (MRA4-OMF), and Genetic Algorithm (GA) base rule optimization methods are proposed and implemented. These methods reduce the effective rules without compromising system accuracy and improve the cycle time in terms of Fuzzy Logic Inferences Per Second (FLIPS). In the proposed system architecture, the FLC is segmented into three independent modules, fuzzifier, inference engine with rule base, and defuzzifier. Fuzzy systems employ fuzzifier to convert the real world crisp input into the fuzzy output. In type 2 fuzzy systems there are two fuzzifications happen simultaneously from upper and lower membership functions (UMF and LMF) with subtractions and divisions. Non-restoring, very high radix, and newton raphson approximation are most widely used division algorithms in hardware implementations. However, these prevalent methods have a cost of more latency. In order to overcome this problem, a successive approximation division algorithm based type 2 fuzzifier is introduced. It has been observed that successive approximation based fuzzifier computation is faster than the other type 2 fuzzifier. A hardware-software co-design is established on Virtex 5 LX110T FPGA board. The MATLAB Graphical User Interface (GUI) acquires the fuzzy (type 1 or type 2) parameters from users and a Universal Asynchronous Receiver/Transmitter (UART) is dedicated to data communication between the hardware and the fuzzy toolbox. This GUI is provided to initiate control, input, rule transfer, and then to observe the crisp output on the computer. A proposed method which can support canonical fuzzy IF-THEN rules, which includes special cases of the fuzzy rule base is included in Digital Fuzzy Logic Controller (DFLC) architecture. For this purpose, a mealy state machine is incorporated into the design. The proposed FLCs are implemented on Xilinx Virtex-5 LX110T. DFLC peripheral integration with Micro-Blaze (MB) processor through Processor Logic Bus (PLB) is established for Intellectual Property (IP) core validation. The performance of the proposed systems are compared to Fuzzy Toolbox of MATLAB. Analysis of these designs is carried out by using Hardware-In-Loop (HIL) test to control various plant models in MATLAB/Simulink environments