SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers

Digital controllers have several advantages with respect to their flexibility and design's simplicity. However, they are subject to problems that are not faced by analog controllers. In particular, these problems are related to the finite word-length implementation that might lead to overflows, limit cycles, and time constraints in fixed-point processors. This paper proposes a new method to detect design's errors in digital controllers using a state-of-the art bounded model checker based on satisfiability modulo theories. The experiments with digital controllers for a ball and beam plant demonstrate that the proposed method can be very effective in finding errors in digital controllers than other existing approaches based on traditional simulations tools

Pole Placement and Reduced-Order Modelling for Time-Delayed Systems Using Galerkin Approximations

The dynamics of time-delayed systems (TDS) are governed by delay differential equa- tions (DDEs), which are infinite dimensional and pose computational challenges. The Galerkin approximation method is one of several techniques to obtain the spectrum of DDEs for stability and stabilization studies. In the literature, Galerkin approximations for DDEs have primarily dealt with second-order TDS (second-order Galerkin method), and the for- mulations have resulted in spurious roots, i.e., roots that are not among the characteristic roots of the DDE. Although these spurious roots do not affect stability studies, they never- theless add to the complexity and computation time for control and reduced-order modelling studies of DDEs. A refined mathematical model, called the first-order Galerkin method, is proposed to avoid spurious roots, and the subtle differences between the two formulations (second-order and first-order Galerkin methods) are highlighted with examples. For embedding the boundary conditions in the first-order Galerkin method, a new pseudoinverse-based technique is developed. This method not only gives the exact location of the rightmost root but also, on average, has a higher number of converged roots when compared to the existing pseudospectral differencing method. The proposed method is combined with an optimization framework to develop a pole-placement technique for DDEs to design closed-loop feedback gains that stabilize TDS. A rotary inverted pendulum system apparatus with inherent sensing delays as well as deliberately introduced time delays is used to experimentally validate the Galerkin approximation-based optimization framework for the pole placement of DDEs. Optimization-based techniques cannot always place the rightmost root at the desired location; also, one has no control over the placement of the next set of rightmost roots. However, one has the precise location of the rightmost root. To overcome this, a pole- placement technique for second-order TDS is proposed, which combines the strengths of the method of receptances and an optimization-based strategy. When the method of receptances provides an unsatisfactory solution, particle swarm optimization is used to improve the location of the rightmost pole. The proposed approach is demonstrated with numerical studies and is validated experimentally using a 3D hovercraft apparatus. The Galerkin approximation method contains both converged and unconverged roots of the DDE. By using only the information about the converged roots and applying the eigenvalue decomposition, one obtains an r-dimensional reduced-order model (ROM) of the DDE. To analyze the dynamics of DDEs, we first choose an appropriate value for r; we then select the minimum value of the order of the Galerkin approximation method system at which at least r roots converge. By judiciously selecting r, solutions of the ROM and the original DDE are found to match closely. Finally, an r-dimensional ROM of a 3D hovercraft apparatus in the presence of delay is validated experimentally

Channel modeling and resource allocation in OFDM systems

The increasing demand for high data rate in wireless communication systems gives rise to broadband communication systems. The radio channel is plagued by multipath propagation, which causes frequency-selective fading in broadband signals. Orthogonal Frequency-Division Multiplexing (OFDM) is a modulation scheme specifically designed to facilitate high-speed data transmission over frequency-selective fading channels. The problem of channel modeling in the frequency domain is first investigated for the wideband and ultra wideband wireless channels. The channel is converted into an equivalent discrete channel by uniformly sampling the continuous channel frequency response (CFR), which results in a discrete CFR. A necessary and sufficient condition is established for the existence of parametric models for the discrete CFR. Based on this condition, we provide a justification for the effectiveness of previously reported autoregressive (AR) models in the frequency domain of wideband and ultra wideband channels. Resource allocation based on channel state information (CSI) is known to be a very powerful method for improving the spectral efficiency of OFDM systems. Bit and power allocation algorithms have been discussed for both static channels, where perfect knowledge of CSI is assumed, and time-varying channels, where the knowledge of CSI is imperfect. In case of static channels, the optimal resource allocation for multiuser OFDM systems has been investigated. Novel algorithms are proposed for subcarrier allocation and bit-power allocation with considerably lower complexity than other schemes in the literature. For time-varying channel, the error in CSI due to channel variation is recognized as the main obstacle for achieving the full potential of resource allocation. Channel prediction is proposed to suppress errors in the CSI and new bit and power allocation schemes incorporating imperfect CSI are presented and their performance is evaluated through simulations. Finally, a maximum likelihood (ML) receiver for Multiband Keying (MBK) signals is discussed, where MBK is a modulation scheme proposed for ultra wideband systems (UWB). The receiver structure and the associated ML decision rule is derived through analysis. A suboptimal algorithm based on a depth-first tree search is introduced to significantly reduce the computational complexity of the receiver

