Simultaneous $H^{infty}$ Control for Nonlinear Systems

This note develops a novel method for designing simultaneous $H^{infty}$ state feedback controllers for a collection of single-input nonlinear systems. Based on the Kalman—Yakubovich—Popov Lemma, necessary and sufficient conditions for the existence of simultaneous $H^{infty}$ controllers are derived by the control storage function approach. A universal formula for constructing continuous, time-invariant, simultaneous $H^{infty}$ state feedback controllers is presented.      

Decentralized $H_{infty }$ Filter Design for Discrete-Time Interconnected Fuzzy Systems

This paper describes a decentralized $H_{infty }$ filter design for discrete-time interconnected fuzzy systems based on piecewise-quadratic Lyapunov functions. The systems consist of $J$discrete-time interconnected Takagi–Sugeno (T–S) fuzzy subsystems, and a decentralized $H_infty$ filter is designed for each subsystem. It is shown that the stability of the overall filtering-error system with $H_{infty }$ performance can be established if a piecewise-quadratic Lyapunov function can be constructed. Moreover, the parameters of filters can be obtained by solving a set of linear matrix inequalities that are numerically feasible. Two simulation examples are given to show the effectiveness of the proposed approach.      

Group Interaction Analysis in Dynamic Context$^{ast}$

Computer understanding of human actions and interactions is one of the key research issues in human computing. In this regard, context plays an essential role in semantic understanding of human behavioral and social signals from sensor data. This paper put forward an event-based dynamic context model to address the problems of context awareness in the analysis of group interaction scenarios. Event-driven multilevel dynamic Bayesian network is correspondingly proposed to detect multilevel events, which underlies the context awareness mechanism. Online analysis can be achieved, which is superior over previous works. Experiments in our smart meeting room demonstrate the effectiveness of our approach.      

$H_{bm infty}$ Fuzzy Filtering of Nonlinear Systems With Intermittent Measurements

This paper is concerned with the problem of H _infin fuzzy filtering of nonlinear systems with intermittent measurements. The nonlinear plant is represented by a Takagi-Sugeno (T-S) fuzzy model. The measurements transmission from the plant to the filter is assumed to be imperfect, and a stochastic variable satisfying the Bernoulli random binary distribution is utilized to model the phenomenon of the missing measurements. Attention is focused on the design of an H _infin filter such that the filter error system is stochastically stable and preserves a guaranteed H _infin performance. A basis-dependent Lyapunov function approach is developed to design the H _infin filter. By introducing some slack matrix variables, the coupling between the Lyapunov matrix and the system matrices is eliminated, which greatly facilitates the filter-design procedure. The developed theoretical results are in the form of linear matrix inequalities (LMIs). Finally, an illustrative example is provided to show the effectiveness of the proposed approach.     

6H-SiC JFETs for 450 $^{circ}hbox{C}$ Differential Sensing Applications

N-channel 6H-SiC depletion-mode junction field-effect transistors (JFETs) have been fabricated, and characterized for use in high-temperature differential sensing. Electrical characteristics of the JFETs have been measured and are in good agreement with predictions of an abrupt-junction long-channel JFET model. The electrical characteristics were measured across a 2-in wafer for temperatures from 25 $^{ circ}hbox{C}$ to 450 $^{circ}hbox{C}$, and the extracted pinchoff voltage has a mean of 11.3 V and a standard deviation of about 1.0 V at room temperature, whereas pinchoff current has a mean of 0.41 mA with standard deviation of about 0.1 mA. The change in pinchoff voltage is minimal across the measured temperature range, whereas pinchoff current at 450 $^{circ}hbox{C}$ is about half its value at room temperature, consistent with the expected change in the $nmu_{n}$ product. The characterization of differential pairs and hybrid amplifiers constructed using these differential pairs is also reported. A three-stage amplifier with passive loads has a differential voltage gain of 50 dB, and a unity-gain frequency of 200 kHz at 450 $^{circ}hbox{C}$, limited by test parasitics. A two-stage amplifier with active loads has reduced sensitivity to off-chip parasitics and exhibits a differential voltage gain of 69 dB with a unity-gain frequency of 1.3 MHz at 450 $^{circ}hbox{C}$.$hfill$[2009-0029]      

