The AT&T Internet Difference Engine: Tracking and viewing changes on the web

The AT&T Internet Difference Engine (AIDE) is a system that finds and displays changes to pages on the World Wide Web. The system consists of several components, including a webcrawler that detects changes, an archive of past versions of pages, a tool called HtmlDiff to highlight changes between versions of a page, and a graphical interface to view the relationship between pages over time. This paper describes AIDE, with an emphasis on the evolution of the system and experiences with it. It also raises some sociological and legal issues.     

Minimum‐variance control of astronomical adaptive optic systems with actuator dynamics under synchronous and asynchronous sampling

Adaptive optic (AO) systems are now routinely used in ground‐based telescopes to counter the effects of atmospheric turbulence. A deformable mirror (DM) generates a correction wavefront, which is subtracted from the turbulent wavefront using measurements of the residual phase provided by a wavefront sensor (WFS). Minimizing the variance of the residual phase defines a sampled data control problem combining a continuous time minimum‐variance (MV) performance criterion with a discrete‐time controller. For a fairly general class of linear time‐invariant DM and turbulence WFS models, this control problem can be transformed into an equivalent discrete‐time LQ optimization problem involving a set of (discrete‐time) control‐sufficient statistics of the incoming continuous‐time turbulence. This paper shows how to constructively solve this MV problem in the presence of DM's dynamics, starting from continuous‐time models of DM and turbulence. This result is extended to the case of asynchronous DM/WFS sampling. An illustrative application to optimal control of tip‐tilt turbulent modes for the European extremely large telescope in the presence of first‐order DM's dynamics is presented. Copyright © 2010 John Wiley & Sons, Ltd.     

Design of UDE‐based controllers from their two‐degree‐of‐freedom nature

The control algorithm based on the uncertainty and disturbance estimator (UDE) is a robust control strategy and has received wide attention in recent years. In this paper, the two‐degree‐of‐freedom nature of UDE‐based controllers is revealed. The set‐point tracking response is determined by the reference model, whereas the disturbance response and robustness are determined by the error feedback gain and the filter introduced to estimate the uncertainty and disturbances. It is also revealed that the error dynamics of the system is determined by two filters, of which one is determined by the error feedback gain and the other is determined by the filter introduced to estimate the uncertainty and disturbances. The design of these two filters are decoupled in the frequency domain. Moreover, after introducing the UDE‐based control, the Laplace transform can be applied to some time‐varying systems for analysis and design because all the time‐varying parts are lumped into a signal. It has been shown that, in addition to the known advantages over the time‐delay control, the UDE‐based control also brings better performance than the time‐delay control under the same conditions. Design examples and simulation results are given to demonstrate the findings. Copyright © 2010 John Wiley & Sons, Ltd.     

Parameter estimation and stabilization for a wave equation with boundary output harmonic disturbance and non‐collocated control

This paper is concerned with the parameter estimation and stabilization of a one‐dimensional wave equation with harmonic disturbance suffered by boundary observation at one end and the non‐collocated control at the other end. An adaptive observer is designed in terms of measured velocity corrupted by harmonic disturbance with unknown magnitude. The backstepping method for infinite‐dimensional system is adopted in the design of the feedback law. It is shown that the resulting closed‐loop system is asymptotically stable. Meanwhile, the estimated parameter is shown to be convergent to the unknown parameter as time goes to infinity. Copyright © 2010 John Wiley & Sons, Ltd.     

Adaptive NN output‐feedback decentralized stabilization for a class of large‐scale stochastic nonlinear strict‐feedback systems

In this paper, the decentralized adaptive neural network (NN) output‐feedback stabilization problem is investigated for a class of large‐scale stochastic nonlinear strict‐feedback systems, which interact through their outputs. The nonlinear interconnections are assumed to be bounded by some unknown nonlinear functions of the system outputs. In each subsystem, only a NN is employed to compensate for all unknown upper bounding functions, which depend on its own output. Therefore, the controller design for each subsystem only need its own information and is more simplified than the existing results. It is shown that, based on the backstepping method and the technique of nonlinear observer design, the whole closed‐loop system can be proved to be stable in probability by constructing an overall state‐quartic and parameter‐quadratic Lyapunov function. The simulation results demonstrate the effectiveness of the proposed control scheme. Copyright © 2010 John Wiley & Sons, Ltd.     

Lapped transform‐based codec for frame‐memory reduction in super‐quality LCD overdrive

Abstract— Overdrive is commonly used to reduce the liquid‐crystal response time and motion blur in liquid‐crystal displays (LCDs). However, overdrive requires a large frame memory in order to store the previous frame for reference. In this paper, a lapped transform‐based codec (LTC) is proposed to reduce the frame memory needed for LCD overdrive. In the latest literature, a directional prediction‐based codec (DPC) employs eight directional predictions, which takes up a large percentage of the computational complexity of the codec and does not consider the de‐correlation of the inter‐blocks. Therefore, the LTC first uses the lapped transform to decompose the correlation of the inter‐blocks in the YUV color space. A hadamard transform is then used for energy compaction. The reordered coefficients are pre‐quantized and encoded using the proposed adaptive bit‐plane coding (ABPC) method for a simple hardware implementation. The simulation results show that the proposed LTC significantly improves the DPC in both subjective and objective performance and outperforms the block truncation coding (BTC) and adaptive multi‐level BTC (AM‐BTC), which have been described in the literature.