Complete coordination of robotic fiber positioners for massive spectroscopic surveys

05/21/2020 ∙ by Matin Macktoobian, et al. ∙ EPFL 0

Robotic fiber positioners play a vital role in the generation of massive spectroscopic surveys. The more complete a positioners set is coordinated, the more information its corresponding spectrograph receives during an observation. The complete coordination problem of positioners sets is studied in this paper. We first define the local and the global completeness problems and determine their relationship. We then propose a new artificial potential field according to which the convergences of a positioner and its neighboring positioners are cooperatively taken into account. We also discover the required condition for a complete coordination. We finally explain how the modifications of some of the parameters of a positioners set may resolve its incompleteness coordination scenarios. We verify our accomplishments using simulations.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 6

page 23

page 24

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Automation222Throughout this paper, scalars and matrices are represented by regular and bold symbols, respectively. and robotics have been at the service of space applications for a long time to accomplish different tasks including cargo transportation [9], instrumentation [25], exploration [15], etc. A well-known example is the mobile servicing system [26] mounted at the international space station. This manipulator system executes critical on-orbit assembly tasks and contributes to the external maintenance of the station. Space rovers [8, 12, 13] represent another category of robotic artifacts which have been extensively used in planetary exploration missions. Observational astronomy benefits from the space robotics as well. Because of the high costs and the safety-critical nature of space applications, autonomy has been taken into account from the earlier days of the space age for orbital observation purposes. For example, the free flyer engineering gave rise to the realization of advanced space telescopes [22]. On the other hand, the primary control systems corresponding to ground telescopes were relatively simple, and the level of the required autonomy was not as complicated as that of space telescopes. However, the requirements of recent observation projects need the development of the ground telescopes with higher degrees of autonomy and functional efficiency. In particular, the current trend of astronomy seeks the generation of the whole map of the observable universe using ground telescopes. Supplied with such a cosmological blueprint, geometrical characterization of the universe facilitates the better understanding of the expansion of the universe and the distribution of dark energy all over it. For this purpose, the generation of sky surveys based on the spectroscopic approaches [18] has been taken into account.

Traditional telescopes have successfully supported observational operations. However, new requirements of the astronomy, as explained above, require the ground telescopes to contribute to the collection of spectroscopic surveys in a more versatile manner. “SLOAN Digital Sky Survey” (SDSS) [30] is a set of projects which aim to develop new telescopes observing the evolution of the universe based on cosmic multi-object spectrographs[31, 5]. The current generation of this project is SDSS-V[11] which is under active development. In particular, a spectrograph[27] potentially encompasses thousands of optical fibers located at the focal plane of a host telescope in a specific geometrical configuration. Each optical fiber is assigned to a specific target in the sky to be observed by collecting a particular range of the electromagnetic spectral information, particularly visible light, corresponding to that target. The desired range may be visible light, infra red, etc. Since each observation assigns a different target to an optical fiber, a planar RR robotic positioner system is attached to each optical fiber to rotationally move it and to reach its target position located at its configuration space. To maximize the number of the observed objects during each observation, one would like to maximize the number of the mounted fiber positioners at the focal plane of their host telescope. Such a dense hexagonal formation of positioners gives rise to a non-trivial coordination problem for their trajectory planning and collision avoidance.

Reconfiguration [23] refers to the systematic switchings of various configurations of a system each of which exhibits a specific set of functionalities. In particular, coordination problem is a specific subclass of the reconfiguration problem which is vastly studied in different areas including power systems [1], hybrid systems [29], discrete-event systems [14], consensus of multi-agent systems [21], etc. Supervisory control theory[24] was used to seek complete coordinations of robotic fiber positioners[10]

. The major hurdle to use this approach is the curse of dimensionality when the size of a robotic fiber positioners system grows. Then, the required processing is not practically feasible to find a complete solution.

To be specific, the coordination of robotic fiber positioners is challenging because any solution to this problem has to fulfill some critical requirements in both spatial and temporal perspectives. In particular, positioners are often arranged in hexagonal formations, so each positioner neighbors 6 other peers. Furthermore thanks to the applied miniaturization to the manufacturing process of small positioners [6], the workspace of a positioner overlap those of its neighboring positioners. Thus, the collision avoidance rises as a major issue to be solved. On the other hand, the on-time coordination of the positioners set is desired after finishing a specific observation to point to the objects of the next observation. Since each observation is extremely time-dependent, the coordination of the system shall be executed in a limited amount of time between two successive observations. Thus, the solution to the coordination problem of robotic fiber positioners has to be both reliable against collisions and efficient in view of performance.

The solutions to the trajectory planning and the collision avoidance problems directly depend on the number and the mechanical specifications of the used positioners in a particular subproject of the SDSS project. For example in the case of the “The Dark Spectroscopic Instrument” (DESI) [2, 3] project, an artificial potential field (APF) approach is proposed to solve the collision-free trajectory planning of positioners. This method uses a decentralized navigation function based on the notion of artificial potential fields. In particular, the arms of the positioners used in this project are long enough to enter the workspace of any neighboring positioners. However since the contentions are not considerable, all the positioners can converge to their target positions. In other words, the positioners of the DESI project compose a complete system. In contrast, the completeness is not realized in the case of ”The Multi Object Optical and Near-infrared Spectrograph” (MOONS) [4] project. In this case, the length of the second arm of each positioner is two times longer than those of the positioners of the DESI project. To solve the trajectory planning problem associated with the MOONS project, the planning algorithm was modified [28] to take two subjects into account. First, not every colliding situations is managed by the navigation function. So, a priority-based decision-making layer was added to the decentralized navigation function to handle deadlocks and oscillations which could not be handled by the navigation function. Based on this approach, the positioners which are assigned to more important objects are prioritized in the coordination of the system. Thus, some positioners may not reach their target at all. The algorithm cannot generally coordinate the system such that all positioners reach their target positions. In other words, the coordination problem is not complete with respect to the solutions of this algorithm. Complete coordination leads to the collection of the full information which is planned to be collected during an observation. However, no analysis has been yet applied to explore the conditions based on which a solution to a coordination problem of positioners is complete. This gap opens an avenue for the potential modification of the current coordination algorithm to realize the complete coordination of positioners.

In this paper, we formally analyze and solve the complete coordination problem associated with robotic optical fiber positioners. We obtain a completeness condition whose fulfillment guarantees the complete coordination. The remainder of the report is organized and follows. Sec. 2 briefly reviews the mechanical specifications of a typical positioner. Sec. 3 establishes the global completeness problem whose solution shall guarantee the convergence of all positioners of a telescope. We then define the local completeness problem corresponding to the convergence of a positioner and all of its neighboring positioners. In particular, we take a distributed scheme into account to show that given a set of positioners, if all local completeness problems corresponding to neighboring region of the system are complete, then the overall system is globally complete. Sec. 4 proposes a new class of artificial potential fields, i.e., cooperative artificial potential fields (CAPFs). The advantage of a CAPF compared to an APF is that the attractive term of the CAPF considers not only the convergence of its own positioner agent but also the convergence of its neighboring positioners. Thanks to the proved solvability of the global completeness problem based on the completeness of its local completeness problems, Sec. 5.1 obtains the required condition for the solvability of the local completeness problem. Sec. 5.2 establishes a strategy for completeness seeking when a system of positioners is incomplete with respect to a particular set of parameter specifications of the system. In these situations, we indeed propose to modify the paramaters corresponding to the specification of the system’s CAPFs and/or the definition of the desired observation to resolve the encountered incompleteness. Sec. 6 compares CAPF to APF in view of the properties of the navigation process such as computational complexity and convergence time. We evaluate our accomplishments by simulations in Sec. 7. Our concluding remarks are finally drawn in Sec. 8.

2 Mechanical Characterization

This section follows a top-down approach to briefly introduce cosmic spectroscopy and robotic fiber positioners. In particular, we first study the process of observation based on spectrographs. We particularly describe the role of robotic fiber positioners in the quoted process. Then, we present details about the mechanical structure of a typical robotic fiber positioner and its kinematic formulation.

[scale=1.3]1.pdf

Figure 1: The schematic of a telescope equipped with a robotic optical fiber positioner

Massive spectroscopic surveys are generated by collecting spectral information coming from massive sets of objects by telescopes. Then, the information is processed by a spectrograph to construct a unified map of those objects. Fig. 1 illustrates a typical observation task of a single robotic fiber positioner. In particular, a string of optical fiber is passed through a robotic positioner. The tip of the optical fiber can be moved by the motors of the robotic positioner to point to a specific object in the sky. The robotic positioner is mounted at a curved plate called focal plane inside the telescope. At the back of the focal plane, the optical fiber is connected to a spectrograph. Fianlly, the spectrograph processes the received signal from the tip of the fiber which yields the generation of the desired map.

Each positioner is a planar RR manipulator whose end-effector shall reach the point at which its fiber has to observe an object based on a particular observation. The forward kinematics corresponding to the workspace of each positioner is described as below.

(1)

Here the th positioner is located at with respect to a universal frame attached to the focal plane of the host telescope. is also the base coordination of the positioner. The lengths of rotational links are represented by . The angular positions of the th positioner are denoted by and . The quoted parameters are depicted in Fig. 2(a). Fig. 2(b) illustrates the positioners placement in the focal plane of a typical telescope.

[scale=1]2.pdf

