Y. Narahari

Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models

Deadlocks constitute an important issue to be addressed in the design and operation of FMSs. It is shown that prevention and avoidance of FMS deadlocks can be implemented using Petri net models. For deadlock prevention, the reachability graph of a Petri net model of the given FMS is used, whereas for deadlock avoidance, a Petri-net-based online controller is proposed. The modeling of the General Electric FMS at Erie, PA, is discussed. For such real-world systems, deadlock prevention using the reachability graph is not feasible. A generic, Petri-net-based online controller for implementing deadlock avoidance in such real-world FMSs is developed. >

A Shapley Value-Based Approach to Discover Influential Nodes in Social Networks

Our study concerns an important current problem, that of diffusion of information in social networks. This problem has received significant attention from the Internet research community in the recent times, driven by many potential applications such as viral marketing and sales promotions. In this paper, we focus on the target set selection problem, which involves discovering a small subset of influential players in a given social network, to perform a certain task of information diffusion. The target set selection problem manifests in two forms: 1) top-k nodes problem and 2) λ -coverage problem. In the top-k nodes problem, we are required to find a set of k key nodes that would maximize the number of nodes being influenced in the network. The λ-coverage problem is concerned with finding a set of key nodes having minimal size that can influence a given percentage λ of the nodes in the entire network. We propose a new way of solving these problems using the concept of Shapley value which is a well known solution concept in cooperative game theory. Our approach leads to algorithms which we call the ShaPley value-based Influential Nodes (SPINs) algorithms for solving the top-k nodes problem and the λ -coverage problem. We compare the performance of the proposed SPIN algorithms with well known algorithms in the literature. Through extensive experimentation on four synthetically generated random graphs and six real-world data sets (Celegans, Jazz, NIPS coauthorship data set, Netscience data set, High-Energy Physics data set, and Political Books data set), we show that the proposed SPIN approach is more powerful and computationally efficient.

Object oriented modeling and decision support for supply chains

Numerous algorithms and tools have been deployed in supply chain modeling and problem solving. These are based on stochastic models, mathematical programming models, heuristic techniques, and simulation. Since different decision problems in supply chains entail different approaches to be used for modeling and problem solving, there is a need for a unified approach to modeling supply chains so that any required representation can be created in a rapid and flexible way. In this paper, we develop a decision support system DESSCOM (decision support for supply chains through object modeling) which enables strategic, tactical, and operational decision making in supply chains. DESSCOM has two major components: (1) DESSCOM-MODEL, a modeling infrastructure comprising a library of carefully designed generic objects for modeling supply chain elements and dynamic interactions among these elements, and (2) DESSCOM-WORKBENCH, a decision workbench that can potentially include powerful algorithmic and simulation-based solution methods for supply chain decision-making. Through DESSCOM-MODEL, faithful models of any given supply chain can be created rapidly at any desired level of abstraction. Given a supply chain decision problem to be solved, the object oriented models created at the right level of detail can be transformed into problem formulations that can then be solved using an appropriate strategy from DESSCOM-WORKBENCH. We have designed and implemented a prototype of DESSCOM. We provide a real-world case study of a liquid petroleum gas supply chain to demonstrate the use of DESSCOM to model supply chains and enable decision-making at various levels.

Transient analysis of manufacturing systems performance

We present several situations in manufacturing systems where transient analysis is very important. Manufacturing systems and models in which such situations arise include: systems with failure states and deadlocks, unstable queueing systems, and systems with fluctuating or nonstationary workloads. Even in systems where equilibrium exists, transient analysis is important in studying issues such as accumulated performance rewards over finite intervals, first passage times, sensitivity analysis, settling time computation, and deriving the behavior of queueing models as they approach equilibrium. In this paper, we focus on transient analysis of Markovian models of manufacturing systems. After presenting several illustrative manufacturing situations where transient analysis has significance, we discuss two problems for demonstrating the importance of transient analysis. The first problem is concerned with the computation of distribution of time to absorption in Markov models of manufacturing systems with deadlocks or failures, and the second problem shows the relevance of transient analysis to a multiclass manufacturing system with significant setup times. We also discuss briefly computational aspects of transient analysis. >

