On the NP-Hardness of Checking Matrix Polytope Stability and Continuous-Time Switching Stability

Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of $k$ matrices in $R^{n times n}$ are stable. In particular, we are interested whether there exist algorithms which can solve this problem in time polynomial in $n$ and $k$. We show that if $k= lceil n^{d} rceil $ for any fixed real $d>0$, then the problem is NP-hard, meaning that no polynomial-time algorithm in $n$ exists provided that $P ne NP$, a widely believed conjecture in computer science. On the other hand, when $k$ is a constant independent of $n$ , then it is known that the problem may be solved in polynomial time in $n$. Using these results and the method of measurable switching rules, we prove our main statement: verifying the absolute asymptotic stability of a continuous-time switched linear system with more than $n^{d}$ matrices $A_{i} in R^{n times n}$ satisfying $0 succeq A_{i} + A_{i}^{T}$ is NP-hard.      

How to Make $T$-Transitive a Proximity Relation

Three ways to approximate a proximity relation $R$ (i.e., a reflexive and symmetric fuzzy relation) by a $T$ -transitive one where $T$ is a continuous Archimedean $t$-norm are given. The first one aggregates the transitive closure $overline{R}$ of $R$ with a (maximal) $T$-transitive relation $B$ contained in $R$ . The second one computes the closest homotecy of $overline{R}$ or $B$ to better fit their entries with the ones of $R$. The third method uses nonlinear programming techniques to obtain the best approximation with respect to the Euclidean distance for $T$ the $Lstrok$ukasiewicz or the product $t$-norm. The previous methods do not apply for the minimum $t$-norm. An algorithm to approximate a given proximity relation by a ${rm Min}$-transitive relation (a similarity) is given in the last section of the paper.      

Analytical Model of Valveless Micropumps

The flow driven by a valveless micropump with a single cylindrical pump chamber and two diffuser/nozzle elements is studied theoretically using a 1-D model. The pump cavity is driven at an angular frequency $omega$ so that its volume oscillates with an amplitude $V_{rm m}$. The presence of diffuser/nozzle elements with pressure-drop coefficients $zeta_{+}$, $zeta_{-}( ≫ zeta_{+})$ and throat cross-sectional area $A_{1}$ creates a rectified mean flow. In the absence of frictional forces the maximum mean volume flux (with zero pressure head) is $Q_{0}$ where $Q_{0}/V_{rm m}omega = (zeta_{-} -break zeta_{+})pi/16(zeta_{-}+zeta_{+})$, while the maximum pressure that can be overcome is $Delta P_{max}$ where $ Delta P_{max}A_{1}^{2}/V_{rm m}^{2} omega^{2} !=! (zeta_{-} -break zeta_{+})/16$. These analytical results agree with numerical calculations for the coupled system of equations and compare well with the experimental results of Stemme and Stemme.$hfill$ [2008-0244]      

