An optimal distributed solution to the dining philosophers problem
International Journal of Parallel Programming, 1986
An optimal distributed solution to the dining philosophers problem is presented. The solution is ... more An optimal distributed solution to the dining philosophers problem is presented. The solution is optimal in the sense that it incurs the least communication and computational overhead, and allows the maximum achievable concurrency. The worst case upper bound for concurrency is shown to ben div 3,n being the number of philosophers. There is no previous algorithm known to achieve this bound.
Automatic Decentralized Allocation of AGVs in a Cellular System
CAD/CAM Robotics and Factories of the Future, 1989
This paper investigates the problem of automatic acquisition of AGV for transporting material, to... more This paper investigates the problem of automatic acquisition of AGV for transporting material, tools, or parts between cells in a cellular system. The cellular system, in question, is a computer integrated manufacturing system consisting of fully automated flexible cells. The planning and control within a cell is done online by a logical cell-controller which itself is regarded as an integral part of the cell. The logical cell-controller is realized by a cluster of one or more dedicated microcomputers.We present decentralized approaches, to AGV allocation problem, for the cases of single/multiple, semi-intelligent/intelligent AGVs.
Heat conduction in heterogeneous materials and irregular boundaries II: A simple and fast algorithm for massively parallel computer
International Communications in Heat and Mass Transfer, 1993
Abstract In an earlier paper [1], a simple model for investigating heat conduction in materials o... more Abstract In an earlier paper [1], a simple model for investigating heat conduction in materials of irregular shapes having heterogeneous thermal conductivity was presented. In this method, referred to as the Effective Parameter for Interfacial cells (dubbed as EPIC) [2], the material is tessellated into cells (square or cubes), a cell with non-uniform thermal conductivity inside it is replaced by a cell with an effective uniform conductivity, and the heat conduction equation is then solved numerically by discretizing in time and space. The implementation of EPIC on a massively parallel SIMD machine (MasParMP-1) is described. Sample results are shown for 2-D and 3-D materials.
The International Journal of Advanced Manufacturing Technology, 1988
The concept O[ d&tributed architectures for automated manufacturing systems is presented here. A ... more The concept O[ d&tributed architectures for automated manufacturing systems is presented here. A modular architecture for a logical cell-controller is proposed where shopfloor level modules are incorporated in the cell control system so as to allow active cooperation for distributed decision making and control. Two examples illustrating distributed formulations for specific planning and control are presented. These examples demonstrate the feasibility and potential for distributed architectures for automated manufacturing.
A distributed and fully symmetric solution is presented for the distributed termination problem. ... more A distributed and fully symmetric solution is presented for the distributed termination problem. In contrast to the existing solutions. the above solution does not require a predesignated process to detect termination. The case of asynchronous communications is also discussed.
Dependability is a central concern in the design of mission critical systems. A major design cons... more Dependability is a central concern in the design of mission critical systems. A major design constraint is that the system cannot be brought down for repair during mission times. A number of alternate designs are possible for a given specification. Alternate designs necessitate evaluation. This requires capturing the system specifications and design alternates in the same formalism. In this paper, we propose an extended I/O automata to specify fault tolerant requirements of dependable mission critical systems. The properties of the behaviors of the extended automaton are capable of capturing temporal properties like deadlines. A composition operator is defined for composing the extended automaton. This framework is then used to specify the fire control system of a combat vehicle and demonstrate the usefulness of the proposed framework for capturing fault tolerance aspects in mission critical systems. 1 Introduction The development of mission critical distributed systems with fault-t...
Specifying fault tolerance in mission critical systems
Real time intelligent systems are being increasingly used in mission critical applications in dom... more Real time intelligent systems are being increasingly used in mission critical applications in domains like military, aerospace, process control industry and medicine. Despite this vast potential, the major concern about deploying mission critical intelligent systems is their dependability. Dependability encompasses such notions as reliability, safety, security, maintainability and portability. A major concern about mission critical intelligent systems is their performance
An Efficient Algorithm for Quiescence Detection in a Distributed System
A message-efficient quiescence detection algorithm is presented that does not employ a pre-define... more A message-efficient quiescence detection algorithm is presented that does not employ a pre-defined ring or tree structure among processes.
Uploads
Papers by Satyendra Rana