A Parameter-Dependent Approach to Robust $H_{infty }$ Filtering for Time-Delay Systems

This paper is concerned with the problem of robust $H_{infty }$ filtering for linear continuous-time systems with polytopic parameter uncertainties and time-varying delay in the state. We utilize the polynomially parameter-dependent idea to solve the robust $H_{infty }$ filtering problem, with new linear matrix inequality conditions obtained for the existence of admissible filters. These conditions are developed based on homogeneous polynomially parameter-dependent matrices of arbitrary degree. The delay-dependence and polynomial parameter-dependence guarantee the proposed approach to be potentially less conservative, which is shown via a numerical example.      

$H_{infty }$ Fuzzy Control of Nonlinear Systems Under Unreliable Communication Links

This paper investigates the problem of H _infin fuzzy control of nonlinear systems under unreliable communication links. The nonlinear plant is represented by a Takagi--Sugeno (T-S) fuzzy model, and the control strategy takes the form of parallel distributed compensation. The communication links existing between the plant and controller are assumed to be imperfect (that is, data packet dropouts occur intermittently, which appear typically in a network environment), and stochastic variables satisfying the Bernoulli random binary distribution are utilized to model the unreliable communication links. Attention is focused on the design of H _infin controllers such that the closed-loop system is stochastically stable and preserves a guaranteed H _infin performance. Two approaches are developed to solve this problem, based on the quadratic Lyapunov function and the basis-dependent Lyapunov function, respectively. Several examples are provided to illustrate the usefulness and applicability of the developed theoretical results.     

Visual Servo Control Achieving Nanometer Resolution in $X$ –$Y$–$Z$

This paper presents a three-axis vision motion sensor and its applications to visual servo control. The vision sensor is integrated with a three-axis piezo stage to form a visual servo control system that achieves nanometer resolution in all three $x$– $y$–$z$ motion axes. Motion measurement is achieved using a single interferometer-equipped optical microscope. A real-time image-processing algorithm that processes interference fringe patterns and that achieves nanometer out-of-plane resolution is presented. Furthermore, a feedback-control scheme is introduced to control the sensor plane using an Objective-Z-Positioner to enable automatic tracking of moving objects. It expands the out-of-plane measurement range of the vision sensor beyond its inherent depth of field of several micrometers to 100 $mu$m and beyond. An integrated visual servo system is implemented and experimental results are shown.      

Delay-Dependent $hbox{H}_{infty }$ Filter Design for Discrete-Time Fuzzy Systems With Time-Varying Delays

This paper investigates delay-dependent $hbox{H}_{bminfty }$ filter design problems for discrete-time fuzzy systems with time-varying delays. First, a novel delay-dependent piecewise Lyapunov–Krasovskii functional (DDPLKF) is proposed in which both the upper bound of delays and the delay interval are considered. Based on this DDPLKF, the delay-dependent stability criteria for discrete-time systems with constant or time-varying delays are obtained, respectively. Then, delay-dependent full-order and reduced-order $hbox{H}_{bminfty }$ filter design approaches are proposed. The filter parameters can be obtained by solving a set of linear matrix inequalities (LMIs). Simulation examples are also given to illustrate the performance of the proposed approaches. It is shown that our approaches are less conservative and that the corresponding $hbox{H}_{bminfty }$ filters can achieve better performance than the existing approaches.      

Piecewise $H_{infty}$ Controller Design of Uncertain Discrete-Time Fuzzy Systems With Time Delays

This paper considers the robust $H_{infty}$ control of uncertain discrete-time fuzzy systems with time delays based on piecewise Lyapunov--Krasovskii functionals. It is shown that the stability with $H_{infty}$ disturbance attenuation performance can be established for the closed-loop fuzzy control systems if there exists a piecewise Lyapunov--Krasovskii functional, and moreover, the functional and the corresponding controller can be obtained by solving a set of linear matrix inequalities that are numerically feasible. A numerical example is given to demonstrate the efficiency and the advantage of the proposed method.      