$ {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.      

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.      

Reflection Coefficients of Polynomials and Stable Polytopes

The geometry of stable discrete polynomials using their coefficients and reflection coefficients is investigated. Two linear Schur invariant transformations with a free parameter in the polynomial coefficient space are introduced. The first transformation ${cal R}^{n}times{cal R}rightarrow{cal R}^{n}$ maps an arbitrary stable polytope into another stable polytope. The second transformation ${cal R}^{n}times{cal R}rightarrow{cal R}^{n+1}$ maps a stable tilted $n$-dimensional hyperrectangle defined by the discrete Kharitonov theorem into a stable $(n+1)$- dimensional polytope.      

Real-Time Temperature Compensation of MEMS Oscillators Using an Integrated Micro-Oven and a Phase-Locked Loop

We present a new temperature compensation system for microresonator-based frequency references. It consists of a phase-locked loop (PLL) whose inputs are derived from two microresonators with different temperature coefficients of frequency. The resonators are suspended within an encapsulated cavity and are heated to a constant temperature by the PLL controller, thereby achieving active temperature compensation. We show repeated real-time measurements of three 1.2-MHz prototypes that achieve a frequency stability of $pm$ 1 ppm from $-20 ^{circ}hbox{C}$ to $+80 ^{circ}hbox{C}$, as well as a technique to reduce steady-state frequency errors to $pm$0.05 ppm using multipoint calibration.$hfill$[2009-0074]      

Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions

This paper presents a proof that existence of a polynomial Lyapunov function is necessary and sufficient for exponential stability of a sufficiently smooth nonlinear vector field on a bounded set. The main result states that if there exists an $n$ -times continuously differentiable Lyapunov function which proves exponential stability on a bounded subset of $ BBR ^{n}$, then there exists a polynomial Lyapunov function which proves exponential stability on the same region. Such a continuous Lyapunov function will exist if, for example, the vector field is at least $n$-times continuously differentiable. The proof is based on a generalization of the Weierstrass approximation theorem to differentiable functions in several variables. Specifically, polynomials can be used to approximate a differentiable function, using the Sobolev norm $W^{1,infty }$ to any desired accuracy. This approximation result is combined with the second-order Taylor series expansion to show that polynomial Lyapunov functions can approximate continuous Lyapunov functions arbitrarily well on bounded sets. The investigation is motivated by the use of polynomial optimization algorithms to construct polynomial Lyapunov functions.      

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.      

Evanescent-Wave Spectroscopy Using an SU-8 Waveguide for Rapid Quantitative Detection of Biomolecules

A 30-mm-long multimode waveguide, 40 $muhbox{m}$ wide and 40 $muhbox{m}$ high, is fabricated on a silicon wafer using polymer SU-8 as the core and liquid buffer as the cladding. Antibodies are successfully immobilized on the SU-8 surface designated for binding target antigens dispersed in the buffer solution. Evanescent-wave spectroscopy is performed by exciting the fluorescently labeled antigens, bound to the waveguide surface within its evanescence field, and measuring the emission light intensity. This evanescent-wave biosensor detects specific molecular interaction. The optical output as a function of the antigen concentration can be described by Langmuir equation. Antigen concentration as low as 1.5 $muhbox{g}/hbox{mL}$ is detected; concentrations higher than 100 $muhbox{g}/hbox{mL}$ lead to sensor saturation. $hfill$[2008-0058]      

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.      

A Programmable Array for Contact-Free Manipulation of Floating Droplets on Featureless Substrates by the Modulation of Surface Tension

This paper presents a contactless droplet manipulation system that relies on thermally generated Marangoni flows. Programmable 2-D control of aqueous microdroplets suspended in an oil film on a plain featureless glass substrate is achieved using a 128-pixel heater array suspended 100–500 $mu hbox{m}$ above the oil layer. The heaters generate surface temperature perturbations $(≪ 25 ^{circ}hbox{C})$, resulting in local Marangoni flows that can move droplets in either a push or a pull mode. Programmed movement is achieved by the sequential activation of the heaters, with digital control circuitry and a graphical interface providing addressable control of each heater. Droplets with diameters of 300–1000 $muhbox{m}$ are manipulated and merged at speeds up to 140 $muhbox{m/s}$. Evaporation rates can be reduced by almost two orders of magnitude by using a two-layer-oil medium, and the choice of an optimum carrier fluid can achieve fluid velocities over 17 000 $mu hbox{m/s}$. The system provides a contactless platform for parallel droplet-based assays. As such, it circumvents the challenges of sample contamination and loss that occur when a droplet interacts with a solid surface.$hfill$[2008-0272]      

Discharge-Based Pressure Sensors for High-Temperature Applications Using Three-Dimensional and Planar Microstructures

Two versions of microdischarge-based pressure sensors, which operate by measuring the change, with pressure, in the spatial current distribution of pulsed dc microdischarges, are reported. The inherently high temperatures of the ions and electrons in the microdischarges make these devices amenable to high-temperature operation. The first sensor type uses 3-D arrays of horizontal bulk metal electrodes embedded in quartz substrates with electrode diameters of 1–2 mm and 50–100-$muhbox{m}$ interelectrode spacing. These devices were operated in nitrogen over a range of 10–2000 torr, at temperatures as high as 1000 $^{circ}hbox{C}$. The maximum measured sensitivity was 5420 ppm/torr at the low end of the dynamic range and 500 ppm/torr at the high end, while the temperature coefficient of sensitivity ranged from $-$925 to $-$550 ppm/K. Sensors of the second type use planar electrodes and have active areas as small as 0.13 $hbox{mm}^{2}$. These devices, when tested in a chemical sensing system flowing helium as a carrier gas, had a maximum sensitivity of 9800 ppm/torr, a dynamic range of 25–200 torr, and a temperature coefficient of sensitivity of approximately $-$1412 ppm/K.$hfill$ [2008-0262]      

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]      

Serially Connected Weight-Balanced Digital Actuators for Wide-Range High-Precision Low-Voltage-Displacement Control

This paper presents the design, fabrication, and characterization of a new serial digital actuator, achieving an improvement in range-to-precision and range-to-voltage performance. We propose a weight-balanced design for the serial actuators with serpentine springs with a serial arrangement of unit digital actuators. We have measured the displacement range, precision, and drive voltage of unit and serial actuation at 1 Hz. The serial digital actuators produce a full-range displacement of $28.44 pm 0.02 muhbox{m}$ , accumulating unit displacements of $2.8 pm 0.5 muhbox{m}$ at an operating voltage of 4.47 $pm$ 0.07 V. In addition, the serial digital actuators that have a displacement precision of 37.94 $pm$ 6.26 nm do not accumulate the displacement errors of the unit actuators, i.e., 36.0 $pm$ 17.7 nm. We experimentally verify that the serial digital actuators achieve a range-to-squared-voltage ratio of 1.423 $muhbox{m/V}^{2}$ and a range-to-precision ratio of 749.6.$hfill$ [2009-0020]      

A Fast Liquid-Metal Droplet Microswitch Using EWOD-Driven Contact-Line Sliding

