Optimal control of a stochastic hybrid system with discounted cost

We address the optimal control problem of a very general stochastic hybrid system with both autonomous and impulsive jumps. The planning horizon is infinite and we use the discounted-cost criterion for performance evaluation. Under certain assumptions, we show the existence of an optimal control. We then derive the quasivariational inequalities satisfied by the value function and establish well-posedness. Finally, we prove the usual verification theorem of dynamic programming.

Geographical Information System Approach for Regional Biogas Potential Assessment

The economic prosperity and quality of life in a region are closely linked to the level of its per capita energy consumption. In India more than 70% of the total population inhabits rural areas and 85-90% of energy requirement is being met by bioresources. With dwindling resources, attention of planners is diverted to viable energy alternatives to meet the rural energy demand. Biogas as fuel is one such alternative, which can be obtained by anaerobic digestion of animal residues and domestic and farm wastes, abundantly available in the countryside. Study presents the techniques to assess biogas potential spatially using GIS in Kolar district, Karnataka State, India. This would help decision makers in selecting villages for implementing biogas programmes based on resource availability. Analyses reveal that the domestic energy requirement of more than 60% population can be met by biogas option. This is based on the estimation of the per capita requirement of gas for domestic purposes and availability of livestock residues.

System integration design in MEMS - A case study of micromachined load cell

One of the critical issues in large scale commercial exploitation of MEMS technology is its system integration. In MEMS, a system design approach requires integration of varied and disparate subsystems with one of a kind interface. The physical scales as well as the magnitude of signals of various subsystems vary widely. Known and proven integration techniques often lead to considerable loss in advantages the tiny MEMS sensors have to offer. Therefore, it becomes imperative to think of the entire system at the outset, at least in terms of the concept design. Such design entails various aspects of the system ranging from selection of material, transduction mechanism, structural configuration, interface electronics, and packaging. One way of handling this problem is the system-in-package approach that uses optimized technology for each function using the concurrent hybrid engineering approach. The main strength of this design approach is the fast time to prototype development. In the present work, we pursue this approach for a MEMS load cell to complete the process of system integration for high capacity load sensing. The system includes; a micromachined sensing gauge, interface electronics and a packaging module representing a system-in-package ready for end characterization. The various subsystems are presented in a modular stacked form using hybrid technologies. The micromachined sensing subsystem works on principles of piezo-resistive sensing and is fabricated using CMOS compatible processes. The structural configuration of the sensing layer is designed to reduce the offset, temperature drift, and residual stress effects of the piezo-resistive sensor. ANSYS simulations are carried out to study the effect of substrate coupling on sensor structure and its sensitivity. The load cell system has built-in electronics for signal conditioning, processing, and communication, taking into consideration the issues associated with resolution of minimum detectable signal. The packaged system represents a compact and low cost solution for high capacity load sensing in the category of compressive type load sensor.

Analysis of a hybrid noise control system for a duct

This letter proposes the combination of a passive muffler and an active noise control system for the control of very high‐level noise in ducts used with large industrial fans and similar equipment. The analysis of such a hybrid system is presented making use of electroacoustic analogies and the transfer matrix method. It turns out that a passive muffler upstream of the input microphone can indeed lower the acoustic pressure and, hence, the power requirement of the auxiliary source. The parameter that needs to be optimized (or maximized) for this purpose is a certain velocity ratio that can readily be evaluated in a closed form, making it more or less straightforward to synthesize the configuration of an effective passive muffler to go with the active noise control system.

Hybrid learning scheme for data mining applications

Classification of large datasets is a challenging task in Data Mining. In the current work, we propose a novel method that compresses the data and classifies the test data directly in its compressed form. The work forms a hybrid learning approach integrating the activities of data abstraction, frequent item generation, compression, classification and use of rough sets.

Hybrid learning scheme for data mining applications

Classification of large datasets is a challenging task in Data Mining. In the current work, we propose a novel method that compresses the data and classifies the test data directly in its compressed form. The work forms a hybrid learning approach integrating the activities of data abstraction, frequent item generation, compression, classification and use of rough sets.

A review of hybrid rockets: present status and future potential

This paper discusses the potential of the hybrid rocket engine as a viable and attractive mode of propulsion for both space vehicles and missiles. Research and development work on this engine in other countries is presented and evaluated. The various advantages of a hybrid engine over solid and liquid engines and its problems are highlighted. It has been argued that because of the low technology needed in the development of the hybrid system, it constitutes a cost-and-time-effective propulsion system for several applications in space programmes as well as weapon systems. In support of this conclusion, experience on the developmental studies of a variable thrust 100 kg engine is presented. Some future possibilities for hybrid propulsion systems are cited.

