Calibration of the spring constant of cantilevers of arbitrary shape using the phase signal in an atomic force microscope.

The measurement of cantilever parameters is an essential part of performing a calibrated measurement with an atomic force microscope (AFM). The thermal motion method is a widely used technique for calibrating the spring constant of an AFM cantilever, which can be applied to non-rectangular cantilevers. Given the trend towards high frequency scanning, calibration of non-rectangular cantilevers is of increasing importance. This paper presents two results relevant to cantilever calibration via the thermal motion method. We demonstrate the possibility of using the AFM's phase signal to acquire the thermal motion. This avoids the challenges associated with connecting the raw photodiode signal to a separate spectrum analyser. We also describe how numerical calculations may be used to calculate the parameters needed in a thermal motion calibration of a non-rectangular cantilever. Only accurate knowledge of the relative size of the in-plane dimensions of the cantilever is needed in this computation. We use this pair of results in the calibration of a variety of rectangular and non-rectangular cantilevers. We observe an average difference between the Sader and thermal motion values of cantilever stiffness of 10%.

Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

This article introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of embedded control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other actions that update the state of the controller may occur in the interim. Such actions could model, for example, sensor updates and information received from higher-level planning modules that change the set point of the controller. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariant properties of PCHAs is presented. For PCHAs with polynomial continuous vector fields, it is possible to check these conditions automatically using, for example, quantifier elimination or sum of squares decomposition. We examine the feasibility of this automatic approach on a small example. The proposed technique is also used to manually verify safety and progress properties of a fairly complex planner-controller subsystem of an autonomous ground vehicle. Geometric properties of planner-generated paths are derived which guarantee that such paths can be safely followed by the controller. © 2012 ACM.

Periodically controlled hybrid systems verifying a controller for an autonomous vehicle

This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.

Sufficient conditions for zeno behavior in lagrangian hybrid systems

This paper presents easily verifiable sufficient conditions for the existence of Zenobehavior in Lagrangian hybrid systems, i.e., hybrid systems modeling mechanical systemsundergoing impacts. © 2008 Springer-Verlag Berlin Heidelberg.

On the existence of Zeno behavior in hybrid systems with non-isolated zeno equilibria

This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish these conditions, we first prove sufficient conditions for Zeno behavior in a special class of hybrid systems termed first quadrant interval hybrid systems. The proof-certificate sufficient conditions are then obtained through a collection of functions that effectively "reduce" a general hybrid system to a first quadrant interval hybrid system. This paper concludes with an application of these ideas to Lagrangian hybrid systems, resulting in easily verifiable sufficient conditions for Zeno behavior. © 2008 IEEE.

Lyapunov-like conditions for the existence of zeno behavior in hybrid and lagrangian hybrid systems

Lyapunov-like conditions that utilize generalizations of energy and barrier functions certifying Zeno behavior near Zeno equilibria are presented. To better illustrate these conditions, we will study them in the context of Lagrangian hybrid systems. Through the observation that Lagrangian hybrid systems with isolated Zeno equilibria must have a onedimensional configuration space, we utilize our Lyapunov-like conditions to obtain easily verifiable necessary and sufficient conditions for the existence of Zeno behavior in systems of this form. © 2007 IEEE.

Hybrid passive/active inertial actuators to attenuate the structural response of a submerged hull

This paper theoretically investigates the application of tuned vibration absorbers and hybrid passive/active inertial actuators to reduce the vibrational responses of plates and shells. The passive/active actuators are initially applied to a simple plate. A model of a submerged hull consisting of a ring stiffened finite cylinder with bulkheads and external fluid loading is then considered. The fluctuating forces from the propeller result in excitation of the low frequency global hull modes. Inertial actuators and tuned vibration absorbers are located at each end of the hull and in circumferential arrays to reduce the hull structural response at its axial resonances. The control performance of the hybrid passive/active inertial actuator, where the passive component is tuned to a structural resonance, is compared to the attenuation achieved by a fully passive tuned vibration absorber. This work shows the potential of using hybrid passive/active inertial actuators to attenuate the global structural responses of a submerged vessel.

