Nonautonomous elementary net systems and their application to programmable logic control

In this paper, a novel approach to Petri net modeling of programmable logic controller (PLC) programs is presented. The modeling approach is a simple extension of elementary net systems, and a graphical design tool that supports the use of this modeling approach is provided. A key characteristic of the model is that the binary sensory inputs and binary actuation outputs of the PLC are explicitly represented. This leads to the following two improvements: outputs are unambiguous, and interaction patterns are more clearly represented in the graphical form. The use of this modeling approach produces programs that are simple, lightweight, and portable. The approach is demonstrated by applying it to the development of a control module for a MonTech Positioning Station. © 2008 IEEE.

Designing MPC controllers by reverse-engineering existing LTI controllers

This technical report presents a method for designing a constrained output-feedback model predictive controller (MPC) that behaves in the same way as an existing baseline stabilising linear time invariant output-feedback controller when constraints are inactive. The baseline controller is cast into an observer-compensator form and an inverse-optimal cost function is used as the basis of the MPC controller. The available degrees of design freedom are explored, and some guidelines provided for the selection of an appropriate observer-compensator realisation that will best allow exploitation of the constraint-handling and redundancy management capabilities of MPC. Consideration is given to output setpoint tracking, and the method is demonstrated with three different multivariable plants of varying complexity.

SPEECH RECOGNITION IN VODIS II.

VODIS II, a research system in which recognition is based on the conventional one-pass connected-word algorithm extended in two ways, is described. Syntactic constraints can now be applied directly via context-free-grammar rules, and the algorithm generates a lattice of candidate word matches rather than a single globally optimal sequence. This lattice is then processed by a chart parser and an intelligent dialogue controller to obtain the most plausible interpretations of the input. A key feature of the VODIS II architecture is that the concept of an abstract word model allows the system to be used with different pattern-matching technologies and hardware. The current system implements the word models on a real-time dynamic-time-warping recognizer.

Tutorial on loop shaping using H-infinity robust stabilization

A new method for multivariable control was proposed in McFarlane and Glover (1988 CDC). This method involved shaping the open-loop singular values with pre and/or post compensators and then designing a controller to robustly stabilize a normalized coprime factorization of this weighted plant. The method has many attractive features including guaranteed loop shape and robust stability and performance. This talk will outline the rationale of this method and illustrate its use on a number of applications.

Comparison of different scheduling techniques for H-infinity controllers

Several approaches to designing schedule H-infinity control systems are compared. These include a controller switching approach and also parameter scheduling of an observer representation of the controller. They are illustrated by application to a Generic VSTOI. Aircraft Model (GVAM) supplied by The Royal Aerospace Establishment (RAE) at Bedford. The switched design has been tested on the simulator at RAE Bedford. The linear H-infinity designs make use of a loop-shaping followed by robust stabilisation to additive perturbations of a normalised coprime factorisation of the shaped plans. The different scheduling approaches are compared with respect to achieved robust stability levels. performance and complexity of implementation.

Robust control of plants with saturation nonlinearity based on coprime factor representations

We consider the robust control of plants with saturation nonlinearities from an input/output viewpoint. First, we present a parameterization for anti-windup control based on coprime factorizations of the controller. Second, we propose a synthesis method which exploits the freedom to choose a particular coprime factorization.

CACSD, GUI's, and the multivariable frequency domain toolbox

This talk describes a new version of the Multivariable Frequency Domain Toolbox for Matlab. The intellectual issue which arises here is whether there is a role for Matlab-4 GUI facilities in a Toolbox which provides relatively low-level functionality, with a correspondingly random pattern of user interaction. My belief is that there is a role, but it is very restricted: in effect only for providing convenient 'viewing' facilities for low-level objects (which are multivariable frequency responses in the case of the MFD Toolbox). There is a more obvious role for a GUI with higher-level functions, such as frequency domain identification or parametric controller optimisation.

Algorithm for identification in the v-gap metric

This paper suggests a method for identification in the v-gap metric. For a finite number of frequency response samples, a problem for identification in the v-gap metric is formulated and an approximate solution is described. It uses an iterative technique for obtaining an L2-gap approximation. Each stage of the iteration involves solving an LMI optimisation. Given a known stabilising controller and the L2-gap approximation, it is shown how to derive a v-gap approximation.

Modelling of equipment loaded panels for robust control investigations

This paper develops a modelling technique for equipment load panels which directly produces (adequate) models of the underlying dynamics on which to base robust controller design/evaluations. This technique is based on the use of the Lagrange's equations of motion and the resulting models are verified against those produced by a finite Element Method Model.

Active roll control of an experimental articulated vehicle

A new experimental articulated vehicle with computer-controlled suspensions is used to investigate the benefits of active roll control for heavy vehicles. The mechanical hardware, the instrumentation, and the distributed control architecture are detailed. A simple roll-plane model is developed and validated against experimental data, and used to design a controller based on lateral acceleration feedback. The controller is implemented and tested on the experimental vehicle. By tilting both the tractor drive axle and the trailer inwards, substantial reductions in normalized lateral load transfer are obtained, both in steady state and transient conditions. Power requirements are also considered. © IMechE 2005.

Optimizing the energy output of vertical axis wind turbines for fluctuating wind conditions

