Abstract
In the paper we consider a manufacturing cell in which two robots cyclically move along well-defined paths of the workspace area. The concurrent motion of the robots in the common workspace must comply with the physical motion constraints. This implies a necessity of delays which are difficult to predict because the robots progress independently without synchronisation for variable interval of times. Our objective is to develop a technique to formally analyse concurrent behaviour of the robots. In order to model the execution behaviour of the system we use a geometric concurrency model that represents synchronisation constraints in concurrent movement of the robots by the spatial arrangement of line segments in a two dimensional real coordinate system. The model is mapped next to a Diophantine equation and its solution applied in a numeric algorithm that determines the steady state of the system, i.e. the sequence and timing of global states the system passes through during its execution.
This research was supported by KBN grant Design of Intelligent Robotics Systems Based on Knowledge Engineering
Preview
Unable to display preview. Download preview PDF.
References
Abrams, M.: Performance analysis of unconditionally synchronizing distributed computer programs using the geometric concurrency model. Technical Report TR-1696 (1986), Dep. of Comp. Sci., Uni. of Maryland
Abrams, M., Agrawala, A.K.: Exact performance analysis of two distributed processes with one synchronization point. Technical Report CS-TR-1844 (1987), Dep. of Comp. Sci., Uni. of Maryland
Baines, T.D., Harrison, D.K., Vitanov, V.I.: Introducing discrete event simulation into a production project engineering environment. Proc. of the 8th International Conference on System Engineering, Coventry Polytechnic, 12 September 1991, Coventry, U.K., 699–706
Banks, J., Carson, J.S.: Discrete-Event System Simulation. Prentice-Hall, Inc., Englewood Cliffs, NJ (1984)
Jones, B.W.: The Theory of Numbers. New York, Reinehart & Company, Inc., (1955), Ch. 2,3
Hardgrave, W.W., Nemhauser, G.L.: A geometric model and a graphical algorithm for a sequencing problem. Operations Research 11 (1963) 789–900
Szwarc, W.: Solution of the Ackers-Friedman scheduling problem. Operations Research 8 (1960) 782–788
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roszkowska, E. (1996). Performance analysis of a dual robot system using a geometric concurrency model. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034778
Download citation
DOI: https://doi.org/10.1007/BFb0034778
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive