Code generation from hybrid system models, a promising approach for producing reliable embedded systems, has been our research focus for some time now. In this report, we summarize the progress made thus far and provide directions for research towards realization of this goal. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-05-03. Th...

deregulation policy has caused some changes in the concepts of power systems reliability assessment and enhancement. in this paper, generation reliability is considered, and a method for its assessment using intelligent systems is proposed. also, because of power market and generators’ forced outages stochastic behavior, monte carlo simulation is used for reliability evaluation. generation reli...

the importance of the hybrid power generation systems (HPGS) increased especially in the last few years. HPGS are used to share the load with the utility grid and these systems are termed as HPGS-utility grid. In addition, they are used to transmit the power to the remote areas. In this case, these systems are termed as stand-alone HPGS. HPGS consist of different power sources such as photovolt...

Nowadays, a large number of practical systems in aerospace and industrial environments are best represented as hybrid systems that consist of discrete modes of behavior, each defined by a set of continuous dynamics. These hybrid dynamics make the on-line fault diagnosis task very challenging. In this work, we present a new modeling and diagnosis framework for hybrid systems. Models are composed...

Regularity extraction attempts to find common sub-structures (templates) in one or a collection of circuits (graphs). There are many applications for regularity extraction, including, but not limited to, compiler instruction generation and selection for hybrid (re)configurable systems, scheduling during logic synthesis, system-level partitioning and FPGA mapping and placement. We aim to build a...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

in this paper, the electrical consumption of a research center building is derived of the bills, then with defining of fuzzy bus thermal coefficient objective function for heating, the amount of available heat selling to research center building consumer that is produced by biomass solar hybrid source is calculated. with the capacity determination of biomass solar hybrid source to provide therm...

in this paper, we study the numerical solution of hybrid fuzzy differential equations by using differential transformation method (dtm). this is powerful method which consider the approximate solution of a nonlinear equation as an infinite series usually converging to the accurate solution. several numerical examples are given and by comparing the numerical results obtained from dtm  and  predi...