Hybrid Simulation-Emulation Model: AGVS Example

Volume 3 ◽  
2004 ◽  
Author(s):  
Khalid Hasnan ◽  
Terrence Perera

Simulation and emulation have several salient contrasting functions and features. They include different aims, levels of details, execution time and integration of models. In many cases, a project will require both a simulation model for initial analysis and development, as well as an emulation model for testing a control system. If this is the case, a copy of the simulation model can be used as a starting point for developing the emulation model. Hybrid simulation-emulation model, one that is used for both purposes should have a facility to switch off/on certain elements from the model as necessary. There is much published work in simulation and a dearth of work in emulation. To date there has been no work published in converting a simulation into emulation model. This paper describes a novel approach, which combines both attributes, and is illustrated using a case study based on an Automated Guided Vehicle System (AGVS).

Author(s):  
Stephan Jürgens

The starting point for this article is an artist-led practice developed by choreographer João Fiadeiro during the past two decades, which has been designated as "Composition in Real Time" (CTR). The interesting point about this methodology is that it has been applied in performance composition and in arts education by its author himself; but also in such diverse fields as anthropology, sociology, neurosciences, and economy by scientists and academics in collaboration with Fiadeiro. The authors of this article have conducted a long-lasting case study on the artistic process of Fiadeiro in the framework of an ERC-funded interdisciplinary arts and cognition project. We present our resulting novel approach to researching contemporary dance work through the creation and production of animated infographic films. Along with leading PaR theorists we argue that the utilization of adequate artistic techniques and methods in academic research can successfully reveal how unique creative ideas and conceptual structures come into being in the creative processes of today's contemporary artists. The article discusses specific excerpts of the provided animated infographic films to show how we digitally re-constructed Fiadeiro’s conceptual and imaginative universe, and how our findings can address both an academic and interested lay audience. SOLOS study: I am sitting in a different room you are in now from BlackBox Art&Cognition on Vimeo. SOLOS study: I was here from BlackBox Art&Cognition on Vimeo. Graphic models developed by João Fiadeiro from BlackBox Art&Cognition on Vimeo.


Water ◽  
2018 ◽  
Vol 10 (9) ◽  
pp. 1110 ◽  
Author(s):  
Stanislav Paseka ◽  
Zoran Kapelan ◽  
Daniel Marton

This paper presents and assesses a new approach to decision-making methods for the design of new reservoirs due in times of decreasing water resources. The methods used in this case are decision theory, Resilience and Robustness method. The methods have been selected primarily to analyze different design parameters of a new dam, mainly dam heights leading to different reservoir volumes. The study presents a novel approach to the optimal design of a multipurpose reservoir that would provide enough water for downstream environmental flow, residential and industrial water supply, agricultural water supply, and hydropower generation in the current conditions of climate uncertainty. Uncertainties are interpreted as possible future changes in the climate system using outputs from regional climatic models. In the case study, a simulation model was developed which is able to quantify long-term water balance and use this data to quantify resilience and robustness of its water supply. The simulation model was correlated to the GANetXL software in order to perform Genetic Algorithms based optimization of the reservoir’s operation. The simulation–optimization model was then applied to a real-life case study in the Czech Republic, in the Morava River Basin where a new dam with the multipurpose reservoir is planned to be built in the future. The results obtained in this way were analyzed in detail to identify the overall best solution consist of dam height and the total reservoir monthly outflow and new operational rules for the analyzed multipurpose reservoir.


2014 ◽  
Vol 2014 ◽  
pp. 1-10
Author(s):  
Jie Zhang ◽  
Yuntao Peng ◽  
William N. N. Hung ◽  
Xiaojuan Li ◽  
Jindong Tan ◽  
...  

This paper considers a hybrid I/O automata model for an automated guided vehicle (AGV) system. A set of key properties of an AGV system are characterized for the correctness of the system. An abstract model is constructed from the hybrid automata model to simplify the proof of the constraints. The two models are equivalent in terms of bisimulation relation. We derive the constraints to ensure the correctness of the properties. We validate the system by analyzing the parameters of the constraints of the AGV system.


2019 ◽  
Vol 26 (4) ◽  
Author(s):  
Mariana Mello Pereira ◽  
Luiza Lavocat Galvão de Almeida Coelho ◽  
Gladston Luiz da Silva ◽  
Yanne Souza Alves Cunha

Abstract This work was the result of a cooperation agreement between the University of Brasilia (UnB) and a security organization. Its goal was to model the logistic processes of the company to assist in the modernization of a control system for the management of materials. The project was managed in a dynamic model, through the monitoring and control of activities executed during its various stages. The development of a control system enabled the detection of discrepancies between what was planned and how it was performed, identifying its causes and which actions to take to ensure that the project got back on track according to the planned schedule and budget. The main objective of this article was to identify which elements controlled by the project affected its execution time. With that knowledge, it was possible to improve the planning of the next phases of the project. To this end, we performed a case study of exploratory aspect and quantitative nature to provide information on the object and guide the formulation of hypotheses. The qualitative analysis of the execution time of the modeling identified two dependent variables - systematic version and team - out of the four evaluated. The quantitative analysis studied two variables - number of modifications and number of elements -, which did not indicate evidence of correlation with the aforementioned time.


2019 ◽  
Vol 14 (3) ◽  
pp. 204-228 ◽  
Author(s):  
Erfan Hassannayebi ◽  
Mehrdad Memarpour ◽  
Soheil Mardani ◽  
Masoud Shakibayifar ◽  
Iman Bakhshayeshi ◽  
...  

2013 ◽  
Vol 196 ◽  
pp. 181-188 ◽  
Author(s):  
Jerzy Zajac ◽  
Grzegorz Chwajoł ◽  
Tomasz Wiek ◽  
Krzysztof Krupa ◽  
Waldemar Małopolski ◽  
...  

The paper presents an automated guided vehicle transportation subsystem used for work-in-process movement, built at the Production Engineering Institute of Cracow University of Technology. It describes design and operational parameters of built vehicles as well as the principles of integration of AGV control subsystem with the AIM multi-agent manufacturing control system. Furthermore, results of the verification of applied path-finding, anti-collision and anti-deadlock algorithms are included.


Sign in / Sign up

Export Citation Format

Share Document