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

One problem of modelling hybrid systems with existing notations of hybrid automata is that there is no modular structure in the model. We introduce an extended modelling notation which allows the modelling of a system as a hierarchical structure of modules. The modules are capable of communicating through the elements of an explicitly defined interface. The interface consists of signals and var...

Hybrid systems combine continuous and discrete behavior. Hybrid Automata are a powerful formalism for the modeling and verification of such systems. A common problem in hybrid system verification is the good parameters problem, which consists in identifying a set of parameter valuations which guarantee a certain behavior of a system. Recently, a method has been presented for attacking this prob...

ions for Hybrid Systems ∗ Ashish Tiwari ([email protected]) SRI International, 333 Ravenswood Ave, Menlo Park, CA, U.S.A Abstract. We present a procedure for constructing sound finite-state discrete abstractions of hybrid systems. This procedure uses ideas from predicate abstraction to abstract the discrete dynamics and qualitative reasoning to abstract the continuous dynamics of the hybrid sy...

Introduction The two-hybrid system (THS), first introduced by Fields and Song (1989) (Ref. 1), is a powerful technique for identifying new proteins involved in specific biological processes. It allows for the rapid isolation of the gene that codes for a protein that interacts with a specific protein of interest. Here, we present not a review of the current THS technology but, rather, a comprehe...

The development and implementation of a novel structural testing method involving the combined use of shake tables, actuators, and computational engines for the seismic simulation of structures is presented herein. The hybrid simulation is intended to discover through physical testing the behavior of parts or whole substructure assemblies for which knowledge is limited, while the known parts of...

in order to obtain high yielded and tolerant to drought stress maize hybrid a breeding program was started in safiabad agricultural research center in the 1999 and a few s6 lines attained in 2005. then interactive components were created and evaluated in the preliminary and semi-finals experiment during two consecutive years. after preliminary studies, nine hybrids were selected which they were...

in this paper, optimal design of hybrid solar-wind- diesel energy system with battery storage for reliable load in arsoon village in ardabil is presented. the village has 35 households that mean daily energy consumption is estimated 63.4 kwh. in this design optimization is implemented, considering loss of power supply probability (lpsp) index for reliable load providing, with minimum total cons...

In hybrid simulation, the structure is divided into numerical and physical substructures to achieve more accurate responses in comparison to a full computational analysis. As a consequence of the lack of test facilities and actuators, and the budget limitation, only a few substructures can be modeled experimentally, whereas the others have to be modeled numerically. In this paper, a new hybrid ...