Half-bridge SIC inverter for hybrid electric vehicles: Design, development and testing at higher operating temperature

In recent years, Silicon Carbide (SiC) semiconductor devices have shown promise for high density power electronic applications, due to their electrical and thermal properties. In this paper, the performance of SiC JFETs for hybrid electric vehicle (HEV) applications is investigated at heatsink temperatures of 100 °C. The thermal runaway characteristics, maximum current density and packaging temperature limitations of the devices are considered and the efficiency implications discussed. To quantify the power density capabilities of power transistors, a novel 'expression of rating' (EoR) is proposed. A prototype single phase, half-bridge voltage source inverter using SiC JFETs is also tested and its performance at 25 °C and 100 °C investigated.

Hybrid ventilation by revolving doors

The transfers of air driven by a revolving door connecting two rooms of initially different temperatures are investigated. The results of small-scale laboratory modelling show that a critical revolution rate exists for which transfers are maximal for a given combination of door geometry, revolution rate and temperature contrast. This critical revolution rate divides two possible transfer regimes for revolving doors. Potential implications of our findings to revolving door operation, to heat losses across the doorway and to ventilation driven by the door are discussed.

Multiwall nanotubes, multilayers, and hybrid nanostructures: new frontiers for technology and Raman spectroscopy.

Technological progress is determined, to a great extent, by developments in material science. Breakthroughs can happen when a new type of material or new combinations of known materials with different dimensionality and functionality are created. Multilayered structures, being planar or concentric, are now emerging as major players at the forefront of research. Raman spectroscopy is a well-established characterization technique for carbon nanomaterials and is being developed for layered materials. In this issue of ACS Nano, Hirschmann et al. investigate triple-wall carbon nanotubes via resonant Raman spectroscopy, showing how a wealth of information can be derived about these complex structures. The next challenge is to tackle hybrid heterostructures, consisting of different planar or concentric materials, arranged "on demand" to achieve targeted properties.

The vibro-acoustic analysis of built-up systems using a hybrid method with parametric and non-parametric uncertainties

An existing hybrid finite element (FE)/statistical energy analysis (SEA) approach to the analysis of the mid- and high frequency vibrations of a complex built-up system is extended here to a wider class of uncertainty modeling. In the original approach, the constituent parts of the system are considered to be either deterministic, and modeled using FE, or highly random, and modeled using SEA. A non-parametric model of randomness is employed in the SEA components, based on diffuse wave theory and the Gaussian Orthogonal Ensemble (GOE), and this enables the mean and variance of second order quantities such as vibrational energy and response cross-spectra to be predicted. In the present work the assumption that the FE components are deterministic is relaxed by the introduction of a parametric model of uncertainty in these components. The parametric uncertainty may be modeled either probabilistically, or by using a non-probabilistic approach such as interval analysis, and it is shown how these descriptions can be combined with the non-parametric uncertainty in the SEA subsystems to yield an overall assessment of the performance of the system. The method is illustrated by application to an example built-up plate system which has random properties, and benchmark comparisons are made with full Monte Carlo simulations. © 2012 Elsevier Ltd. All rights reserved.

Multi-objective optimization for multiphase orbital rendezvous missions

A multi-objective optimization approach was proposed for multiphase orbital rendezvous missions and validated by application to a representative numerical problem. By comparing the Pareto fronts obtained using the proposed method, the relationships between the three objectives considered are revealed, and the influences of other mission parameters, such as the sensors' field of view, can also be analyzed effectively. For multiphase orbital rendezvous missions, the tradeoff relationships between the total velocity increment and the trajectory robustness index as well as between the total velocity increment and the time of flight are obvious and clear. However, the tradeoff relationship between the time of flight and the trajectory robustness index is weak, especially for the four- and five-phase missions examined. The proposed approach could be used to reorganize a stable rendezvous profile for an engineering rendezvous mission, when there is a failure that prevents the completion of the nominal mission.