On $Delta$-Transforms

Any set of two legs in a Gough–Stewart platform sharing an attachment is defined as a $Delta$component. This component links a point in the platform (base) to a line in the base (platform). Thus, if the two legs, which are involved in a $Delta$ component, are rearranged without altering the location of the line and the point in their base and platform local reference frames, the singularity locus of the Gough–Stewart platform remains the same, provided that no architectural singularities are introduced. Such leg rearrangements are defined as $Delta$-transforms, and they can be applied sequentially and simultaneously. Although it may seem counterintuitive at first glance, the rearrangement of legs using simultaneous $Delta$-transforms does not necessarily lead to leg configurations containing a $Delta$component. As a consequence, the application of $Delta$-transforms reveals itself as a simple, yet powerful, technique for the kinematic analysis of large families of Gough–Stewart platforms. It is also shown that these transforms shed new light on the characterization of architectural singularities and their associated self-motions.      

Audio–Visual Active Speaker Tracking in Cluttered Indoors Environments $^{ast}$

We propose a system for detecting the active speaker in cluttered and reverberant environments where more than one person speaks and moves. Rather than using only audio information, the system utilizes audiovisual information from multiple acoustic and video sensors that feed separate audio and video tracking modules. The audio module operates using a particle filter (PF) and an information-theoretic framework to provide accurate acoustic source location under reverberant conditions. The video subsystem combines in 3-D a number of 2-D trackers based on a variation of Stauffer's adaptive background algorithm with spatiotemporal adaptation of the learning parameters and a Kalman tracker in a feedback configuration. Extensive experiments show that gains are to be expected when fusion of the separate modalities is performed to detect the active speaker.      

$H_{infty}$ Controller Synthesis via Switched PDC Scheme for Discrete-Time T--S Fuzzy Systems

This paper is concerned with the problem of designing switched state feedback $H_{infty}$ controllers for discrete-time Takagi--Sugeno (T--S) fuzzy systems. New types of state feedback controllers, namely, switched parallel distributed compensation (PDC) controllers, are proposed, which are switched based on the values of membership functions. Switched quadratic Lyapunov functions are exploited to derive a new method for designing switched PDC controllers to guarantee the stability and $H_{infty}$ performances of closed-loop nonlinear systems. The design conditions are given in terms of solvability of a set of linear matrix inequalities. It is shown that the new method provides better or at least the same results of the existing design methods via the pure PDC scheme with a quadratic Lyapunov function or switched constant controller gain scheme. Numerical examples are given to illustrate the effectiveness of the proposed method.      

$ {cal L}_{2}$ Gain of Periodic Linear Switched Systems: Fast Switching Behavior

We investigate the $ {cal L}_{2}$ gain of periodic linear switched systems under fast switching. For systems that possess a suitable notion of a time-average system, we characterize the relationship between the ${cal L}_{2}$ gain of the switched system and the ${cal L}_{2}$ gain of its induced time-average system when the switching rate is sufficiently fast. We show that the switched system ${cal L}_{2}$ gain is in general different from the average system ${cal L}_{2}$ gain if the input or output coefficient matrix switches. If only the state coefficient matrix switches, the input-output energy gain for a fixed ${cal L}_{2}$ input signal is bounded by the ${cal L}_{2}$ gain of the average system as the switching rate grows large. Additionally, for a fixed ${cal L}_{2}$ input, the maximum pointwise in time difference between the switched and average system outputs approaches zero as the switching rate grows.      

A Solution to the Continuous-Time ${rm H}_{infty}$ Fixed-Interval Smoother Problem

The minimum-variance fixed-interval smoother is a state-space realization of the Wiener solution generalized for time-varying problems. It involves forward and adjoint Wiener-Hopf factor inverses in which the gains are obtained by solving a Riccati equation. This technical note introduces a continuous-time ${rm H}_{infty}$ smoother having the structure of the minimum-variance version, in which the gains are obtained by solving a Riccati equation that possesses an indefinite quadratic term. It is shown that the smoother exhibits an increase in mean-square-error, the error is bounded, and the upper error bound is greater than that for the ${rm H}_{infty}$ filter.      

