Chemical Aspects of the Synergistic Hypergolic Ignition in Hybrid Systems with N2O4 as Oxidizer

Synergistic hypergolic ignition with nitrogen tetroxide ( N2O4) as oxidizer has been observed in hybrid systems comprising of a mixture of magnesium and Schiff bases as fuels. The ignition delays (IDs) measured using a modified device, have been compared with those of magnesium-Schiff base-WFNA systems under identical conditions. The ID has been found to vary with the nature of the substitution in both the benzene rings. A linear relationship emerges when the ignition delays are plotted against the Hammett substitution constants (σ). The preignition products of the reaction of N2O4 with magnesium and benzylidineaniline have been analysed to be Mg(NO3)2, benzenediazonium salt and benzaldehyde. Based on the preignition products isolated, a probable reaction mechanism has been proposed. The previously proposed preignition mechanism for the Schiff base-magnesium-WFNA system has been further supported from the present ignition delay data.

Hybrid systems through natural product leads: An approach towards new molecular entities

Hybrid systems are constructs of different molecular entities, natural or unnatural, to generate functional molecules in which the characteristics of various components are modulated, amplified or give rise to entirely new properties. These hybrids can be designed from carefully selected components either through domain intergration of key structural/functional features or via straightforward covalent linkages. Some of the recently reported hybrid systems based on steroid, carbohydrate, C-60-fullerene platforms, amongst others, mainly crafted with the object of enhancement of the therapeutical spectrum, will be discussed.

Optical and Electronic Properties of Conjugated Polymer -Nanocluster Semiconductor Hybrid Systems

Conjugated polymers are intensively pursued as candidate materials for emission and detection devices with the optical range of interest determined by the chemical structure. On the other hand the optical range for emission and detection can also be tuned by size selection in semiconductor nanoclusters. The mechanisms for charge generation and separation upon optical excitation, and light emission are different for these systems. Hybrid systems based on these different class of materials reveal interesting electronic and optical properties and add further insight into the individual characteristics of the different components. Multilayer structures and blends of these materials on different substrates were prepared for absorption, photocurrent (Iph), photoluminescence (PL) and electroluminscence (EL) studies. Polymers chosen were derivatives of polythiophene (PT) and polyparaphenylenevinylene (PPV) along with nanoclusters of cadmium sulphide of average size 4.4 nm (CdS-44). The photocurrent spectral response in these systems followed the absorption response around the band edges for each of the components and revealed additional features, which depended on bias voltage, thickness of the layers and interfacial effects. The current-voltage curves showed multi-component features with emission varying for different regimes of voltage. The emission spectral response revealed additive features and is discussed in terms of excitonic mechanisms.

Modeling stochastic hybrid systems

Stochastic hybrid systems arise in numerous applications of systems with multiple models; e.g., air traffc management, flexible manufacturing systems, fault tolerant control systems etc. In a typical hybrid system, the state space is hybrid in the sense that some components take values in a Euclidean space, while some other components are discrete. In this paper we propose two stochastic hybrid models, both of which permit diffusion and hybrid jump. Such models are essential for studying air traffic management in a stochastic framework.

Conflict-tolerant specifications for hybrid systems

We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a ``conflict tolerant'' specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict-tolerant specifications for general hybrid systems, using ``acceptor'' and ``advisor'' components. We also give a decision procedure for verifying whether a controller satisfies its conflict-tolerant specification, in the special case when the components are modeled using initialized rectangular hybrid automata.

Spontaneously Igniting Hybrid Fuel-Oxidizer Systems

After briefly outlining the recent developments in hybrid rockets, the work carried out by the author on self-igniting (hypergolic) solid fuel-liquid oxidiser systems has been reviewed. A major aspect relates to the solid derivatives of hydrazines, which have been conceived as fuels for hybrid rockets. Many of these N-N bonded compounds ignite readily, with very short ignition delays, on coming into contact with liquid oxidisers, like HNO3 and N2O4. The ignition characteristics have been examined as a function of the nature of the functional group in the fuel molecule, in an attempt to establish a basis for the hypergolic ignition in terms of chemical reactivity of the fuel-oxidiser combination. Important chemical reactions occurring in the pre-ignition stage have been identified by examining the quenched reaction products. Hybrid systems exhibiting synergistic hypergolicity in the presence of metal powders have been investigated. An estimation of the rocket performance parameters, experimental determination of the heats of combustion in HNO3, thermal decomposition characteristics, temperature profile by thin film thermometry and and product identification by the rapid scan FT-IR, are among the other relevant studies made on these systems. A significant recent development has been the synthesis of new N-N bonded viscous binders, capable of retaining the hypergolicity of the fuel powders embedded therein as well as providing the required mechanical strength to the grain. Several of these resins have been characterised. Metallised fuel composites of these resins having high loading of magnesium are found to have short ignition delays and high performance parameters.

Supervisory Control for Real-Time Systems Based on Conflict-Tolerant Controllers

This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time and hybrid systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict-tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based scheme forcomposing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

Modulation of vesicular properties by variation of shapes of bolaform counter ions in hybrid-ion paired surfactants

Four new vesicle-forming bolaphile/amphiphile ion pairs are synthesized; the bolaphile shapes in such hybrid systems strongly control their vesicular properties.

Formal Verification of Full-Wave Rectifier: A Case Study

We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems. Due to the restriction imposed by Checkmate it necessitates to make the changes in the Checkmate implementation to implement the complex and non-linear system. Full-wave rectifier has been implemented by using the Checkmate custom blocks and the Simulink blocks from MATLAB from Math works. After establishing the required changes in the Checkmate implementation we are able to efficiently verify, the safety properties of the full-wave rectifier.

Solid Oxide-Ion Electrolytes

Solid oxide-ion electrolytes find application in oxygen sensors, oxygen pumps and in high-temperature electrolyser-fuel-cell hybrid systems. All the solid electrolytes known so Qr, however, exhibit: tow oxide-ion conductivities below 973 K. Therefore, there is a need for fast oxide-ion conductors operative at temperatures around 673 K, Recently, efforts have been directed towards developing such materials. This article summarizes various type of oxide-ton electrolytes reported in literature and outlines a strategy for the identificatiom/synthesis of improved materials.

Stability of degenerate diffusions with state-dependent switching

This paper deals with the ergodic properties of hybrid systems modelled by diffusion processes with state-dependent switching. We investigate the sufficient conditions expressed in terms of the parameters of the underlying process which would ensure the existence of a unique invariant probability and stability in distribution of the flow. It turns out that the conditions would depend on certain averaging mechanisms over the states of the discrete component of the hybrid system. (C) 1999 Academic Press.

Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Anomalous structural and dynamical phase transitions of soft colloidal binary mixtures

We report microscopic structural and dynamical measurements on binary mixtures of homopolymers and polymer grafted nanoparticles at high densities in good solvent. We find strong and unexpected anomalies in the structure and dynamics of these binary mixtures, including appearance of spontaneous orientational alignment, as a function of added homopolymers of different molecular weights. Our experiments point to the possibility of exploiting the phase space in density and homopolymer size, of such hybrid systems, to create new materials with novel structural and physical properties.