in the present paper, the idea of braking energy regeneration and reusing that energy during acceleration for a refuse truck is comprehended. according to their driving cycle, the refuse trucks have a good potential for braking energy regeneration. on the other hand, hydraulic hybrid is a powertrain with high power density which is appropriate for energy regeneration. in the primary stage of th...

in order to evaluate forage quality in intercropping, two field experiments were carried out based on randomized complete block design with three replications at the agricultural research station, faculty of agriculture, university of tabriz, iran, in 2005-2006 and 2006-2007 growing seasons. two maize (zea mays l.) hybrids (sc704, sc301), vetch (vicia villosa), bitter vetch (vicia ervilia), ber...

background : in medical studies, when the joint prediction about occurrence of two events should be anticipated, a statistical bivariate model is used. due to the limitations of usual statistical models, other methods such as artificial neural network (ann) and hybrid models could be used. in this paper, we propose a hybrid artificial neural network-genetic algorithm (ann-ga) model to predictio...

Hybrid systems have received a lot of attention in the past decade and a number of different models have been proposed in order to establish mathematical framework that is able to handle both continuous and discrete aspects. This contribution is focused on two models: hybrid automata and hybrid control systems with continuousdiscrete interface and the importance of clock models is emphasized. S...

Electromagnetic circuits are the electromagnetic analog at fixed frequency of mass-spring networks in elastodynamics. By interchanging the roles of ε and μ in electromagnetic circuits one obtains magnetoelectric circuits. Here we show that by introducing tetrahedral connectors having ε = μ = 0 one can join electromagnetic and magnetoelectric circuits to obtain hybrid circuits. Their response is...

We propose a library based incremental design methodology for constructing hybrid controllers from a component library of models of hybrid controllers, such that global safety and stability properties are preserved. To this end, we propose hybrid interface specifications of components characterizing plant regions for which safety and stability properties are guaranteed, as well as exception mec...

Fault diagnosis is a challenging task in the control of Hybrid Systems. In this work we introduce the notion of diagnosability of Hybrid Systems in the framework of Hybrid Input Output Automata (HIOA). We present a methodology for detection of faults imposing the conditions for a Hybrid System to be diagnosable. This approach is applicable to a wide rage of systems since Hybrid Systems involve ...

One problem of modelling hybrid systems with existing notations of hybrid automata is that there is no modular structure in the model. We introduce an extended modelling notation which allows the modelling of a system as a hierarchical structure of modules. The modules are capable of communicating through the elements of an explicitly defined interface. The interface consists of signals and var...

Hybrid systems combine continuous and discrete behavior. Hybrid Automata are a powerful formalism for the modeling and verification of such systems. A common problem in hybrid system verification is the good parameters problem, which consists in identifying a set of parameter valuations which guarantee a certain behavior of a system. Recently, a method has been presented for attacking this prob...

ions for Hybrid Systems ∗ Ashish Tiwari ([email protected]) SRI International, 333 Ravenswood Ave, Menlo Park, CA, U.S.A Abstract. We present a procedure for constructing sound finite-state discrete abstractions of hybrid systems. This procedure uses ideas from predicate abstraction to abstract the discrete dynamics and qualitative reasoning to abstract the continuous dynamics of the hybrid sy...