Hybrid automata are a powerful formalism for modeling and verifying hybrid systems, that combine continuous and discrete behavior. A common problem for hybrid systems is the good parameters problem, which consists in identifying a set of parameter valuations guaranteeing a certain good behavior of a system. We introduce here HyMITATOR, a tool for efficient parameter synthesis for hybrid automat...

introduction : due to the importance of laser light penetration and propagation in biological tissues, many researchers have proposed several numerical methods such as monte carlo, finite element and green function methods. among them, the monte carlo method is an accurate method which can be applied for different tissues. however, because of its statistical nature, monte carlo simulation requi...

abstract. in this paper, we implement numerical solution of differential equations of frac- tional order based on hybrid functions consisting of block-pulse function and rationalized haar functions. for this purpose, the properties of hybrid of rationalized haar functions are presented. in addition, the operational matrix of the fractional integration is obtained and is utilized to convert compu...

a numerical method for solving variational problems is presented in this paper. the method is based upon hybrid of hartley functions approximations. the properties of hybrid functions which are the combinations of block-pulse functions and hartley functions are first presented. the operational matrix of integration is then utilized to reduce the variational problems to the solution of algebraic...

Zeno hybrid automata are hybrid systems that can exhibit in nitely many discrete transitions in a nite time interval. Such automata arise due to modeling simplications and may deteriorate simulation e ciency and accuracy considerably. Some basic properties of Zeno hybrid automata are explored. Possible ways to extend a simulation beyond the Zeno time are suggested.

A library of components for modelling hybrid automata in a natural fashion has been implemented in Modelica. This library exploits and extends the free Modelica library StateGraph to the modelling and simulation of deterministic hybrid systems described by the hybrid automaton formalism. In this contribution the library’s main features are described and its flexibility highlighted by developing...

This paper proposes a speciication language, Hybrid Projection Temporal Logic (HPTL), for the purpose of modelling, analyzing and verifying hybrid systems consisting of a non-trivial mixture of discrete and continuous components. The syntax and semantics of HPTL are presented, and some examples of hybrid systems are modelled with HPTL to illustrate the formalism.

Actually, the Hybrid Systems (HS) approach is very used to solve problems where different knowledge representations are involve in one system. This integration has the advantage to compensate the weakness of one or another system complementing their strengths. The Neuro-Symbolic Hybrid Systems (NSHS) arise of the HS as an approach that offer the possibility to implement robust systems where the...

low water consumption in autumn sugar beet sowing is an important strategy for sugar beet production, especially in arid regions like iran. for the development of a new monogerm triploid hybrid called sharif which is bolting tolerant and suitable for autumn sowing in khuzestan province, a breeding program was started in 1994 and continued for16 years. this program had two stages; the first stag...