We present a general framework for the formal speci cation and algorithmic analysis of hybrid systems A hybrid system consists of a discrete program with an analog environment We model hybrid systems as nite automata equipped with variables that evolve continuously with time according to dynamical laws For veri cation purposes we restrict ourselves to linear hybrid systems where all variables f...

Effects of modifying oil palm mesocarp fibers (OPMF) by methacrylate silane on polylactic acid (PLA)/ polycaprolactone (PCL)/clay/OPMF hybrid composites were investigated. The composites were prepared by a melt blending technique and characterized by dynamic mechanical analysis (DMA) and scanning electron microscopy (SEM). The silane-treated OPMF hybrid composites showed better tensile strength...

In this paper, using polymerase chain reaction (PCR), we demonstrated the occurrence of hybrid genes formed by interlocus recombination between T cell receptor y (TCR--y) variable (V) regions and TCR-f3joining (J) regions in the peripheral blood lymphocytes (PBL) from normal individuals and patients with ataxia-telangiectasia (AT) . Sequence analysis of the PCR-derived hybrid genes confirmed th...

Algorithmically analyzing hybrid systems models is challenging in theory and in practice. Numerous sound (and sometimes complete) transformations for simplifying the analysis of hybrid systems models have been developed, and are used to show both theoretical results such as reductions to finite-state automata for certain classes and practical results to ease reachability analysis. HyST is a sof...

this research set out to evaluate the effect of combined biological and chemical nitrogen fertilizers on some corn hybrids. to this end an experiment was conducted as split plot on the basis of randomized complete block design with four replications. main plots were included: use of chemical and biological fertilizers in four levels: 100% chemical fertilizer, 75% chemical fertilizer + 100% bio-...

Hybrid (discrete/continuous) systems are systems that exhibit both discrete state and continuous state dynamics. In addition, these two aspects of system behavior interact to such a significant extent that they cannot be decoupled and must be analyzed simultaneously. We consider the modeling, simulation and sensitivity analysis of hybrid systems, with particular emphasis on the interactions bet...

Hybrid systems combine discrete event and continuous time dynamics and can serve as models of large scale systems We provide an overview of modeling analysis and controller synthesis techniques for hybrid systems A modeling language for describing a wide class of hybrid phenomena is rst presented and conditions for existence and uniqueness of executions are provided We then discuss analysis pro...

The principle of dynamic programming is used to develop a digital computer software package for determining for each of several subsystems the optimal numerical integration algorithm from among given candidate techniques. As by-products, the corresponding optimal step sizes and error contributions of the subsystems are provided to the user. The deveiloped program minimizes subsystem sum-squared...