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 ...

Based on the di erential action introduced in [12] we extend the action system framework into a hybrid action system framework. Hybrid action systems are to be used in modelling and analysing hybrid systems. The meaning of a hybrid action system is given as an ordinary action system. We also extended the de nition of a parallel composition for action systems to handle the continuous behaviour i...

Ships play the major role in bulk transportation and they need their special energy system. This paper proposes a stochastic programing method for optimal sizing of a hybrid ship power system with energy storage system (ESS), photovoltaic power (PV) and diesel generator. To account for uncertainties, in this study a two-stage stochastic mixed-integer non-linear programing is used to model the o...

We define and develop the concept of quasi-variety for models of hybrid logics and we apply this for determining initial semantics for classes of hybrid logics theories. The hybrid logic is considered here in a very general sense, internal to abstract institutions (in the sense of the so-called institution theory of Goguen and Burstall). This means our result is applicable to a wide variety of ...

We propose an approach to falsification of oscillation properties of parametric biological models, based on the recently developed techniques for testing continuous and hybrid systems. In this approach, an oscillation property can be specified using a hybrid automaton, which is then used to guide the exploration in the state and input spaces to search for the behaviors that do not satisfy the p...

short term prediction of traffic flow is one of the most essential elements of all proactive traffic control systems. although various methodologies have been applied to forecast traffic parameters, several researchers have showed that compared with the individual methods, hybrid methods provide more accurate results . these results made the hybrid tools and approaches a more common method for ...

the asiatic hybrid lily, a bulbous ornamental plant, has a special position in the horticulture as cut flower. to overcome some problems in nutrition of bulb flowers, the use of hydroponic system and nutrient solution is important in the cultivation of these flowers. the asiatic hybrid lilium bulbs “tresor” cultivar, used for the current research were planted under 3 different calcium levels in...

this article addresses a multi-stage flowshop scheduling problem with equal number of unrelated parallel machines. the objective is to minimize the makespan for a given set of jobs in the system. this problem class is np-hard in the strong sense, so a hybrid heuristic method for sequencing and then allocating operations of jobs to machines is developed. a number of test problems are randomly ge...

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...