Measurements, Models, Systems and Design

531 s.

Parameter identification and filter design for a repetitive controller of hot rolling mills

U výrobků válcoven za tepla se vyskytují periodické povrchové defekty v důsledku inherentní excentricity přítomné ve válcích. Tyto vady lze považovat za periodické rušení systému. Pro odstranění těchto závad je zkoumán návrh regulátoru založený na metodě opakované kontroly. První aproximací válcovacích tratí za tepla z experimentálních dat jako systémů s časovým zpožděním prvního řádu se získají potřebné podmínky regulátoru a vlastnosti, které musí být splněny pro periodické vyřazování poruch, pro konkrétní typ systémů s interním ovladačem modelu. S ohledem na tyto podmínky je pak navržena a testována metodika získávání filtrů, které mají klíčovou roli v opakované kontrole, pro její účinnost a robustnost při dosahování úspěšné kontroly při poruše a nesouladu mezi zařízeními a modely.In hot rolling mill products, periodic surface defects are encountered due to the inherent eccentricity present in the rolls. These defects can be considered as a periodic disturbance to the system. To remove these defects, a controller design based on Repetitive Control method is investigated. By first approximating hot rolling mills from experimental data as first-order time delayed systems, the necessary controller conditions and properties that need to be satisfied for periodic disturbance rejection are obtained for the particular type of systems with Internal Model Controller. Then with respect to these conditions, a methodology to obtain filters which hold a key part in Repetitive Control is proposed and tested for its effectiveness and robustness in achieving successful control under disturbance and plant/model mismatch

Spectrum analysis of LTI continuous-time systems with constant delays: A literature overview of some recent results

