An Algebraization of Hierarchical and Recursive Distributed Processes

AbstractThis work presents a novel approach to the design of a decision-making system for the cluster-based optimization of an evacuation process using a Parallel bi-objective Real-Coded Genetic Algorithm (P-RCGA). The algorithm is based on the dynamic interaction of distributed processes with individual characteristics that exchange the best potential decisions among themselves through a global population. Such an approach allows the HyperVolume performance metric (HV metric) as reflected in the quality of the subset of the Pareto optimal solutions to be improved. The results of P-RCGA were compared with other well-known multi-objective genetic algorithms (e.g., -MOEA, NSGA-II, SPEA2). Moreover, P-RCGA was aggregated with the developed simulation of the behavior of human agent-rescuers in emergency through the objective functions to optimize the main parameters of the evacuation process.

Download Full-text

Comparative study on monitoring schemes for non-Gaussian distributed processes

Journal of Process Control ◽

10.1016/j.jprocont.2016.08.007 ◽

2018 ◽

Vol 67 ◽

pp. 69-82 ◽

Cited By ~ 15

Author(s):

Gang Li ◽

S. Joe Qin

Keyword(s):

Comparative Study ◽

Distributed Processes ◽

Non Gaussian

Download Full-text

Verification of visibility-based properties on multiple moving robots in an environment with obstacles

International Journal of Advanced Robotic Systems ◽

10.1177/1729881418786657 ◽

2018 ◽

Vol 15 (4) ◽

pp. 172988141878665 ◽

Cited By ~ 1

Author(s):

Ali Narenji Sheshkalani ◽

Ramtin Khosravi

Keyword(s):

State Space ◽

Autonomous Robots ◽

The State ◽

Robot System ◽

Discrete State ◽

Verification Method ◽

Distributed Processes ◽

Analytical Proof ◽

Motion Strategy ◽

Multi Robot

A multi-robot system consists of a number of autonomous robots moving within an environment to achieve a common goal. Each robot decides to move based on information obtained from various sensors and gathered data received through communicating with other robots. In order to prove the system satisfies certain properties, one can provide an analytical proof or use a verification method. This article presents a new notion to prove visibility-related properties of a multi-robot system by introducing an automated verification method. Precisely, we propose a method to automatically generate a discrete state space of a given multi-robot system and verify the correctness of the desired properties by means of model-checking tools and algorithms. We construct the state space of a number of robots, each moves freely inside a bounded polygonal area with obstacles. The generated state space is then used to verify visibility properties (e.g. if the communication graph of robots is connected) by means of the construction and analysis of distributed processes model checker. Using our method, there is no need to analytically prove that the properties are preserved with every change in the motion strategy of the robots. We have implemented a tool to automatically generate the state space and verified some properties to demonstrate the applicability of our method in various environments.

Download Full-text

A Decision Framework for Decentralized Control of Distributed Processes

Advances in Systems Analysis, Software Engineering, and High Performance Computing - Architectures and Frameworks for Developing and Applying Blockchain Technology ◽

10.4018/978-1-5225-9257-0.ch001 ◽

2019 ◽

pp. 1-27

Author(s):

Paul Robert Griffin ◽

Alan Megargel ◽

Venky R. Shankararaman

Keyword(s):

Business Process ◽

Decentralized Control ◽

Decision Framework ◽

Trade Finance ◽

Price Distribution ◽

File Transfers ◽

Distributed Processes ◽

Distributed Process ◽

Pros And Cons ◽

Competing Technologies

A typical example of a distributed process is trade finance where data and documents are transferred between multiple companies including importers, exporters, carriers, and banks. Blockchain is seen as a potential decentralized technology that can be used to automate such processes. However, there are also other competing technologies such as managed file transfers, messaging, and WebAPIs that may also be suitable for automating similar distributed processes. In this chapter, a decision framework is proposed to assist the solution architect in deciding the technology best suited to support decentralized control of a distributed business process where there are multiple companies involved. The framework takes as input the different areas of concern such as data, processing, governance, technical, and the pros and cons of the technologies in addressing these areas of concerns and provides a method to analyze and highlight the best technology for any process in question. Two example processes, trade finance and price distribution, are used to show the application of the framework.

Download Full-text