This paper proposes a methodology for practical siting and sizing of Hybrid energy systems (HESs) consist of: wind turbine (WT), photovoltaic (PV) and combined heat and power (CHP) units. In this method, the interaction of Plug-in Electric Vehicles (PIEVs) in the electric distribution system is considered. Electric Vehicle are seen to have some negative impacts on electric distribution system p...

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.

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.

Hybrid systems have received a lot of attention in the past decade and a number of different models have been proposed in order to establish mathematical framework that is able to handle both continuous and discrete aspects. This contribution is focused on two models: hybrid automata and hybrid control systems with continuousdiscrete interface and the importance of clock models is emphasized. S...

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

The paper proposes a new translation algorithm that translates a hybrid system described as a discrete hybrid automaton (DHA) into an equivalent piecewise affine (PWA) system. The translation algorithm exploits, among others, a new technique for cell enumeration in hyperplane arrangement, all proposed in this paper. The new translation technique enables the transfer of several analysis and synt...

Lots of diagnosis approaches proposed in the literature are based in the assumption of single faults. This assumption may result to erroneous diagnosis statement in case where multiple faults occurs. Thus multiple fault diagnosis is a challenging field particularly in the control of large scale complex systems that can be viewed as hybrid systems. The main reason is that multiple faults are har...

Motivated by an example from aircraft connict resolution we seek a methodology for synthesizing controllers for nonlinear hybrid automata. We rst show how game theoretic methodologies developed for this purpose for nite automata and continuous systems can be cast in a uniied framework. We then present a conceptual algorithm for extending them to the hybrid setting. We conclude with a discussion...