In recent decades, increasingly intensive research attention has been given to dynamical systems containing delays and those affected by the after-effect phenomenon. Such research covers a wide range of human activities and the solutions of related engineering problems often require interdisciplinary cooperation. The knowledge of the spectrum of these so-called time-delay systems (TDSs) is very crucial for the analysis of their dynamical properties, especially stability, periodicity, and dumping effect. A great volume of mathematical methods and techniques to analyze the spectrum of the TDSs have been developed and further applied in the most recent times. Although a broad family of nonlinear, stochastic, sampled-data, time-variant or time-varying-delay systems has been considered, the study of the most fundamental continuous linear time-invariant (LTI) TDSs with fixed delays is still the dominant research direction with ever-increasing new results and novel applications. This paper is primarily aimed at a (systematic) literature overview of recent (mostly published between 2013 to 2017) advances regarding the spectrum analysis of the LTI-TDSs. Specifically, a total of 137 collected articles-which are most closely related to the research area-are eventually reviewed. There are two main objectives of this review paper: First, to provide the reader with a detailed literature survey on the selected recent results on the topic and Second, to suggest possible future research directions to be tackled by scientists and engineers in the field. © 2013 IEEE.MSMT-7778/2014, FEDER, European Regional Development Fund; LO1303, FEDER, European Regional Development Fund; CZ.1.05/2.1.00/19.0376, FEDER, European Regional Development FundEuropean Regional Development Fund through the Project CEBIA-Tech Instrumentation [CZ.1.05/2.1.00/19.0376]; National Sustainability Program Project [LO1303 (MSMT-7778/2014)

Study of the best linear approximation of nonlinear systems with arbitrary inputs

System identification is the art of modelling of a process (physical, biological, etc.) or to predict its behaviour or output when the environment condition or parameter changes. One is modelling the input-output relationship of a system, for example, linking temperature of a greenhouse (output) to the sunlight intensity (input), power of a car engine (output) with fuel injection rate (input). In linear systems, changing an input parameter will result in a proportional increase in the system output. This is not the case in a nonlinear system. Linear system identification has been extensively studied, more so than nonlinear system identification. Since most systems are nonlinear to some extent, there is significant interest in this topic as industrial processes become more and more complex. In a linear dynamical system, knowing the impulse response function of a system will allow one to predict the output given any input. For nonlinear systems this is not the case. If advanced theory is not available, it is possible to approximate a nonlinear system by a linear one. One tool is the Best Linear Approximation (Bla), which is an impulse response function of a linear system that minimises the output differences between its nonlinear counterparts for a given class of input. The Bla is often the starting point for modelling a nonlinear system. There is extensive literature on the Bla obtained from input signals with a Gaussian probability density function (p.d.f.), but there has been very little for other kinds of inputs. A Bla estimated from Gaussian inputs is useful in decoupling the linear dynamics from the nonlinearity, and in initialisation of parameterised models. As Gaussian inputs are not always practical to be introduced as excitations, it is important to investigate the dependence of the Bla on the amplitude distribution in more detail. This thesis studies the behaviour of the Bla with regards to other types of signals, and in particular, binary sequences where a signal takes only two levels. Such an input is valuable in many practical situations, for example where the input actuator is a switch or a valve and hence can only be turned either on or off. While it is known in the literature that the Bla depends on the amplitude distribution of the input, as far as the author is aware, there is a lack of comprehensive theoretical study on this topic. In this thesis, the Blas of discrete-time time-invariant nonlinear systems are studied theoretically for white inputs with an arbitrary amplitude distribution, including Gaussian and binary sequences. In doing so, the thesis offers answers to fundamental questions of interest to system engineers, for example: 1) How the amplitude distribution of the input and the system dynamics affect the Bla? 2) How does one quantify the difference between the Bla obtained from a Gaussian input and that obtained from an arbitrary input? 3) Is the difference (if any) negligible? 4) What can be done in terms of experiment design to minimise such difference? To answer these questions, the theoretical expressions for the Bla have been developed for both Wiener-Hammerstein (Wh) systems and the more general Volterra systems. The theory for the Wh case has been verified by simulation and physical experiments in Chapter 3 and Chapter 6 respectively. It is shown in Chapter 3 that the difference between the Gaussian and non-Gaussian Bla’s depends on the system memory as well as the higher order moments of the non-Gaussian input. To quantify this difference, a measure called the Discrepancy Factor—a measure of relative error, was developed. It has been shown that when the system memory is short, the discrepancy can be as high as 44.4%, which is not negligible. This justifies the need for a method to decrease such discrepancy. One method is to design a random multilevel sequence for Gaussianity with respect to its higher order moments, and this is discussed in Chapter 5. When estimating the Bla even in the absence of environment and measurement noise, the nonlinearity inevitably introduces nonlinear distortions—deviations from the Bla specific to the realisation of input used. This also explains why more than one realisation of input and averaging is required to obtain a good estimate of the Bla. It is observed that with a specific class of pseudorandom binary sequence (Prbs), called the maximum length binary sequence (Mlbs or the m-sequence), the nonlinear distortions appear structured in the time domain. Chapter 4 illustrates a simple and computationally inexpensive method to take advantage this structure to obtain better estimates of the Bla—by replacing mean averaging by median averaging. Lastly, Chapters 7 and 8 document two independent benchmark studies separate from the main theoretical work of the thesis. The benchmark in Chapter 7 is concerned with the modelling of an electrical Wh system proposed in a special session of the 15th International Federation of Automatic Control (Ifac) Symposium on System Identification (Sysid) 2009 (Schoukens, Suykens & Ljung, 2009). Chapter 8 is concerned with the modelling of a ‘hyperfast’ Peltier cooling system first proposed in the U.K. Automatic Control Council (Ukacc) International Conference on Control, 2010 (Control 2010)