Model-Based Research for Aiding Decision-Making During the Design and Operation of Multi-Load Automated Guided Vehicle Systems

Yan, Rundong; Dunnett, Sarah J.; Jackson, Lisa M.

doi:10.1016/j.ress.2021.108264

Cited by 15 publications

(3 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Furthermore, studies can be found in which the vehicle loading capacity is varied. Examples are provided by [23] and [24]. Reference [23] studied the maintenance strategies for multi-load AGVs.…”

Section: E Fleet Sizingmentioning

confidence: 99%

See 1 more Smart Citation

Classified AGV Material Flow and Layout Data Set for Multidisciplinary Investigation

Sperling,

Schulz,

Enke

et al. 2023

IEEE Access

View full text Add to dashboard Cite

Automated Guided Vehicles (AGV) are increasingly used in industry to automate material flow tasks. To efficiently operate systems of AGVs, researchers have proposed many different planning and control methods, e.g., for scheduling, dispatching, and routing. The performance of these methods depends on the characteristics of the system, such as transport distances and station operation frequencies. Even though these characteristics strongly influence the algorithms, no classified collection of layout data was found based on a scientific literature review. In this paper, a data set of 72 material flow and layout compositions from the scientific literature (42) and German industry (30) is presented. Each composition in the data set consists of a transport matrix and a distance matrix. To classify the compositions, a holistic taxonomy was established based on distinguishing criteria for material flow and layout compositions known from the scientific literature. The compositions were classified according to the taxonomy. An analysis of the station operation frequency and transport distance distribution data reveals typical characteristics of the compositions as well as variations between the classified compositions. The aim of this data set is to allow benchmarking of planning and control methods, thus increasing the transparency and traceability of scientific work. Furthermore, the analysis of the layouts and their taxonomy allows to compare the methods of different disciplines. By providing standardized, machine readable formats, automatic testing and optimization will be possible.

show abstract

Section: E Fleet Sizingmentioning

confidence: 99%

“…Examples are provided by [23] and [24]. Reference [23] studied the maintenance strategies for multi-load AGVs. The number of vehicles as well as the vehicle capacity were varied.…”

Section: E Fleet Sizingmentioning

confidence: 99%

Classified AGV Material Flow and Layout Data Set for Multidisciplinary Investigation

Sperling,

Schulz,

Enke

et al. 2023

IEEE Access

View full text Add to dashboard Cite

show abstract

“…Through the application of Petri Net, researchers and engineers can establish system models, and apply techniques such as model checking, state space analysis, and performance optimization for verification and analysis. In the intelligent networked vehicle system, Petri Net can be used to establish the behavior model of the system, describing the interaction and concurrent operation among vehicles, sensors, communication modules and control algorithms [24][25][26]. The performance and correctness of the system can be deduced by analyzing the state transition and transition trigger conditions of Petri Net.…”

Section: Introductionmentioning

confidence: 99%

A refinement and abstraction method of the SPZN formal model for intelligent networked vehicles systems

2024

KSII TIIS

View full text Add to dashboard Cite

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

show abstract

Approach for Scheduling Automatic Guided Vehicles Considering Equipment Failure and Power Management

Fan,

Jiang

2023

J. Marine. Sci. Appl.

View full text Add to dashboard Cite

Model-Based Research for Aiding Decision-Making During the Design and Operation of Multi-Load Automated Guided Vehicle Systems

Cited by 15 publications

References 43 publications

Classified AGV Material Flow and Layout Data Set for Multidisciplinary Investigation

Classified AGV Material Flow and Layout Data Set for Multidisciplinary Investigation

A refinement and abstraction method of the SPZN formal model for intelligent networked vehicles systems

Approach for Scheduling Automatic Guided Vehicles Considering Equipment Failure and Power Management

Contact Info

Product

Resources

About