Relaxed ${cal H}_{infty }$ Stabilization Conditions for Discrete-Time Fuzzy Systems With Interval Time-Varying Delays

To derive less-conservative delay- and range-dependent ${cal H}_{infty }$ stabilization conditions for discrete-time Takagi–Sugeno (T–S) fuzzy systems with interval time-varying delays, the use of a fuzzy-weighting-dependent Lyapunov–Krasovskii functional (FWLKF), in which all variables are set to be affinely or quadratically dependent on fuzzy weighting functions, is proposed. Subsequently, parameterized linear matrix inequality (PLMI)-based ${cal H}_infty$ stabilization conditions are derived by following the free-weighting matrix approach. To fully exploit the convexity of fuzzy weighting functions, the derived PLMIs are sequentially replaced by a finite set of LMIs by considering all possible conditions associated with fuzzy weighting functions.      

${cal H}_{infty}$ Filtering of Discrete-Time Markov Jump Linear Systems Through Linear Matrix Inequalities

This technical note addresses the discrete-time Markov jump linear systems ${cal H}_{infty}$ filtering design problem. First, under the assumption that the Markov parameter is measurable, the main contribution is the linear matrix inequality (LMI) characterization of all linear filters such that the estimation error remains bounded by a given ${cal H}_{infty}$ norm level, yielding the complete solution of the mode-dependent filtering design problem. Based on this result, a robust filter design able to deal with polytopic uncertainty is considered. Second, from the same LMI characterization, a design procedure for mode-independent filtering is proposed. Some examples are solved for illustration and comparisons.      

Fuzzy Subsethood for Fuzzy Sets of Type-2 and Generalized Type- ${n}$

In this paper, we use Zadeh's extension principle to extend Kosko's definition of the fuzzy subsethood measure $S(G,H)$ to type-2 fuzzy sets defined on any set $X$ equipped with a measure. Subsethood is itself a fuzzy set that is a crisp interval when $G$ and $H$ are interval type-2 sets. We show how to compute this interval and then use the result to compute subsethood for general type-2 fuzzy sets. A definition of subsethood for arbitrary fuzzy sets of type- $n ≫ 2$ is then developed. This subsethood is a type-( $n-1$) fuzzy set, and we provide a procedure to compute subsethood of interval type-3 fuzzy sets.      

Software Engineering and Scale-Free Networks$^{ast}$

Complex-network theory is a new approach in studying different types of large systems in both the physical and the abstract worlds. In this paper, we have studied two kinds of network from software engineering: the component dependence network and the sorting comparison network (SCN). It is found that they both show the same scale-free property under certain conditions as complex networks in other fields. These results suggest that complex-network theory can be a useful approach to the study of software systems. The special properties of SCNs provide a more repeatable and deterministic way to study the evolution and optimization of complex networks. They also suggest that the closer a sorting algorithm is to the theoretical optimal limit, the more its SCN is like a scale-free network. This may also indicate that, to store and retrieve information efficiently, a concept network might need to be scale-free.      

Divide and Conquer: EKF SLAM in $O(n)$

In this paper, we show that all processes associated with the move-sense-update cycle of extended Kalman filter (EKF) Simultaneous Localization and Mapping (SLAM) can be carried out in time linear with the number of map features. We describe Divide and Conquer SLAM, which is an EKF SLAM algorithm in which the computational complexity per step is reduced from $O(n^2)$ to $O(n)$, and the total cost of SLAM is reduced from $O(n^3)$ to $O(n^2)$. Unlike many current large-scale EKF SLAM techniques, this algorithm computes a solution without relying on approximations or simplifications (other than linearizations) to reduce computational complexity. Also, estimates and covariances are available when needed by data association without any further computation. Furthermore, as the method works most of the time in local maps, where angular errors remain small, the effect of linearization errors is limited. The resulting vehicle and map estimates are more precise than those obtained with standard EKF SLAM. The errors with respect to the true value are smaller, and the computed state covariance is consistent with the real error in the estimation. Both simulated experiments and the Victoria Park dataset are used to provide evidence of the advantages of this algorithm.