Search
Search Results
-
Deadlock avoidance based on connectivity detection and dynamic backtracking for path planning
The main purpose of this paper is to solve the deadlock problem encountered by the algorithm in robot path planning, so as to improve the efficiency...
-
On-line Deadlock-free Planning of N-industrial-robot Arms With Independent Controllers Using Advanced Esca** Method
This work presents an on-line deadlock avoidance system for N-industrial-robot arms utilizing an advanced esca** method. Robots within the same...
-
Novel Deadlock Control for Smartphone Manufacturing Systems Using Petri Nets
Currently, the marketing strategy in the manufacturing industry is becoming more and more competitive. Thus, the production efficiency becomes the...
-
A Survey of Deadlock Detection Algorithms
A deadlock is a situation in which two processes which share the identical resource are dependent on one another and prevents each other from...
-
Deadlock Detection in OpenPEARL
OpenPEARL is an open source build system for PEARL, a DIN-standard programming language designed for building multitasking and real-time...
-
Routing Deadlock Problem in Certain Orthogonal Switches and Its Solvent
High-radix interconnection networks are one of the current hot spots in studying high-performance interconnection networks, and the switch fabric...
-
On the Design and Performance Analysis of Deadlock Controller for Automated Manufacturing Systems with Unreliable Resources
Deadlock problems in highly automated manufacturing system (AMS) have recently received considerable interest from both industry and academia. In...
-
Deadlock Analysis and Resolution for Multi-robot Systems
Collision avoidance for multirobot systems is a well studied problem. Recently, control barrier functions (CBFs) have been proposed for synthesizing...
-
An Agent-Based Simulation Model for Deadlock Prevention in an Aisle-to-Aisle SBS/RS
Flexibility and high throughput rate in storage and retrieval systems are essential criteria in today’s competitive marketing. Recent developments in...
-
ACRA: Adaptive meta-heuristic based Clustering and Routing Algorithm for IoT-assisted wireless sensor network
Opportunistic routing is crucial for the development and management of an efficient and flexible network in Internet of Things (IoT) assisted...
-
Deadlock and Collision Avoidance in Railway Networks with Dynamic Routing: A Petri Net Approach with Partial Controllability and Observability
This paper proposes a deadlocks and collision-free train control synthesis. The proposed control routes dynamically the trains in a railway node...
-
A New Multi-resource Deadlock Detection Algorithm Using Directed Graph Requests in Distributed Database Systems
In distributed system, a single database is spread physically across computers in multiple locations called distributed database. One of the most...
-
Enhanced Vehicle Detection Mechanism for Traffic Management in Smart Cities
Nowadays Road traffic is a major issue in develo** and under-develo** countries. With the rampant increase in traffic, society faces major...
-
Ant Colony Algorithm for Path Planning Based on Grid Feature Point Extraction
Aimed at the problems of a traditional ant colony algorithm, such as the path search direction and field of view, an inability to find the shortest...
-
Related Work on Deadlock and Termination Detection Techniques
Because many deadlock detection techniques evolved, even the concept of deadlock varies across papers.
-
Novel Approach to Identify and Eliminate Deadlocks in the ‘C’ Program
The programming system of any organization comprises various types of interrelationships, like period dependency, sequence dependency, called-calling...
-
Formal Modeling and Verifying Dubbo Using Process Algebra
Dubbo is a high-performance, lightweight Java Remote Procedure Call (RPC) framework developed by Alibaba, which provides interface-oriented remote...
-
Formal verification of reconfigurable systems
Automation is one of the foremost technological trends in mining. Automation empowers mining companies to work around the clock and maximize...
-
Deadlock Detection Examples: The Dedan Environment at Work
The example of deadlock detection is presented for the system in which two distributed computations, each one running on its own server, use two...
-
A Priority Inheritance Centered Locking Protocol for DRTDBS
In distributed real-time applications, the static 2 Phase Locking with High Priority (S2PL-HP) protocol may resolve data conflict(s) among...