Figure 2: A typical robotic optical fiber positioner system (reprinted from [11] with permission). (a) The RR design of a typical positioner. (b) The hexagonal arrangement of a set of positioners in a focal plane of a telescope

The focal plane area of a telescope is composed of a set of fiber positioners as depicted in Fig. 2(b). Each observation includes a set of target objects each of which should be observed by a fiber positioner. A system of positioners is called completely coordinated (or complete) if all assigned positioners can be aligned to point to their targets as depicted in Fig. 3(a); otherwise the system is partially coordinated (or incomplete) as rendered by Fig. 3(b). Completeness does matter since the information throughput of an observation is maximum when its observing positioner system is completely coordinated. In the next section, we formally define the completeness problem to be later solved in upcoming sections.

[scale=1]3.pdf

Figure 3: The visual illustration of the notion of completeness (The black circles represent the target spots corresponding to the postioners.). (a) A typical incomplete coordination. (b) A complete coordination example

3 From Local to Global Completeness

In this section, we define the global and the local completeness problems. We then show that the solvability of a global completeness problem is equivalent to the solvability of all the local completeness problems associated with it.

We first define the notions of “position”, “target position”, and ”equilibrium position“ corresponding to a positioner as follows.

DefinitionDefinition 1 [Position].

Let be the set of all the positioners associated with a telescope. Given a positioner , denotes the (planar) position of .

DefinitionDefinition 2 [Target Position].

Let be the set of all the positioners associated with a telescope. Given a positioner , represents the target position at which is planned to reach according to a specific observation.

DefinitionDefinition 3 [Equilibrium Position].

Let be the set of all the positioners associated with a telescope. Given a positioner , represents the equilibrium position at which resides at the end of the coordination process.

DefinitionDefinition 4 [Index Set].

Let be the set of positioners. Then, is the index set of denoting the set of all the indices of the elements of as follows

where operator returns the index of its arguments.

Now we define the “global completeness problem” as follows.

ProblemProblem 1 [Global Completeness].

Subject to a set of positioners and its corresponding index set , determine whether or not the following relation holds.

Because of the dense hexagonal arrangements of positioners in a focal plane, the direct solution to the problem above would be difficult. Instead, we define a local version of the completeness problem, and we show that how the solutions to a set of local completeness problems end up with the solution to the global completeness problem corresponding to them. For this purpose, we first define the notion of ”neighborhood” with respect to a specific positioner.

DefinitionDefinition 5 [Neighborhood].

Let be the set of all the positioners associated with a telescope. Let be a positioner. Given denoting the neighboring positioners of , is the neighborhood with respect to defined as follows

The following definition establishes the “local completeness problem”.

ProblemProblem 2 [Local Completeness].

Let be the set of all the positioners associated with a telescope. Subject to the neighborhood with respect to a positioner , determine whether or not the following holds.

Using the definition above, we establish the notion of “completeness relation”

DefinitionDefinition 6 [Completeness Relation].

Let be the set of all the positioners associated with a telescope. Let also be a neighborhood with respect to the positioner . Then, if is locally complete, then the following relation holds.

As well, given the set of all neighborhoods corresponding to positioners set , if is globally complete then holds.

We prove the following property of the completeness relation which is subsequently used to show the relationship between the notions of local and global completeness.

Lemma 1.

Completeness relation is closed under countable union operator.

Proof.

Let and be two locally complete neighborhoods with respect to positioners and , respectively, i.e., and hold. Then, the following two cases shall be mutual exclusively considered.

  • and are not adjacent to each other, say,

    Accordingly, there is no interaction between the quoted neighborhoods. So, the every positioner also reaches its target position after the unification of the neighborhoods. Therefore, the resulting union in complete.

  • and are adjacent to each other, say,

    In a hexagonal arrangement of positioners, the minimum and the maximum numbers of the shared positioners333The maximum number of the shared positioners varies with respect to the lengths of the positioners’ arms. The reader finds a thorough analysis of the cited relationship in [7] between two adjacent neighborhoods are 1 and 3, respectively. Considering the minimum case, let be the shared positioner, so it is the the exclusive positioner which can potentially disturb the overall completeness of and . However according to the assumption of the completeness of both neighborhoods, shall reach its target in view of both neighborhoods. Thus, the unification of the neighborhoods is complete. The similar argument is valid to justify the completeness of the unified system of complete neighborhoods where the number of shared events is 2 or 3, as well.

Finally, the following theorem uses Lemma 1 to state how the local and the global completeness problems are related to each other.

Theorem 2.

Let be the set of all neighborhoods to which the positioners of a telescope are assigned. So, if all neighborhoods are locally complete, then the overall system of the positioners is complete, i.e.,

Proof.