Performance evaluation of nonthermal plasma reactors for NO oxidation in diesel engine exhaust gas treatment

The discharge plasma-chemical hybrid process for NOinfinity removal from the flue gas emissions is an extremely effective and economical approach in comparison with the conventional selective catalytic reduction system. In this paper we bring out a relative comparison of several discharge plasma reactors from the point of NO removal efficiency. The reactors were either energized by ac or by repetitive pulses. Ferroelectric pellets were used to study the effect of pellet assisted discharges on gas cleaning. Diesel engine exhaust, at different loads; is used to approximately simulate the flue gas composition. Investigations were carried out at room temperature with respect to the variation of reaction products against the discharge power. Main emphasis is laid on the oxidation of NO to NO2, without reducing NOx concentration (i.e., minimum reaction byproducts), with least power consumption. The produced NO2 will be totally converted to N-2 and Na-2 SO4 using Na-2 SO3. The ac packed-bed reactor and pelletless pulsed corona reactor showed better performance, with minimum reaction products for a given power, when the NO concentration was low (similar to 100 ppm). When the engine load exceeds 50% (NO > 300 ppm) there was not much decrease in NO reduction and more or less all the reactors performed equally. The total operating cost of the plasma-chemical hybrid system becomes $4010/ton of NO, which is 1/3-1/5 of the conventional selective catalytic process.

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.

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.

Differential Mechanisms of Binding of Anti-Sigma Factors Escherichia coli Rsd and Bacteriophage T4 AsiA to E. coli RNA Polymerase Lead to Diverse Physiological Consequences

Anti-sigma factors Escherichia coli Rsd and bacteriophage T4 AsiA bind to the essential housekeeping sigma factor, sigma(70), of E. coli. Though both factors are known to interact with the C-terminal region of sigma(70), the physiological consequences of these interactions are very different. This study was undertaken for the purpose of deciphering the mechanisms by which E. coli Rsd and bacteriophage T4 AsiA inhibit or modulate the activity of E. coli RNA polymerase, which leads to the inhibition of E. coli cell growth to different amounts. It was found that AsiA is the more potent inhibitor of in vivo transcription and thus causes higher inhibition of E. coli cell growth. Measurements of affinity constants by surface plasmon resonance experiments showed that Rsd and AsiA bind to or 70 with similar affinity. Data obtained from in vivo and in vitro binding experiments clearly demonstrated that the major difference between AsiA and Rsd is the ability of AsiA to form a stable ternary complex with RNA polymerase. The binding patterns of AsiA and Rsd with sigma(70) studied by using the yeast two-hybrid system revealed that region 4 of sigma(70) is involved in binding to both of these anti-sigma factors; however, Rsd interacts with other regions of sigma(70) as well. Taken together, these results suggest that the higher inhibition of E. coli growth by AsiA expression is probably due to the ability of the AsiA protein to trap the holoenzyme RNA polymerase rather than its higher binding affinity to sigma(70).

Asymptotic behaviour and boundedness of linear systems with time varying coefficients

Motivated by developments in spacecraft dynamics, the asymptotic behaviour and boundedness of solution of a special class of time varying systems in which each term appears as the sum of a constant and a time varying part, are analysed in this paper. It is not possible to apply standard textbook results to such systems, which are originally in second order. Some of the existing results are reformulated. Four theorems which explore the relations between the asymptotic behaviour/boundedness of the constant coefficient system, obtained by equating the time varying terms to zero, to the corresponding behaviour of the time varying system, are developed. The results show the behaviour of the two systems to be intimately related, provided the solutions of the constant coefficient system approach zero are bounded for large values of time, and the time varying terms are suitably restrained. Two problems are tackled using these theorems.

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.

Accelerating Reduction for Enabling Fast Multiplication over Large Binary Fields

In this paper we present a hardware-software hybrid technique for modular multiplication over large binary fields. The technique involves application of Karatsuba-Ofman algorithm for polynomial multiplication and a novel technique for reduction. The proposed reduction technique is based on the popular repeated multiplication technique and Barrett reduction. We propose a new design of a parallel polynomial multiplier that serves as a hardware accelerator for large field multiplications. We show that the proposed reduction technique, accelerated using the modified polynomial multiplier, achieves significantly higher performance compared to a purely software technique and other hybrid techniques. We also show that the hybrid accelerated approach to modular field multiplication is significantly faster than the Montgomery algorithm based integrated multiplication approach.