In this paper we introduce and study a new class of hybrid automata, Independent Dynamics Hybrid Automata (IDA). IDA are an extension of decidable O-minimal automata in which also identity resets are allowed. We define the conditions under which reachability is decidable over IDA. These conditions involve the satisfiability of first-order formulæ that limit the interval of time we need to consi...

We present the generalized hybrid averaging (GHA) operator. It is a new aggregation operator that generalizes the hybrid averaging (HA) operator by using the generalized mean. Thus, we are able to generalize a wide range of mean operators such as the HA, the hybrid geometric averaging (HGA), the hybrid quadratic averaging (HQA), the generalized ordered weighted averaging (GOWA) operator and the...

Hybrid Monte Carlo (HMC) is often the method of choice for computing Bayesian integrals that are not analytically tractable. However the success of this method may require a very large number of evaluations of the (un-normalized) posterior and its partial derivatives. In situations where the posterior is computationally costly to evaluate, this may lead to an unacceptable computational load for...

Heterosis plays an important role in achieving improvement in crop production. About 69 F 1 hybrids obtained by crossing twenty three lines and three testers in a line × tester fashion were used to derive the information on degree of heterosis over mid, better and standard parent in maize. Sixty nine crosses and their parents including one check CoH(M)5 were evaluated in a Randomized Block Desi...

This paper illustrates the application of hybrid modeling and optimal control to the problem of air-to-fuel ratio and torque control in advanced technology gasoline direct injection stratified charge (DISC) engines. DISC engines have two discrete modes of operation, stratified and homogeneous, and their dynamic behavior can be easily captured by a hybrid model. We show that the design flow (hyb...

F1 hybrids can outperform their parents in yield and vegetative biomass, features of hybrid vigor that form the basis of the hybrid seed industry. The yield advantage of the F1 is lost in the F2 and subsequent generations. In Arabidopsis, from F2 plants that have a F1-like phenotype, we have by recurrent selection produced pure breeding F5/F6 lines, hybrid mimics, in which the characteristics o...

The hybrid Chi (χ) language is a formalism for modeling, simulation and verification of hybrid systems. One of the most widely known hybrid system formalisms is that of hybrid automata. The formal translation of χ to hybrid automata enables verification of χ specifications using existing hybrid automata based verification tools. In this paper, we describe the translation from χ to hybrid automa...

This is a summary of the design ofHydra, a language prototype for Functional Hybrid Modeling. Hydra is used for non-causal modeling specifications, and based on first-class signal relations, complex systems can be composed by components in a functional way. Reactivity is introduced in Hydra to handle event and discontinuity in such hybrid systems. The experience in studying the semantics and im...

The Hybrid Functional Petri Nets (HFPN) formalism has already shown its convenience for modelling biological systems. This class of models have been fruitfully applied in biology but the remarkable expressiveness of HFPN often leads to incomplete formal validations. In this paper, we propose a formal logical framework for Timed Hybrid Petri Nets (THPN), a sub-class of HFPN. We propose an extens...

In this paper, we analyze and develop hybrid finite impulse response (FIR) structures in applications to image enhancing. Three particular hybrid structures are observed: the FIR median hybrid (FMH), the moving average hybrid (MAH), and the smoothing FIR hybrid (FSH). All these structures have been developed for preserving a sharp edge and enhancing ultrasound images. It is shown that, among ot...