By induction, we show that the proof is a consequence of Lemma1. In particular, let be the number of the neighborhoods. Then, we have

  • base case: , say, the positioners set includes only one (complete) neighborhood. So, the overall system is obviously complete.

  • induction step: suppose the system with is complete, i.e., holds. We show that the system with has to be complete. In particular given complete neighborhood , since the completeness relation is closed under countable union operator (see, Lemma 1), hence we have

    which concludes the global completeness of the positioners set.

we later (see, Sec. 5) analyze the completeness condition for local systems. Thanks to the result of Theorem 2, if the conditions corresponding to the completeness of all of the neighborhoods are hold, then the global system is also complete. In the next section, we rewrite the definitions of the local and the global completeness problems in the language of artificial potential fields (APFs). Then, we revise the formulation of the decentralized navigation function, used in priority-based coordination method [28]. So, the equilibrium of the new APF could represent the complete result of a coordination process. We then uncover the condition for the existence of a solution to the local completeness problem.

4 Cooperative Artificial Potential Fields

In this section, we first explain our motivation to define a new type of APFs, called “cooperative artificial potential field” (CAPF). In particular, we elaborate on the effect of an APF on the completeness of the coordination process. In particular, Sec. 4.1 clarifies our angle of attack to tackle the completeness problem. Then, we formally introduce our proposed CAPF in Sec. 4.2. We also reformulate the local and the global completeness problems using the notion of CAPF.

4.1 Motivation

The priority-based algorithm [28] uses a two-layer competitive architecture to solve the coordination problem, as depicted in Fig. 4.

[scale=1.3]4.pdf

Figure 4: The competitive control architecture of the priority-based coordination

Let and be positive constant weighting factors. Let also be the radius of the collision avoidance envelope in which the repulsive term is activated. also represents the radius of the safety region around each positioner. Then, we define

Thus, the definition of the reference APF used in [28] is represented as follows

(3)

One notes that the attractive term above exclusively takes the convergence of the positioner into account. So, the APFs corresponding to different positioners in fact compete with each other because each artificial potential field only cares about the convergence of its own affiliated positioner. Since a positioner does not care about the convergence of its neighbors, this competitive manner of navigation potentially gives rise to the incomplete coordination of the overall system of positioners.

Instead, we propose a cooperative scheme based on which each positioner not only seeks its own convergence, but also cares about the convergence of its neighboring counterparts. Thus, the competitive architecture can be modified based on this cooperative perspective as depicted in Fig. 5.

[scale=1.3]5.pdf

Figure 5: The cooperative control architecture of the complete coordination

4.2 Formulation

We embed a particular attractive term in the definition of the reference APF (see, Eq. (3)) to realize the cooperation between neighboring positioners to reach collective convergence to their target spots. Let be a positive weighting factor corresponding to the cooperative attractive term. Let also (resp. ) be the target position of (resp. ). Then considering

we define a CAPF into which a cooperative attractive term is integrated as follows.

(4)

The cooperative attractive term inserts extra dynamics to the reference APF to involve all positioners of a neighborhood in the convergence process. A rough guideline to set the value of is for two reasons. First, each CAPF instance should mainly focus on the convergence of its corresponding positioner. So, one selects a larger weighting factor for the main positioner to insure that the main portion of the attractive force of its corresponding CAPF comes from that positioner. Second, in fact injects the velocity profile of the neighboring positioners to that of the main positioner. Any large values corresponding to those velocity profiles may give rise to abrupt motions imposed to the main positioner. Such unwanted and uncontrolled motions may not only damage the main positioner’s actuators but also leave it vulnerable to potential collisions.

We are interested in the conditions based on which a solution to a specific coordination problem is complete. Thus, we formulate the local and the global completeness problems in the language of CAPF. In particular, the equilibrium points for all positioners in a neighborhood shall be their target points. Since the positioners exclusively stop moving at their target points, one needs to obtain the equilibrium points corresponding to the derivative of CAPF as follows.

(5)

According to the forward kinematic model of a typical positioner, i.e., (1), and the CAPF defined in (4), the control law below is proposed to be applied to the joints of the positioner .

Now we can compose the CAPF-driven formalism of the local and the global completeness problems as follows.

ProblemProblem 3 [Local Completeness (CAPF Derivation)].

Let be a neighborhood with respect to the positioner where . Then, the neighborhood is locally complete coordinated by a set of CAPFs if the following differential equations are simultaneously solvable.

The global completeness problem is the generalization of the local completeness problem above as below.

ProblemProblem 4 [Global Completeness (CAPF Derivation)].

Let be the set of all positioners of a telescope. Then, the overall system is globally complete coordinated by a set of CAPFs if the following differential equations are simultaneously solvable.

RemarkRemark 1 [].