Dynamic pricing models for electronic business

Dynamic pricing is the dynamic adjustment of prices to consumers depending upon the value these customers attribute to a product or service. Todays digital economy is ready for dynamic pricing; however recent research has shown that the prices will have to be adjusted in fairly sophisticated ways, based on sound mathematical models, to derive the benefits of dynamic pricing. This article attempts to survey different models that have been used in dynamic pricing. We first motivate dynamic pricing and present underlying concepts, with several examples, and explain conditions under which dynamic pricing is likely to succeed. We then bring out the role of models in computing dynamic prices. The models surveyed include inventory-based models, data-driven models, auctions, and machine learning. We present a detailed example of an e-business market to show the use of reinforcement learning in dynamic pricing.

Coloured Petri net models for automated manufacturing systems

In this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We illustrate our methodology for a Flexible Manufacturing Cell (FMC) with three machines and three robots. We also consider the analysis of the FMC for deadlocks using the invariant analysis of CPNs.

Auction-Based Mechanisms for Electronic Procurement

Auction-based mechanisms are extremely relevant in modern day electronic procurement systems since they enable a promising way of automating negotiations with suppliers and achieve the ideal goals of procurement efficiency and cost minimization. This paper surveys recent research and current art in the area of auction-based mechanisms for e-procurement. The survey delineates different representative scenarios in e-procurement where auctions can be deployed and describes the conceptual and mathematical aspects of different categories of procurement auctions. We discuss three broad categories: 1) single-item auctions: auctions for procuring a single unit or multiple units of a single homogeneous type of item; 2) multi-item auctions: auctions for procuring a single unit or multiple units of multiple items; and 3) multiattribute auctions where the procurement decisions are based not only on costs but also on attributes, such as lead times, maintenance contracts, quality, etc. In our review, we present the mathematical formulations under each of the above categories, bring out the game theoretic and computational issues involved in solving the problems, and summarize the current art. We also present a significant case study of auction based e-procurement at General Motors.

Multiattribute electronic procurement using goal programming

One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiattribute procurement have emerged as an important research direction. In this paper, we develop a multiattribute e-procurement system for procuring large volume of a single item. Our system is motivated by an industrial procurement scenario for procuring raw material. The procurement scenario demands multiattribute bids, volume discount cost functions, inclusion of business constraints, and consideration of multiple criteria in bid evaluation. We develop a generic framework for an e- procurement system that meets the above requirements. The bid evaluation problem is formulated as a mixed linear integer multiple criteria optimization problem and goal programming is used as the solution technique. We present a case study for which we illustrate the proposed approach and a heuristic is proposed to handle the computational complexity arising out of the cost functions used in the bids.

Modeling the effect of hot lots in semiconductor manufacturing systems

The presence of hot lots or high-priority jobs in semiconductor manufacturing systems is known to significantly affect the cycle time and throughput of the regular lots since the hot lots get priority at all stages of processing. In this paper, we present an efficient analytical model based on re-entrant lines and use an efficient, approximate analysis methodology for this model in order to predict the performance of a semiconductor manufacturing line in the presence of hot lots. The proposed method explicitly models scheduling policies and can be used for rapid performance analysis. Using the analytical method and also simulation, we analyze two re-entrant lines, including a full-scale model of a wafer fab, under various buffer priority scheduling policies. The numerical results show the severe effects hot lots can have on the performance characteristics of regular lots.

Combinatorial auctions for electronic business

Combinatorial auctions (CAs) have recently generated significant interest as an automated mechanism for buying and selling bundles of goods. They are proving to be extremely useful in numerous e-business applications such as e-selling, e-procurement, e-logistics, and B2B exchanges. In this article, we introduce combinatorial auctions and bring out important issues in the design of combinatorial auctions. We also highlight important contributions in current research in this area. This survey emphasizes combinatorial auctions as applied to electronic business situations.