Liquid-metal (LM) droplet-based MEMS switches have mostly been restricted to slow applications until now due to the following reasons: 1) a relatively large switching gap (distance) needed to accommodate imprecise volumes and locations of droplets on the device and 2) lack of high-speed actuation to move the droplets quickly across the switching gap. To combat these problems, we explore switching by sliding the solid–LM–gas triple contact line rather than the entire droplet. This new approach allows us to use a microframe, which not only consistently positions the LM droplet but also makes the switching gap less sensitive to the errors in the deposited-droplet volume, allowing us to design microswitches with very small switching gaps (e.g., 10 $muhbox{m}$ for 600 $muhbox{m}$-diameter droplets). Furthermore, a study of electrowetting-on-dielectric identifies a regime of fast contact-line sliding at the onset of droplet spreading. By moving the contact line fast across a small switching distance, we demonstrate a low-latency LM switch with 60 $muhbox{s}$ switch-on latency ( $sim$20 times better than other LM-switch technologies) and better than 5 $muhbox{s}$ signal rise/fall time, while boasting no contact bounce, as expected from an LM switch. High power-handling capability and long-term reliability are also discussed. $hfill$[2008-0135]      

Design, Modeling, and Fabrication of MEMS-Based Multicapillary Gas Chromatographic Columns

This paper describes different approaches to achieve high-performance microfabricated silicon-glass separation columns for microgas chromatography systems. The capillary width effect on the separation performance has been studied by characterization of 250-, 125-, 50-, and 25-$muhbox{m}$ -wide single-capillary columns (SCCs) fabricated on a $10 times 8 hbox{mm}^{2}$ die. The highest plate number (12 500/m), reported to date for MEMS-based silicon-glass columns, has been achieved by 25-$muhbox{m}$-wide columns coated by a thin layer of polydimethylsiloxane stationary phase using static coating technique. To address the low sample capacity of these narrow columns, this paper presents the first generation of MEMS-based “multicapillary” columns (MCCs) consisting of a bundle of narrow-width rectangular capillaries working in parallel. The theoretical model for the height-equivalent-to-a-theoretical-plate $(HETP)$ of rectangular MCCs has been developed, which relates the $HETP$ to the discrepancies of the widths and depths of the capillaries in the bundle. Two-, four-, and eight-capillary MCCs have been designed and fabricated to justify the separation ability of these columns. These MCCs capable of multicomponent gas separation provide a sample capacity as large as 200 ng compared to 5.5 ng for 25-$muhbox{m}$-wide SCCs.$hfillhbox{[2007-0309]}$      

Post-CMOS-Compatible Aluminum Nitride Resonant MEMS Accelerometers

This paper describes the development of aluminum nitride (AlN) resonant accelerometers that can be integrated directly over foundry CMOS circuitry. Acceleration is measured by a change in resonant frequency of AlN double-ended tuning-fork (DETF) resonators. The DETF resonators and an attached proof mass are composed of a 1- $muhbox{m}$ -thick piezoelectric AlN layer. Utilizing piezoelectric coupling for the resonator drive and sense, DETFs at 890 kHz have been realized with quality factors $(Q)$ of 5090 and a maximum power handling of 1 $muhbox{W}$. The linear drive of the piezoelectric coupling reduces upconversion of $1/f$ amplifier noise into $1/f^{3}$ phase noise close to the oscillator carrier. This results in lower oscillator phase noise, $-$96 dBc/Hz at 100-Hz offset from the carrier, and improved sensor resolution when the DETF resonators are oscillated by the readout electronics. Attached to a 110-ng proof mass, the accelerometer microsystem has a measured sensitivity of 3.4 Hz/G and a resolution of 0.9 $hbox{mG}/surdhbox{Hz}$ from 10 to 200 Hz, where the accelerometer bandwidth is limited by the measurement setup. Theoretical calculations predict an upper limit on the accelerometer bandwidth of 1.4 kHz.$hfill$ [2008-0190]      

Controlled Thermophoresis as an Actuation Mechanism for Noncantilevered MEMS Devices

A microelectromechanical system actuator based on thermophoretic, or Knudson, forces is proposed using analytical calculations. It can potentially execute scanning or spinning motions of a body that is not mechanically attached to the reference substrate. For a silicon device of 100-$muhbox{m}$ diameter, it is calculated that it can be levitated at a distance of about 0.5 $muhbox{m}$ from a substrate and that it can execute scanning motion and use quasi-springs by laterally acting thermal forces. In this way, an engine with spinning motion of a floating body having a diameter of 200 $muhbox{m}$ with up to 5 kHz can be achieved.$hfill$[2008-0013]      

Adaptive Neural Network Tracking Control With Disturbance Attenuation for Multiple-Input Nonlinear Systems

A switching adaptive neural network controller for multiple-input nonlinear, affine in the control dynamical systems with unknown nonlinearities is designed, capable of arbitrarily attenuating $L_{2}$ or $L_{infty} $ external disturbances. In the absence of disturbances, a uniform ultimate boundedness property of the tracking error with respect to an arbitrarily small set around the origin is guaranteed, as well as the uniform boundedness of all the signals in the closed loop. The proposed switching adaptive controller effectively avoids possible division by zero, while guaranteeing the continuity of switching. In this way, problems connected to existence of solutions and chattering phenomena are alleviated. Simulations illustrate the approach.