Production planning and maintenance are two important problems in manufacturing systems. Despite the relationship exists between these two problems due to sudden failures and production capacity occupied by maintenance activities, each of these problems planned separately and as a result program and model efficiencies reduce in the real world. The aim of integrated production and maintena...

Real problems require the combination of time and resources management. In the last decade, different approaches that integrate planning and scheduling have appeared. In this paper we present PIPSS, a system that combines traditional state space search planning with constraint satisfaction algorithms for scheduling, so that it can also reason about temporal and multicapacity resources problems....

With the Model Checking Integrated Planning System MIPS, model checking has eventually approached classical AI planning. It was the first planning system based on formal verification techniques that turned out to be competitive with the various Graphplanor SAT-based approaches on a broad spectrum of domains. MIPS uses binary decision diagrams (BDDs, introduced by Bryant (1986)) to compactly sto...

The utilization of the wind to generate electrical energy is increasing rapidly throughout the world. By the end of 2009, the worldwide installed wind capacity reached 159,213 MW (World Wind Energy Report 2009). Wind turbine generators can be added and are being added in large grid connected electric power systems. Wind power, however, behaves quite differently than conventional electric power ...

sion diagrams (BDDs) to compactly represent world states in a planning problem and efficiently explore the underlying state space. It was the first general planning system based on model-checking methods. It can handle the STRIPS subset of the PDDL language and some additional features from ADL, namely, negative preconditions and (universal) conditional effects. At the Fifth International Confe...

In this paper, a framework is presented to solve the problem of multistage distribution system expansion planning in which installation and/or reinforcement of substations, feeders and distributed generation units are taken into consideration as possible solutions for system capacity expansion. The proposed formulation considers investment, operation, and outage costs of the system. The expansi...