Wind power is one of the fastest growing renewable sources of generation in the U.S. and many other countries. As wind-generated electricity continues to grow, electric utilities increasingly grapple with the challenges of connecting that power to the grid although maintaining system security. It is difficult to predict and control the output of wind generation because of wind intermittency and...

Constraint{based types provide a formal foundation for many varieties of architectural analysis. A software architecture, typically deened using an Architecture Deenition Language (ADL), exposes the overall structure of a complex system in a way that allows validation and computation of overall system properties. We argue that the HM(X) type system can be used to implement many analyses in a si...

Environmental concerns and depletion of nonrenewable resources has made great interest towards renewable energy resources. Cleanness and high potential are factors that caused fast growth of wind energy. However, the stochastic nature of wind energy makes the presence of energy storage systems (ESS) in wind integrated power systems, inevitable. Due to capability of being used in large-scale sys...

The solution of single-objective unit commitment problems for generation companies participating in deregulated markets may not directly be implementable mainly because of neglecting some conflicting secondary objectives arising from policy-making at internal/external environment. Benefiting an efficient multi-objective approach to improve the applicability of price-based unit commitment soluti...

Despite the importance of the management of inventory in industrial scheduling applications, there has been little research that has addressed reasoning about inventory directly as part of a scheduling problem. In this paper, we represent inventory, inventory storage constraints, and inventory production and consumption in a constraint-directed scheduling framework. Inventory scheduling is then...

In this paper, a new formulation for modeling the problem of stochastic security-constrained unit commitment along with optimal charging and discharging large-scale electric vehicles, energy storage systems, flexible loads renewable resources is presented. The uncertainty considered as scenario-based model. multi-objective function which considers reduction operation cost, no-load startup/shutd...

We propose a new security measure for commitment protocols, called Universally Composable (UC) Commitment. The measure guarantees that commitment protocols behave like an “ideal commitment service,” even when concurrently composed with an arbitrary set of protocols. This is a strong guarantee: it implies that security is maintained even when an unbounded number of copies of the scheme are runni...