The control of a wind turbine to the mean wind speed in a gusty wind results in very poor performance. Fluctuations in wind speed with time constants shorter than the response time of a wind turbine results in operation away from optimum design conditions. The effectiveness of a turbine operating in a gusty wind is shown though the use of an unsteady performance coefficient, C e. This performance coefficient is similar in form to a power coefficient. However in order to accommodate unsteady effects, Ce is defined as a ratio of energy extracted to the total wind energy available over a set time period. The turbine's response to real wind data is modelled, in the first instance, by assuming a constant rotational speed operation. It is shown that a significant increase in energy production can be realized by demanding a Tip Speed Ratio above the steady state optimum. The constant speed model is then further extended to incorporate inertial and controller effects. Parameters dictating how well a turbine can track a demand in Tip Speed Ratio have been identified and combined, to form a non-dimensional turbine response parameter. This parameter characterizes a turbine's ability to track a demand in Tip Speed Ratio dependent on an effective gust frequency. A significant increase in energy output of 42% and 245% is illustrated through the application of this over-speed control. This is for the constant rotational speed and Tip Speed Ratio feedback models respectively. The affect of airfoil choice on energy extraction within a gusty wind has been considered. The adaptive control logic developed enables the application of airfoils demonstrating high maximum L/D values but sharp stalling characteristics to be successfully used in a VAWT design.

The changing face and role of CACSD

Computer Aided Control Engineering involves three parallel streams: Simulation and modelling, Control system design (off-line), and Controller implementation. In industry the bottleneck problem has always been modelling, and this remains the case - that is where control (and other) engineers put most of their technical effort. Although great advances in software tools have been made, the cost of modelling remains very high - too high for some sectors. Object-oriented modelling, enabling truly re-usable models, seems to be the key enabling technology here. Software tools to support control systems design have two aspects to them: aiding and managing the work-flow in particular projects (whether of a single engineer or of a team), and provision of numerical algorithms to support control-theoretic and systems-theoretic analysis and design. The numerical problems associated with linear systems have been largely overcome, so that most problems can be tackled routinely without difficulty - though problems remain with (some) systems of extremely large dimensions. Recent emphasis on control of hybrid and/or constrained systems is leading to the emerging importance of geometric algorithms (ellipsoidal approximation, polytope projection, etc). Constantly increasing computational power is leading to renewed interest in design by optimisation, an example of which is MPC. The explosion of embedded control systems has highlighted the importance of autocode generation, directly from modelling/simulation products to target processors. This is the 'new kid on the block', and again much of the focus of commercial tools is on this part of the control engineer's job. Here the control engineer can no longer ignore computer science (at least, for the time being). © 2006 IEEE.

The changing face and role of CACSD

Computer Aided Control Engineering involves three parallel streams: Simulation and modelling, Control system design (off-line), and Controller implementation. In industry the bottleneck problem has always been modelling, and this remains the case - that is where control (and other) engineers put most of their technical effort. Although great advances in software tools have been made, the cost of modelling remains very high - too high for some sectors. Object-oriented modelling, enabling truly re-usable models, seems to be the key enabling technology here. Software tools to support control systems design have two aspects to them: aiding and managing the work-flow in particular projects (whether of a single engineer or of a team), and provision of numerical algorithms to support control-theoretic and systems-theoretic analysis and design. The numerical problems associated with linear systems have been largely overcome, so that most problems can be tackled routinely without difficulty - though problems remain with (some) systems of extremely large dimensions. Recent emphasis on control of hybrid and/or constrained systems is leading to the emerging importance of geometric algorithms (ellipsoidal approximation, polytope projection, etc). Constantly increasing computational power is leading to renewed interest in design by optimisation, an example of which is MPC. The explosion of embedded control systems has highlighted the importance of autocode generation, directly from modelling/simulation products to target processors. This is the 'new kid on the block', and again much of the focus of commercial tools is on this part of the control engineer's job. Here the control engineer can no longer ignore computer science (at least, for the time being). ©2006 IEEE.

Risk-sensitive optimal feedback control accounts for sensorimotor behavior under uncertainty

Many aspects of human motor behavior can be understood using optimality principles such as optimal feedback control. However, these proposed optimal control models are risk-neutral; that is, they are indifferent to the variability of the movement cost. Here, we propose the use of a risk-sensitive optimal controller that incorporates movement cost variance either as an added cost (risk-averse controller) or as an added value (risk-seeking controller) to model human motor behavior in the face of uncertainty. We use a sensorimotor task to test the hypothesis that subjects are risk-sensitive. Subjects controlled a virtual ball undergoing Brownian motion towards a target. Subjects were required to minimize an explicit cost, in points, that was a combination of the final positional error of the ball and the integrated control cost. By testing subjects on different levels of Brownian motion noise and relative weighting of the position and control cost, we could distinguish between risk-sensitive and risk-neutral control. We show that subjects change their movement strategy pessimistically in the face of increased uncertainty in accord with the predictions of a risk-averse optimal controller. Our results suggest that risk-sensitivity is a fundamental attribute that needs to be incorporated into optimal feedback control models. © 2010 Nagengast et al.

Adaptive control of combustion instabilities for unknown sign of the high frequency gain

A type of adaptive, closed-loop controllers known as self-tuning regulators present a robust method of eliminating thermoacoustic oscillations in modern gas turbines. These controllers are able to adapt to changes in operating conditions, and require very little pre-characterisation of the system. One piece of information that is required, however, is the sign of the system's high frequency gain (or its 'instantaneous gain'). This poses a problem: combustion systems are infinite-dimensional, and so this information is never known a priori. A possible solution is to use a Nussbaum gain, which guarantees closed-loop stability without knowledge of the sign of the high frequency gain. Despite the theory for such a controller having been developed in the 1980s, it has never, to the authors' knowledge, been demonstrated experimentally. In this paper, a Nussbaum gain is used to stabilise thermoacoustic instability in a Rijke tube. The sign of the high frequency gain of the system is not required, and the controller is robust to large changes in operating conditions - demonstrated by varying the length of the Rijke tube with time. Copyright © 2008 by Simon J. Illingworth & Aimee S. Morgans.