in this paper, we study the classical sensitivity analysis when the right - hand – side vector, and the coefficients of the objective function are allowed to vary.

in order to evaluate of diversity among new maize hybrids for quantitative and morphological traits, 17 new single cross maize hybrids were studied in shahrood agriculture research station using randomized complete blocks design with four replications. results showed that five independent factors were responsible for significant correlation between 16 measured traits and explained 89.18% of tot...

this paper studies the hybrid flow shop scheduling where the optimization criterion is the minimization of total tardiness. first, the problem is formulated as a mixed integer linear programming model. then, to solve large problem sizes, an artificial immune algorithm hybridized with a simple local search in form of simulated annealing is proposed. two experiments are carried out to evaluate th...

Though the hybrid system model checker HYTECH has successfully verified some systems, it restricts the dynamics to linear hybrid automata. We have designed an algorithm capable of verifying systems with more general dynamics. This algorithm uses interval numerical methods to conservatively overapproximate the reachable states of a hybrid automaton. We have implemented our new algorithm in HYTEC...

Boost converter circuits are an important component in electrical and electronic systems. Serving as energy converters, they increase the voltage of a source. In mobile devices, high voltages can be achieved in this way, with a relatively small number of accumulator cells. Without this or a similar technique, it would be difficult to supply electric cars with the necessary voltages of about 500...

Lazy linear hybrid automata (LLHA) model the discrete time behavior of control systems containing finite-precision sensors and actuators interacting with their environment under bounded inertial delays. In this paper, we present a symbolic technique for reachability analysis of lazy linear hybrid automata. The model permits invariants and guards to be nonlinear predicates but requires flow valu...

Dynamic modeling and control of dc-dc series resonant converter (SRC) especially when operating in discontinuous conduction mode (DCM) is still a challenge in power electronics. Due to semiconductors switching, SRC is naturally represented as a switched linear system, a class of hybrid systems. Nevertheless, the hybrid nature of the SRC is commonly neglected and it is modeled as a purely contin...

This paper examines the recurrent behaviour of a class of hybrid systems which periodically switch between diierent rst order integrators. The analysis is based on studying the Poincare map of the hybrid system. For switched integrator systems, the Poincare maps are linear mappings thereby allowing easy characterization of the system's stability. Extending these results to more general classes ...

Both theoretical and empirical findings have suggested that combining different models can be an effective way to improve the predictive performance of each individual model. It is especially occurred when the models in the ensemble are quite different. Hybrid techniques that decompose a time series into its linear and nonlinear components are one of the most important kinds of the hybrid model...