Each CAPF has one exclusive minimum because it is a smooth Morse function [19], it is uniformly maximal on boundaries of a free space, and it has a unique minimum at a target point in its free space [17]. Then, if Eq. (3) (resp., Eq. (4)) is solvable, then its solution is essentially (resp., ).

In the next section, we find the conditions for guaranteed solvability of the local and the global completeness problems.

5 Completeness Analysis

The preceding section revealed that the solutions to all local completeness problems are the keys to determine whether the global completeness problem corresponding to those problems is solvable. Here Sec. 5.1 focuses on the required condition for the completeness of a neighborhood. Then, Sec. 5.2 discusses a procedure based on which completeness is sought regarding a system of positioners which is not complete according to a particular set of parameters.

5.1 Completeness Condition

We take a typical isolated neighborhood with the maximum number of positioners, say, . We also consider the maximum contention between the positioners of the neighborhood. In particular, we assume that two neighboring positioners, e.g., and , are at the collision zone of the central positioner, i.e., . The remaining four positioners are assumed to be residing at each other’s collision zones in a pair-wise manner, say, and , and and . Fig. 6 represents the configuration of the neighborhood, in which the regions with the same color correspond to those positioners which are suspected to collide and to block each other’s movements. This scenario is the most collision-susceptible case to reach the full completeness for the explained neighborhood.

[scale=0.4]6.pdf

Figure 6: The arrangement of positioners in a typical neighborhood subject to the maximum contention (The regions with the same color correspond to those positioners which are suspected to collide and to block each other’s movements.)

According to Problem 3, we need to find the solutions which simultaneously fulfill the following set of equations.

(6)

Using Eq. (5), we expand Eq. (6) as follows.

To compact the set of equations above, we define the following auxiliary function

and the constant parameter below

which yield

The equations set above can be written as follows

whose compact form reads

The entries of above include function which is nonlinear. We note that both positioners monotonically head to their target points. So as an approximation, we linearize this function at the point whose coordinates are the average of the target positions’ coordinates associated with the arguments of the function. Put differently, we linearize at which is the closest point to both positioners. Thus, the Newton method gives the following approximation for .

Taking the auxiliary constant parameters below into account

(5.1) is simplified as below

Therefore, the linearized version of , i.e., , is obtained as the following:

where

We replace in Eq. (5.1) by its linear approximation .

Thus, we end up with

(8)

Now, we can analyze the solvability of the local completeness problem based on Eq. (8), called the completeness equation. For a system of positioners to be complete, this equation has be solvable, and its solution has to be the target points corresponding to the positioners of the system. In particular, a system is complete if the following equation holds

otherwise, it is incomplete.

The completeness equation asserts that the completeness of a system of positioners depends on the parameters that are set by designers. Thus, modification of those parameters may resolve any potential incompleteness. For this purpose, in the next section we propose a parameter modification process to search for completeness encountering an incomplete system.

5.2 Completeness Seeking by Parameter Modification

As the completeness equation implies, the parameters which shape and directly influence on the completeness of system. Strictly speaking, parameter selections may give rise to incompleteness. So, one can take two approaches into account to search for the parameters based on which the system is complete. Considering an incomplete system with respect to a particular parameter specification, we modify entries of and/or to search for the other parameter specifications based on which the system is complete.

Matrix is structured by the attractive and the cooperative attractive terms of CAPFs. So, if a system is incomplete, one can change the values corresponding the weighting factors of the cited terms. So, the overall summation of the and might be invertible. Theoretically, there are infinitely many numbers which can be attributed to the weighting factors. So, there is no upper bound for the number of the possible parameter modifications corresponding to . However, practical requirements constrain the scope of valid selections. For example, large weighting factors strictly increase the velocity of positioners. The resulting high velocities may damage their motors and increase the possibility of collision when the positioners are very close to each other. Thus, a reasonable range for each weighting factor can be determined from which new values are selected to modify the current values.

Matrix also contributes to the completeness (on incompleteness) of a system based on its parameters. Among all those parameters, the target positions extremely affect on the entries of the matrix. One may note that, the target positions are defined based on each observation. In particular, some algorithms are used to assign an object to each positioner. For example, [20] handles the object-positioner assignments such that the number of the observed objects is maximized. We note that changing the targets assigned to the positioners ends up with a new matrix . So, such a parameter modification may resolve the system incompleteness. In contrast to the modification, the maximum number of the possible target position modifications is bounded. As already quoted, a specific procedure assigns a target to each positioner according to a particular observation prior to the coordination. In particular, given objects corresponding to an observation and positioners444We assume that an observation is planned such that all of its objects could be observed by the positioners set. Thus, the number of the positioners should essentially exceeds that of those objects., the number of possible object-positioner assignments is . However, every target cannot be observed by every positioner because of the positioners’ motion limitations. Another option to modify would be changing the value of the repulsive weighting factor, i.e., . However, manipulation of this factor is not recommended because of its critical role in the safety of the system and its performance. In particular, decreasing the factor may jeopardize the full control over movements of postioners when they are close to each other. In contrast, increasing the value of the factor can extremely increase the required time for completion of the coordination process. The explained parameter modification process is schematically illustrated in Fig. 7.

