In this paper, a model for hybrid transmission expansion planning (TEP) and reactive power planning (RPP) considering demand response (DR) model has been presented. In this study RPP considered by TEP for its effects on lines capacity and reduction of system expansion costs. On the other hand the expansion of the transmission system is an important subject, especially dealing with the new i...

This paper studies a series production system through the integration of the decisions associated with Maintenance Management (MM) and Statistical Process Control (SPC). Hence, the primary question of the paper can be stated as follows: In a series production system, how can the decisions of MM and SPC be coordinated? To this end, an integrated mathematical model of MM and SPC is developed. Usi...

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