Synchronization in climate dynamics and other extended systems

Synchronization is now well established as representing coherent behaviour between two or more otherwise autonomous nonlinear systems subject to some degree of coupling. Such behaviour has mainly been studied to date, however, in relatively low-dimensional discrete systems or networks. But the possibility of similar kinds of behaviour in continuous or extended spatiotemporal systems has many potential practical implications, especially in various areas of geophysics. We review here a range of cyclically varying phenomena within the Earth's climate system for which there may be some evidence or indication of the possibility of synchronized behaviour, albeit perhaps imperfect or highly intermittent. The exploitation of this approach is still at a relatively early stage within climate science and dynamics, in which the climate system is regarded as a hierarchy of many coupled sub-systems with complex nonlinear feedbacks and forcings. The possibility of synchronization between climate oscillations (global or local) and a predictable external forcing raises important questions of how models of such phenomena can be validated and verified, since the resulting response may be relatively insensitive to the details of the model being synchronized. The use of laboratory analogues may therefore have an important role to play in the study of natural systems that can only be observed and for which controlled experiments are impossible. We go on to demonstrate that synchronization can be observed in the laboratory, even in weakly coupled fluid dynamical systems that may serve as direct analogues of the behaviour of major components of the Earth's climate system. The potential implications and observability of these effects in the long-term climate variability of the Earth is further discussed. © 2010 Springer-Verlag Berlin Heidelberg.

Experimental investigation of antenna selection and transmit beamforming for capacity enhancement in 3×3 MIMO-enabled radio-over-fiber DAS

This paper examines the impact of two simple precoding schemes on the capacity of 3 × 3 MIMO-enabled radio-over-fiber (RoF) distributed antenna systems (DAS) with excess transmit antennas. Specifically, phase-shift-only transmit beamforming and antenna selection are compared. It is found that for two typical indoor propagation scenarios, both strategies offer double the capacity gain that non-precoding MIMO DAS offers over traditional MIMO collocated antenna systems (CAS), with capacity improvements of 3.2-4.2 bit/s/Hz. Further, antenna selection shows similar performance to phase-only beamforming, differing by <0.5% and offering median capacities of 94 bit/s/Hz and 82 bit/s/Hz in the two propagation scenarios respectively. Because optical DASs enable precise, centralized control of remote antennas, they are well suited for implementing these beamforming schemes. Antenna selection, in particular, is a simple and effective means of increasing MIMO DAS capacity. © 2013 IEEE.

Sensing through body dynamics

It has been shown that sensory morphology and sensory-motor coordination enhance the capabilities of sensing in robotic systems. The tasks of categorization and category learning, for example, can be significantly simplified by exploiting the morphological constraints, sensory-motor couplings and the interaction with the environment. This paper argues that, in the context of sensory-motor control, it is essential to consider body dynamics derived from morphological properties and the interaction with the environment in order to gain additional insight into the underlying mechanisms of sensory-motor coordination, and more generally the nature of perception. A locomotion model of a four-legged robot is used for the case studies in both simulation and real world. The locomotion model demonstrates how attractor states derived from body dynamics influence the sensory information, which can then be used for the recognition of stable behavioral patterns and of physical properties in the environment. A comprehensive analysis of behavior and sensory information leads to a deeper understanding of the underlying mechanisms by which body dynamics can be exploited for category learning of autonomous robotic systems. © 2006 Elsevier Ltd. All rights reserved.

Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

This article introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of embedded control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other actions that update the state of the controller may occur in the interim. Such actions could model, for example, sensor updates and information received from higher-level planning modules that change the set point of the controller. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariant properties of PCHAs is presented. For PCHAs with polynomial continuous vector fields, it is possible to check these conditions automatically using, for example, quantifier elimination or sum of squares decomposition. We examine the feasibility of this automatic approach on a small example. The proposed technique is also used to manually verify safety and progress properties of a fairly complex planner-controller subsystem of an autonomous ground vehicle. Geometric properties of planner-generated paths are derived which guarantee that such paths can be safely followed by the controller. © 2012 ACM.

Periodically controlled hybrid systems verifying a controller for an autonomous vehicle

This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.

Experimental evaluation of layout designs for 3 × 3 MIMO-enabled radio-over-fiber distributed antenna systems

This paper experimentally demonstrates that, for two representative indoor distributed antenna system (DAS) scenarios, existing radio-over-fiber (RoF) DAS installations can enhance the capacity advantages of broadband 3 × 3 multiple-input-multiple-output (MIMO) radio services without requiring additional fibers or multiplexing schemes. This is true for both single-and multiple-user cases with a single base station and multiple base stations. First, a theoretical example is used to illustrate that there is a negligible improvement in signal-to-noise ratio (SNR) when using a MIMO DAS with all N spatial streams replicated at N RAUs, compared with a MIMO DAS with only one of the N streams replicated at each RAU for N ≤ 4. It is then experimentally confirmed that a 3 × 3 MIMO DAS offers improved capacity and throughput compared with a 3 × 3 MIMO collocated antenna system (CAS) for the single-user case in two typical indoor DAS scenarios, i.e., one with significant line-of-sight (LOS) propagation and the other with entirely non-line-of-sight (NLOS) propagation. The improvement in capacity is 3.2% and 4.1%, respectively. Then, experimental channel measurements confirm that there is a negligible capacity increase in the 3 × 3 configuration with three spatial streams per antenna unit over the 3 × 3 configuration with a single spatial stream per antenna unit. The former layout is observed to provide an increase of ∼1% in the median channel capacity in both the single-and multiple-user scenarios. With 20 users and three base stations, a MIMO DAS using the latter layout offers median aggregate capacities of 259 and 233 bit/s/Hz for the LOS and NLOS scenarios, respectively. It is concluded that DAS installations can further enhance the capacity offered to multiple users by multiple 3 × 3 MIMO-enabled base stations. Further, designing future DAS systems to support broadband 3 × 3 MIMO systems may not require significant upgrades to existing installations for small numbers of spatial streams. © 2013 IEEE.

Applying systematic design: the flight refuelling probe project

This report is a product of close industry-academia collaboration between British Aerospace and the Cambridge Engineering Design Centre (EDC). British Aerospace designs and integrates some of the most complex systems in the world, and its expertise in this field has enabled the company to become the United Kingdom's largest exporter. However, to stay at the forefront of the highly competitive aerospace industry it is necessary to seek new ways to work more effectively and more efficiently. The Cambridge EDC has played a part in supporting these needs by providing access to the methods and tools that it has developed for improving the process of designing mechanical systems. The EDC has gained an international reputation for the quality of its work in this subject. Thus, the collaboration is between two organisations each of whom are leaders in their respective fields. The central aim of the project has been to demonstrate how a systematic design process can be applied to a real design task identified by industry. The task selected was the design of a flight refuelling probe which would enable a combat aircraft to refuel from a "flying tanker". However, the systematic approach, methods and tools described in this report are applicable to most engineering design tasks. The findings presented in this report provide a sound basis for comparing the recommended systematic design process with industrial practice. The results of this comparison would enable the company to define ways in which its existing design process can be improved. This research project has a high degree of industrial relevance. The value of the work may be judged in terms of the opportunities it opens up for positive changes to the company's engineering operations. Several members of the EDC have contributed to the project. These include Dr Lucienne Blessing, Dr Stuart Burgess, Dr Amaresh Chakrabarti, Major Mark Nowack, Aylmer Johnson and Dr Paul Weaver. At British Aerospace special thanks must go to Alan Dean and David Halliday for their interest and the support they have given. The project has been managed by Dr Nigel Upton of British Aerospace during a 3 year secondment to the EDC.