electric power industry have always try to provide reliable electricity to customers and at the same time decrease system costs. high voltage circuit-breakers are an essential part of the power network. this study has developed a maintenance and replacement scheduling model for high voltage circuit- breakers that minimize maintenance costs while maintaining the acceptable reliability. this mode...

Extensive-form games with imperfect recall are an important game-theoretic model that allows a compact representation of strategies in dynamic strategic interactions. Practical use of imperfect recall games is limited due to negative theoretical results: a Nash equilibrium does not have to exist, computing maxmin strategies is NP-hard, and they may require irrational numbers. We present the fir...

In this paper, we investigate the problem of verifying pushdown multiagent systems with imperfect information. As the formal model, we introduce pushdown epistemic game structures (PEGSs), an extension of pushdown game structures with epistemic accessibility relations (EARs). For the specification, we consider extensions of alternating-time temporal logics with epistemic modalities: ATEL, ATEL∗...

The study of dislocations interacting with interfaces is of great interest to understand the strengthening and hardening mechanisms in materials. Most of the existing results in this field dealt with perfect interfaces where the displacements are continuous across interfaces. In reality, however, due to damage of interfaces or other reasons, the displacements across interfaces could have a jump...

In this paper, we conduct a simulation study to evaluate the impact of using imperfect advance demand information (ADI) in a single stage production/inventory system. We mean by ADI the fact that the production system receives customer orders in advance of their due-dates. We consider four types of ADI: 1) Perfect ADI, 2) ADI with imperfect due-dates, 3) ADI with imperfect demand quantities and...

With the advent of 5G and need for energy-efficient massively connected wireless networks, in this work, we consider an energy harvesting (EH) based multi-relay downlink cooperative non-orthogonal multiple access (NOMA) system with practical constraints. The base station serves NOMA users help decode-and-forward EH relays, where relays harvest from station's radio frequency. A relay is selected...

We investigate the consequences of imperfect data privacy on information acquisition of personal health data. In a game of persuasion with ex-ante symmetric information players decide on whether or not to acquire and reveal information about their personal health status to convince a decision maker to interact. We contrast three institutional settings: automatic dissemination of acquired inform...

We consider an inventory control problem where it is possible to collect some imperfect information on future demand. We refer to such information as imperfect Advance Demand Information (ADI), which may occur in different forms of applications. A simple example is a company that uses sales representatives to market its products, in which case the collection of sales representatives’ informatio...