The following five classes of hybrid systems were recently proved to be equivalent: linear complementarity (LC) systems, extended linear complementarity (ELC) systems, mixed logical dynamical (MLD) systems, piecewise affine (PWA) systems, and maxmin-plus-scaling (MMPS) systems. Some of the equivalences were obtained under additional assumptions, such as boundedness of system variables. In this ...

stability analysis and g*e interaction of eight commercial monogerm cultivars of sugar beet were evaluated in three years at 11 major sugar beet producing locations karaj, mashhad, miandoab, esfahan, shiraz, kermanshah, kerman, moghan, hamedan, khoy, and brojerd. a randomized complete block design with four replications was used.in each location cultivars  rasoul, shirin, univers, orbis, 7112hy...

the share of dc-based renewable energy resources (rers) and electricity storage systems are increasing due to developments of smart grid technologies. moreover, the share of dc-based load has rapid growth due to significant developments of power electronic technologies. therefore, a more flexible power system is required for efficient integration of emerging loads and generators. in this paper,...

This paper deals with conservative reachability analysis of a class of hybrid systems with continuous dynamics described by linear differential inclusions, convex invariants and guards, and linear reset maps. We present an approach for computing over-approximations of the set of reachable states. It is based on the notion of support function and thus it allows us to consider invariants, guards ...

This draft suggests a new counterexample guided abstraction refinement (CEGAR) framework that uses the combination of numerical simulation for nonlinear differential equations with linear programming for linear hybrid automata (LHA) to perform reachability analysis on nonlinear hybrid automata. A notion of ǫ− structural robustness is also introduced which allows the algorithm to validate counte...

the efficiency measurement is a subject of great interest. the majority of studies on dea models have been carried out using radial or non-radial approaches regarding the application of dea for the efficiency measurement. this paper, based on the directional distance function, proposes a new generalized hybrid measure of efficiency under generalized returns to scale with the existence of both r...

background and aim: approaches to professional health care have changed along with changes in health measures and progression of chronic diseases. patient participation is an international golden standard in new nursing paradigm. despite the importance of patient participation and its routine usage in professional care, this concept is not clear, especially in social and cultural context of ira...

a bstra ct     background: patients’ compliance to treatment is an important indicator for evaluating the successful management in chronic illnesses. despite the fact an applicable definition of compliance is required to suitable intervention and research, this concept is not clear and there is no consensus concerning its meaning, definition, and measurement. the aim of this study was to explor...

The existing techniques for reachability analysis of linear hybrid automata do not scale well to problem sizes of practical interest. Instead of developing a tool to perform reachability check on all the paths of a linear hybrid automaton, a complementary approach is to develop an efficient path-oriented tool to check one path at a time where the length of the path being checked can be made ver...

One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed automata, multirate automata, and rectangular automata. In this paper, we extend the decidability frontier for classes of linear hybrid systems, which are introduced as hybrid systems with linear vector fields in each discrete...