[scale=0.7]7.pdf

Figure 7: The parameter modification process

6 Discussion

The computational complexity of the trajectory planning algorithm using the reference APF is where represents the number of the positioners to be coordinated [16]. The substitution of CAPF for APF does not adversely affect the computational complexity of the overall trajectory planning algorithm applied to positioners sets. To be specific, the added cooperative attractive term is a polynomial similar to the attractive term of the algorithm. Thus, the linear-time computational complexity of the algorithm is preserved.

The added cooperative attractive term increases the agility of the movements in the course of coordination. However, this agility has to be compensated and attenuated in practice because abrupt movements of positioners may strengthen the collision possibility when they are close to each other. In other words, the added cooperative attractive term does not necessarily improve the convergence time of the coordination process. Furthermore, in some cases the convergence time might be even longer than that of corresponding to the reference APF. In the case of the reference APF, each positioner stops moving upon reaching its target position. However, in the case of CAPF, a positioner does not necessarily resides at its target spot immediately after reaching it because the cooperative term induces more dynamics to settle the maximum of the neighboring positioners at their target points. Thus, a positioner may temporarily pass its target to open the way for the remainder of its peers to get closer to their targets. This behavior does not give rise to endless oscillations since the high-level decision-making layer in fact handles these kind of scenarios. Thus, using CAPF rises a trade-off between the completeness seeking and potentially longer convergence time. The simulation results of the next section confirms this conclusion.

7 Simulations

We modify the Python simulator developed in [28] according to our contributions. In particular, we substitute the reference APF [28] (see, Fig. 4) with our CAPF. (see, Fig. 5).

We define two test batches. Each test batch includes six test scenarios each of which includes a specific number of positioners. Furthermore, each test batch owns a specific set of initial and target points corresponding to its positioners.555We conduct the tests on a ASUS ZenBook UX410UAR with an Intel Core i7-8550U @ 1.8GHz x 4 processor, Intel UHD Graphics 620 graphic card on an Microsoft Windows 10, 10.0.15063 version. The full specifications and the resulting number of the converged positioners and the convergence times are reflected in table 1.

