Interacting Multiple Model-Feedback Particle Filter for Stochastic Hybrid Systems

In this paper, a novel feedback control-based particle filter algorithm for the continuous-time stochastic hybrid system estimation problem is presented. This particle filter is referred to as the interacting multiple model-feedback particle filter (IMM-FPF), and is based on the recently developed feedback particle filter. The IMM-FPF is comprised of a series of parallel FPFs, one for each discrete mode, and an exact filter recursion for the mode association probability. The proposed IMM-FPF represents a generalization of the Kalmanfilter based IMM algorithm to the general nonlinear filtering problem. The remarkable conclusion of this paper is that the IMM-FPF algorithm retains the innovation error-based feedback structure even for the nonlinear problem. The interaction/merging process is also handled via a control-based approach. The theoretical results are illustrated with the aid of a numerical example problem for a maneuvering target tracking application

Parallel Recursive State Compression for Free

This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a tree-based multi-core compression method, which works by leveraging sharing among sub-vectors of state vectors. An algorithmic analysis of both worst-case and optimal compression ratios shows the potential to compress even large states to a small constant on average (8 bytes). Our experiments demonstrate that this holds up in practice: the median compression ratio of 279 measured experiments is within 17% of the optimum for tree compression, and five times better than the median compression ratio of SPIN's COLLAPSE compression. Our algorithms are implemented in the LTSmin tool, and our experiments show that for model checking, multi-core tree compression pays its own way: it comes virtually without overhead compared to the fastest hash table-based methods.Comment: 19 page

Excitation and detection of vibrations of micromechanical structures using a dielectric thin film

A new technique is introduced for both the excitation and the detection of vibrations of micromechanical structures. This makes use of a dielectric thin film, sandwiched between lower and upper electrodes, on top of the vibrating structure. The excitation is based on electrostatic forces between the charged electrodes, causing deformation of the dielectric film and bending of the multilayer structure. The detection of the vibration is capacitive, based on the fluctuation of the capacitance due to the deformation of the dielectric film. Experimental results for a stoichiometric silicon nitride dielectric film on top of a silicon cantilever agree well with predicted values. The yield of the electrostatic excitation as well as of the capacitive detection are satisfactory

Monitoring of Cell Layer Integrity with a Current-Driven Organic Electrochemical Transistor

The integrity of CaCo-2 cell barriers is investigated by organic electrochemical transistors (OECTs) in a current-driven configuration. Ion transport through cellular barriers via the paracellular pathway is modulated by tight junctions between adjacent cells. Rupturing its integrity by H2O2 is monitored by the change of the output voltage in the transfer characteristics. It is demonstrated that by operating the OECT in a current-driven configuration, the sensitive and temporal resolution for monitoring the cell barrier integrity is strongly enhanced as compared to the OECT transient response measurement. As a result, current-driven OECTs are useful tools to assess dynamic and critical changes in tight junctions, relevant for clinical applications as drug targeting and screening

Axially linear slopes of composition for “delta” crystals

“Delta” crystals are solid solutions of miscible materials with large lattice parameter differences which contain high concentration gradients in one direction (parallel to a lattice plane strongly diffracting X-rays). The system GaSb-InSb has been chosen as suitable for study. By means of a “gradient projection method”, the growth of nearly linear composition profiles with relatively steep slopes of the lattice parameter (up to (Δa/ ) / Δz = 8.3% cm-1), adjustable by the temperature gradient, have been performed. However, the grown ingots were not monocrystalline due to the use of too high a growth rate