Steady-state modelling of the universal exhaust gas oxygen (UEGO) sensor

The universal exhaust gas oxygen (UEGO) sensor is a well-established device which was developed for the measurement of relative air fuel ratio in internal combustion engines. There is, however, little information available which allows for the prediction of the UEGO's behaviour when exposed to arbitrary gas mixtures, pressures and temperatures. Here we present a steady-state model for the sensor, based on a solution of the Stefan-Maxwell equation, and which includes a momentum balance. The response of the sensor is dominated by a diffusion barrier, which controls the rate of diffusion of gas species between the exhaust and a cavity. Determination of the diffusion barrier characteristics, especially the mean pore size, porosity and tortuosity, is essential for the purposes of modelling, and a measurement technique based on identification of the sensor pressure giving zero temperature sensitivity is shown to be a convenient method of achieving this. The model, suitably calibrated, is shown to make good predictions of sensor behaviour for large variations of pressure, temperature and gas composition. © 2012 IOP Publishing Ltd.

Representations and algorithms for finite-state bisimulations of linear discrete-time control systems

While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques. ©2009 IEEE.

Oscillator models and collective motion: Splay state stabilization of self-propelled particles

This paper presents a Lyapunov design for the stabilization of collective motion in a planar kinematic model of N particles moving at constant speed. We derive a control law that achieves asymptotic stability of the splay state formation, characterized by uniform rotation of N evenly spaced particles on a circle. In designing the control law, the particle headings are treated as a system of coupled phase oscillators. The coupling function which exponentially stabilizes the splay state of particle phases is combined with a decentralized beacon control law that stabilizes circular motion of the particles. © 2005 IEEE.

Instability of the steady-state regime of generation in laser diodes with a broad gain spectrum

The laser-diode parameters at which the steady-state regime of generation becomes unstable are analyzed within the framework of the mode-locking model. The crucial role of the transverse inhomogeneity of the field, pumping intensity, and spectrum width in developing the instabilities of the steady-state regime of generation is demonstrated. The calculated values of the instability threshold are shown to be consistent with the experimental results. © 2008 Springer Science+Business Media, Inc.