Test batch 1 Test batch 2
Total positioners (#) 52 106 234 449 730 980 54 114 250 481 773 1006
Converged positioners (#) APF 50 90 196 382 621 844 52 105 228 434 675 889
CAPF 52 106 234 449 730 980 54 114 250 481 473 1006
Convergence time (sec.) APF 14.8 36.3 89.7 173.2 317.6 386.9 13.9 31.3 85.1 171.2 267 364.6
CAPF 16.7 49.3 96.1 199.8 359.4 503.5 14.7 41.8 99.7 194 303.6 547.9
1 1 1 1 1 1 1 1 1 1 1 1
0.05 0.05 0.05 0.05 0.05 0.05 0.05 0.05 0.05 0.05 0.05 0.05
(specific to CAPF) 0.03 0.03 0.03 0.03 0.04 0.04 0.03 0.03 0.03 0.03 0.04 0.04
Table 1: The convergence rate and the convergence time corresponding to test batch 1 and test batch 2 (The highlighted entries are the modified values, so that the completeness conditions associated with their corresponding test cases are satisfied.)

The graphical representations of the convergence rates and the convergence times corresponding to test batch 1 and test batch 2 are illustrated in Fig. 8 and 9, respectively.

We chose , , and for our tests. However, these values do not fulfill the completeness condition corresponding to some of the test cases. So, we used the parameter modification procedure as explained in Sec. 5.2. In particular, the th and the th test cases of both the test batches cannot be completely coordinated by the quoted weighting factor parameters. These cases are highlighted in the last row of table 1. Thus, we modified value which ended up with the complete coordinations in those cases.

The results witness the completeness of the considered test cases using our cooperative navigator (see, Fig. 5) which indicates the efficiency of our approach. As discussed in Sec. 6, the imposed necessity of completeness to the overall coordination process practically gives rise to longer movements and interactions between positioners. So, the trade-off between the improved convergence rate and the longer convergence time leads to the following conclusion: the available time between two consecutive observations may be shorter than the required time for the complete coordination of positioners. In this case, one has to use the competitive navigator (see, Fig. 4).

[scale=0.95]8.pdf

Figure 8: Visual illustrations of the convergence rate and the convergence time corresponding to test batch 1. (a) The convergence rate corresponding to test batch 1. (b) The convergence time corresponding to test batch 1.

[scale=0.95]9.pdf

Figure 9: Visual illustrations of the convergence rate and the convergence time corresponding to test batch 2. (a) The convergence rate corresponding to test batch 2. (b) The convergence time corresponding to test batch 2.

8 Conclusions

This report studied the completeness problem corresponding to the coordination of robotic optical fiber positioners. In particular, we partitioned the complicated global completeness problem into a set of relatively simpler local completeness problems. We proposed a new artificial potential field by which the completeness of a positioner and its neighboring positioners are cooperatively into account. Then, we found a completeness condition for the local completeness problem, and we showed that the simultaneous fulfillment of all those conditions associated with a positioners set in fact guarantees the global completeness of the overall system. We also presented a completeness-seeking procedure to modify a system’s parameters in case the system encounters an incomplete coordination. We obtained the complete coordination at the cost of longer coordination times compared to the required times using a common artificial potential field without cooperation mechanism.

9 acknowledgments

The authors would like to appreciate the anonymous reviewers whose helpful comments gave rise to the improvement of this paper.

References

  • [1] A. Y. Abdelaziz, F. Mohamed, S. Mekhamer, and M. Badr (2010) Distribution system reconfiguration using a modified tabu search algorithm. Electric Power Systems Research 80 (8), pp. 943–953. Cited by: §1.
  • [2] A. Aghamousa, J. Aguilar, S. Ahlen, S. Alam, L. E. Allen, C. A. Prieto, J. Annis, S. Bailey, C. Balland, O. Ballester, et al. (2016) The desi experiment part i: science, targeting, and survey design. arXiv preprint arXiv:1611.00036. Cited by: §1.
  • [3] A. Aghamousa, J. Aguilar, S. Ahlen, S. Alam, L. E. Allen, C. A. Prieto, J. Annis, S. Bailey, C. Balland, O. Ballester, et al. (2016) The desi experiment part ii: instrument design. arXiv preprint arXiv:1611.00037. Cited by: §1.
  • [4] M. Cirasuolo, J. Afonso, M. Carollo, H. Flores, R. Maiolino, E. Oliva, S. Paltani, L. Vanzi, C. Evans, M. Abreu, et al. (2014) MOONS: the multi-object optical and near-infrared spectrograph for the vlt. In Ground-based and airborne instrumentation for astronomy V, Vol. 9147, pp. 91470N. Cited by: §1.
  • [5] R. S. de Jong, C. Chiappini, and O. Schnurr (2012) 4MOST–4-meter multi-object spectroscopic telescope. In EPJ Web of Conferences, Vol. 19, pp. 09004. Cited by: §1.
  • [6] P. Hörler, L. Kronig, J. Kneib, M. Bouri, H. Bleuler, and D. von Moos (2018) High density fiber postitioner system for massive spectroscopic surveys. Monthly Notices of the Royal Astronomical Society 481 (3), pp. 3070–3082. Cited by: §1.
  • [7] P. Hörler (2018) Robotic fiber positioning systems for massive spectroscopic surveys: mechanical design guidelines and technological opportunities. Technical report EPFL. Cited by: footnote 3.
  • [8] K. Iagnemma, S. Kang, H. Shibly, and S. Dubowsky (2004)

    Online terrain parameter estimation for wheeled mobile robots with application to planetary rovers

    .
    IEEE Transactions on Robotics 20 (5), pp. 921–927. Cited by: §1.
  • [9] W. P. Kistler, R. A. Citron, and T. C. Taylor (2006-October 3) System and method for transportation and storage of cargo in space. Google Patents. Note: US Patent 7,114,682 Cited by: §1.
  • [10] M. Macktoobian, D. Gillet, and J. Kneib (2019) Supervisory coordination of robotic fiber positioners in multi-object spectrographs. In The Proceedings of the the 15th IFAC Symposium on Large Scale Systems (LSS): Theory and Applications, Cited by: §1.
  • [11] M. Macktoobian, D. Gillet, and J. Kneib (2019) The navigation of robotic fiber positioners in sdss-v project: design and implementation. In 2019 15th Conference on Ph. D Research in Microelectronics and Electronics (PRIME), pp. 85–88. Cited by: §1, Figure 2.
  • [12] M. Macktoobian and S. A. A. Moosavian (2013) Time-variant artificial potential fields: a new power-saving strategy for navigation of autonomous mobile robots. In Proceedings of the 1st RSI/ISM International Conference on Robotics and Mechatronics (ICRoM), pp. 121–127. Cited by: §1.
  • [13] M. Macktoobian and M. A. Shoorehdeli (2016) Time-variant artificial potential field (tapf): a breakthrough in power-optimized motion planning of autonomous space mobile robots. Robotica 34 (5), pp. 1128–1150. Cited by: §1.
  • [14] M. Macktoobian and W. M. Wonham (2017) Automatic reconfiguration of untimed discrete-event systems. In Electrical Engineering, Computing Science and Automatic Control (CCE), 2017 14th International Conference on, pp. 1–6. Cited by: §1.
  • [15] M. Maimone, Y. Cheng, and L. Matthies (2007) Two years of visual odometry on the mars exploration rovers. Journal of Field Robotics 24 (3), pp. 169–186. Cited by: §1.
  • [16] L. Makarem, J. Kneib, D. Gillet, H. Bleuler, M. Bouri, L. Jenni, F. Prada, and J. Sanchez (2014) Collision avoidance in next-generation fiber positioner robotic systems for large survey spectrographs. Astronomy & Astrophysics 566, pp. A84. Cited by: §6.
  • [17] L. Makarem (2015) Decentralized multi-robot coordination in crowded workspaces. Technical report EPFL. Cited by: Remark 1.
  • [18] E. Mazets, S. Golenetskii, V. Ilyinskii, Y. A. Guryan, R. Aptekar, V. Panov, I. Sokolov, Z. Y. Sokolova, and T. Kharitonova (1982) Cosmic gamma-ray burst spectroscopy. Astrophysics and Space Science 82 (2), pp. 261–282. Cited by: §1.
  • [19] J. Milnor (1963) Morse theory. number 51 in annals of math. Studies. Princeton University Press. Cited by: Remark 1.
  • [20] I. Morales, A. D. Montero-Dorta, M. Azzaro, F. Prada, J. Sánchez, and S. Becerril (2011) Fibre assignment in next-generation wide-field spectrographs. Monthly Notices of the Royal Astronomical Society 419 (2), pp. 1187–1196. Cited by: §5.2.
  • [21] R. Olfati-Saber, J. A. Fax, and R. M. Murray (2007) Consensus and cooperation in networked multi-agent systems. Proceedings of the IEEE 95 (1), pp. 215–233. Cited by: §1.
  • [22] E. Papadopoulos and S. A. A. Moosavian (1994) Dynamics and control of space free-flyers with multiple manipulators. Advanced robotics 9 (6), pp. 603–624. Cited by: §1.
  • [23] L. Qasim, M. Jankovic, S. Olaru, and J. Garnier (2018) Model-based system reconfiguration: a descriptive study of current industrial challenges. In International Conference on Complex Systems Design & Management, pp. 97–108. Cited by: §1.
  • [24] P. J. Ramadge and W. M. Wonham (1987) Supervisory control of a class of discrete event processes. SIAM journal on control and optimization 25 (1), pp. 206–230. Cited by: §1.
  • [25] P. Rochus, J. Plesseria, M. Van Elsen, J. Kruth, R. Carrus, and T. Dormal (2007) New applications of rapid prototyping and rapid manufacturing (rp/rm) technologies for space instrumentation. Acta Astronautica 61 (1-6), pp. 352–359. Cited by: §1.
  • [26] E. Stieber, G. Hunter, and A. Abramovici (1999) Overview of the mobile servicing system for the international space station. In Artificial Intelligence, Robotics and Automation in Space, Vol. 440, pp. 37. Cited by: §1.
  • [27] M. Takada, R. S. Ellis, M. Chiba, J. E. Greene, H. Aihara, N. Arimoto, K. Bundy, J. Cohen, O. Doré, G. Graves, et al. (2014) Extragalactic science, cosmology, and galactic archaeology with the subaru prime focus spectrograph. Publications of the Astronomical Society of Japan 66 (1). Cited by: §1.
  • [28] D. Tao, L. Makarem, M. Bouri, J. Kneib, and D. Gillet (2018) Priority coordination of fiber positioners in multi-objects spectrographs. In Ground-based and Airborne Instrumentation for Astronomy VII, Vol. 10702, pp. 107028K. Cited by: §1, §3, §4.1, §4.1, §7.
  • [29] C. Wang, X. Yang, Z. Wu, Y. Che, L. Guo, S. Zhang, and Y. Liu (2016) A highly integrated and reconfigurable microgrid testbed with hybrid distributed energy sources. IEEE Transactions on Smart Grid 7 (1), pp. 451–459. Cited by: §1.
  • [30] D. G. York, J. Adelman, J. E. Anderson Jr, S. F. Anderson, J. Annis, N. A. Bahcall, J. Bakken, R. Barkhouser, S. Bastian, E. Berman, et al. (2000) The sloan digital sky survey: technical summary. The Astronomical Journal 120 (3), pp. 1579. Cited by: §1.
  • [31] G. Zhao, Y. Zhao, Y. Chu, Y. Jing, and L. Deng (2012) LAMOST spectral survey—an overview. Research in Astronomy and Astrophysics 12 (7), pp. 723. Cited by: §1.