the power supply of remote sites and applications at minimal cost and with low emissions is an important issue when discussing future energy concepts. this paper presents modeling and optimization of a photovoltaic (pv)/wind/diesel system with batteries storage for electrification to an off-grid remote area located in rafsanjan, iran. for this location, different hybrid systems are studied and ...

Recent developments in wind energy research including wind speed prediction, wind turbine control, operations of hybrid power systems, as well as condition monitoring and fault detection are surveyed. Approaches based on statistics, physics, and data mining for wind speed prediction at different time scales are reviewed. Comparative analysis of prediction results reported in the literature is p...

We show how reachable sets of constrained continuous and simple hybrid systems may be computed using the minimum time-toreach function. We present an algorithm for computing a discrete approximation to the minimum time-to-reach function, which we prove to be a converging underapproximation to the actual function. We use the discrete minimum time-to-reach function for simple hybrid systems to co...

Hybrid dynamic systems are analyzed through linear hybrid automaton. In this paper, we propose a mapping algorithm to deal with a new Continuous elementary HPN. The method shown enables us to analyze some system properties using a linear hybrid automaton generated by a mapping process. The application involves a water system of three tanks, which is analyzed by a PHAVer (Polyhedral Hybrid Autom...

We provide a generic transformation from weakly selective secure FE to selective secure FE through an approach called hybrid functional key generation. Furthermore, our transformation preserves the compactness of the FE scheme. Additionally, we note that this transformation is much simpler than the prior work [GS16]. We consider the simplicity of the construction in this work as a positive feat...

We describe ongoing work on building an environment to support reasoning in proof assistants that represent formal systems using higher-order abstract syntax (HOAS). We use a simple and general specification language whose syntax supports HOAS. Using this language, we can encode the syntax and inference rules of a variety of formal systems, such as programming languages and logics. We describe ...

wind power generation is variable and uncertain. in the power systems with high penetration of wind power, determination of equivalent operating reserve is the main concern of systems operator. in this paper, a model is proposed to determine operating reserves in simultaneous market clearing of energy and reserve by stochastic programming based on scenarios generated via monte carlo simulation ...

Recently, the case has been made for operational or real-time Business Intelligence (BI). As the traditional separation into OLTP database and OLAP data warehouse obviously incurs severe latency disadvantages for operational BI, hybrid OLTP&OLAP database systems are being developed. The advent of the first generation of such hybrid OLTP&OLAP database systems requires means to characterize their...

A hybrid filter constructed of a shunt active filter and distributed passive filters used for power quality improvement in PV power generating systems is presented. The distribution system consists of a photovoltaic power generation system and several dynamic nonlinear loads. The power quality problems of dispersed generation low voltage systems are introduced and the necessity of using hybrid ...

hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior‎. ‎the hybrid differential equations have a wide range of applications in science and engineering‎. ‎the hybrid systems are devoted to modeling‎, ‎design‎, ‎and validation of interactive systems of computer programs and continuous systems‎. ‎hybrid fuzzy differential equations (hfdes) is considered by ...