Real-time translational control of a MEMS comb resonator

Closed-loop control has been successfully applied to a microelectromechanical systems (MEMS) lateral comb resonator device in real-time to perform impulse disturbance damping and sinusoidal position control, enabled by the use of a through-wafer optical microprobe to obtain position feedback. This result leverages the application of lifetime, in-situ control of MEMS in order to provide quality assurance of microsystems in safety critical applications. A position feedback signal produced by a through-wafer optical microprobe has been used for comb resonator system model identification by two independent methods to accurately determine the effective mass, damping, and spring constant values of the device. After accurate determination of system parameters, closed-loop impulse disturbance damping and proportional-integral-differential (PID) translational control were applied. Closed-loop control results presented indicate controllability of such microstructures and response times on the order of the natural frequency of the device.     

TerraSAR-X active radar ground calibrator system

In April 2006, the TerraSAR-X satellite was launched. This paper describes the development of a novel and highly integrated, digitally-controlled active SAR system calibrator (DARC). It consists of both an active transponder path for absolute radiometric calibration and a calibrated receiver chain for antenna pattern evaluation of the satellite antenna. A total of 16 active transponder and receiver systems and 17 receiver-only systems will be fabricated for a calibration campaign in 2006.     

Almost instant time inference for hybrid partially dynamic Bayesian networks

A Bayesian network (BN) is a compact representation for probabilistic models and inference. They have been used successfully for many military and civilian applications. It is well known that, in general, the inference algorithms to compute the exact a posterior probability of a target node given observed evidence are either computationally infeasible for dense networks or impossible for general hybrid networks. In those cases, one either computes the approximate results using stochastic simulation methods or approximates the model using discretization or a Gaussian mixture model before applying an exact inference algorithm. This paper combines the concept of simulation and model approximation to propose an efficient algorithm for those cases. The main contribution here is a unified treatment of arbitrary (nonlinear non-Gaussian) hybrid (discrete and continuous) BN inference having both computation and accuracy scalability. The key idea is to precompile the high-dimensional hybrid distribution using a hypercube representation and apply it for both static and dynamic BN inference. Since the inference process essentially becomes a combination of table look-up and some simple operations, the method is shown to be extremely efficient. It can also he scaled to achieve any desirable accuracy given sufficient preprocessing time and memory for the cases where exact inference is not possible     

A method for constructing an airfoil using a specified chord velocity diagram

A problem of determining a shape of the airfoil being streamlined by a potential incompressible inviscid flow is solved by the successive approximation method using a specified chord velocity diagram. It is shown that a closed airfoil that possesses a specified chord velocity diagram can be constructed with a sufficient accuracy; if the chord diagram is unsuccessfully specified, the closed airfoil may prove to be not univalent, that is, physically unrealizable.     

Recent Breakthroughs in RF Photonics for Radar Systems

Radar systems require transmission of very high purity signals. Photonics is now mature enough to achieve analog transmission with very low noise, strong immunity, and wide-bandwidth even in harsh environments. We present our recent developments of optimized optical links dedicated to radar and multifunction systems     

Two Methods of Spectral Estimation for SARSAT Signals

Search and rescue satellite aided tracking (SARSAT) depends on the processing of emergency locator transmitter (ELT) signals which are received by a satellite in low polar orbit. Since the signal from a distressed vehicle is normally immersed in a background of other ELT signals (false alarms), interference, and noise, different methods of spectral estimation can provide advantages in estimating carrier frequency. A comparison between average spectrum and minimum spectrum for several real signals is provided here.     

Subspace array processing for the suppression of FM jamming in GPS receivers

The mitigation of FM interference in GPS receivers is considered. In difference to commonly assumed wideband and narrowband interferers, the FM interferers are wideband, but instantaneously narrowband, and as such, have clear time-frequency (TF) signatures that are distinct from the GPS coarse acquisition (C/A) spread spectrum code. In the proposed technique, the estimate of the FM interference instantaneous frequency (IF) and the interference spatial signature are used to construct the spatiotemporal interference subspace. The IF estimates can be provided using existing effective linear or bilinear TF methods. The undesired signal arrival is suppressed by projecting the input data on the interference orthogonal subspace. With a multisensor receiver, the distinctions in both the spatial and TF signatures of signal arrivals allow effective interference suppressions. The deterministic nature of the signal model is considered and the known underlying structure of the GPS C/A code is utilized. We derive the receiver signal-to-interference-plus-noise ratio (SINR) under exact and perturbed IF values. The effect of IF estimation errors on both pseudorange measurements and navigation data recovery is analyzed. Simulation results comparing the receiver performances under IF errors in single and multiantenna GPS receivers are provided.     

Performance evaluation for MAP state estimate fusion

This paper presents a quantitative performance evaluation method for the maximum a posteriori (MAP) state estimate fusion algorithm. Under ideal conditions where data association is assumed to be perfect, it has been shown that the MAP or best linear unbiased estimate (BLUE) fusion formula provides the best linear minimum mean squared estimate (LMMSE) given local estimates under the linear Gaussian assumption for a static system. However, for a dynamic system where fusion is recursively performed by the fusion center on local estimates generated from local measurements, it is not obvious how the MAP algorithm will perform. In the past, several performance evaluation methods have been proposed for various fusion algorithms, including simple convex combination, cross-covariance combination, information matrix, and MAP fusion. However, not much has been done to quantify the steady state behavior of these fusion methods for a dynamic system. The goal of this work is to present analytical fusion performance results for MAP state estimate fusion without extensive Monte Carlo simulations, using an approach developed for steady state performance evaluation for track fusion. Two different communication strategies are considered: fusion with and without feedback to the sensors. Analytic curves for the steady state performance of the fusion algorithm for various communication patterns are presented under different operating conditions.     

Reduced-order multiple model adaptive controller for flexiblespacestructure

The robustness of a moving-bank multiple model adaptive estimator/controller to order reduction in the controller design model is examined. It is shown that the adaptive mechanism and bank-moving logic are not confounded by the effects of unmodeled higher order modes of a large flexible spacestructure. Control characteristics are achieved that are essentially equivalent to those of an artificially informed benchmark controller     

Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given