Focused on the dynamic scheduling problem for earth-observing satellites (EOS), an integer programming model is constructed after analyzing the main constraints. The rolling horizon (RH) strategy is proposed according to the independent arriving time and deadline of the imaging tasks. This strategy is designed with a mixed triggering mode composed of periodical triggering and event triggering, and the scheduling horizon is decomposed into a series of static scheduling intervals. By optimizing the scheduling schemes in each interval, the dynamic scheduling of EOS is realized. We also propose three dynamic scheduling algorithms by the combination of the RH strategy and various heuristic algorithms. Finally, the scheduling results of different algorithms are compared and the presented methods in this paper are demonstrated to be efficient by extensive experiments.
1. Introduction
The mission of an earth-observing satellite (EOS) is to scout targets with a certain range of ground to produce high-resolution photographs [1–4]. According to the working mechanism, the imaging sensors load in EOS can be divided into visible light imaging, microwave imaging, infrared imaging, and so forth. Since they have numerous merits such as rapider response, broad coverage range, longer duration, and freedom from airspace boundaries, EOS supports many important services, such as military surveillance, geodesy and navigation, remote sensing, and monitoring.
Nowadays, EOS is attracting more and more interests worldwide be accompanied with the dramatic increase of the demand for imaging service. One major research trend is that the single satellite used in early reconnaissance is replaced by cooperation of large satellites, yielding the socalled multi-satellite application. Unfortunately, as the number of satellites grows large, the traditional manual coordination will no longer be feasible because multisatellite scheduling (MSS) is an NP-hard combinatorial optimization problem [5]. Therefore, the researches on MSS refer to assigning observation resource to match various imaging requirements as indispensable.
There exist numerous studies on scheduling algorithm for multi-satellite to realize automated resource planning. Wang et al. [6] proposed a hybrid ant colony optimization (HACO) algorithm to overcome the disadvantage of current ant colony optimization (ACO) algorithm which is more easily plunged into local optimal solution in solving MSS problem. Jian and Cheng [7] constructed an integer programming model of MSS based on the analysis of the resource constraints and task characteristic. To solve this combinatorial optimization problem, they provided a genetic particle swarm optimization (PSO) algorithm which searches only in the appointed integer space. He et al. [8] presented a cooperative scheduling architecture of multiple satellites by converting this scheduling problem into a main problem and a subproblem. In addition, an improved PSO algorithm was used to solve MSS problem by taking task benefits as an optimization objective.
However, those above researches have been primarily focused on static scheduling problem of EOSs. It is usually assumed that the imaging tasks have been submitted before scheduling and their information is acquired. In practice, the requests from customers are continuously delivered, which lead to the imaging tasks arriving one by one. The most significant feature of dynamic scheduling is time urgency; that is, the task must be completed within a specified time limit, or it will lose its execution value caused by failure. The satellite imaging reconnaissance mission generally has a deadline, which can reflect its execution urgency. Execution of the task must be completed within the specified deadline; otherwise, the expected benefits will not be obtained. The traditional static scheduling methods tend to overlook the timeliness feature of imaging task, which makes them inapplicable to the dynamic scheduling problem of imaging satellite.
At present, there are a few works on the dynamic scheduling problem of EOSs. Baolin et al. [9] described a new satellite mission scheduling algorithm based on constraint satisfaction problem (CSP). Zhu et al. [10] considered the problems of satellite scheduling for realizing optimal disaster rescue and proposed a hybrid algorithm to solve this multiple objects optimization problem. Wang et al. [11] considered the characteristic of EOS in dynamic scheduling and proposed a rule-based heuristic algorithm to solve this problem. The study mentioned above still has the following shortages.
It is difficult for these proposed algorithms to generate a task planning within a short time. A dynamic planning process consists of repeated scheduling events, and the traditional intelligence algorithm (IA) has high timing complexity, which cannot rapidly generate the planning scheme. Therefore, the high-efficiency heuristic algorithm should be used to address the dynamic scheduling problem of EOSs.
The impacts of scheduling time on the available tasks were not considered. Since tasks are dynamic arrivals, the planning system collects dissimilar task sets at different scheduling times. Thus, the task set should be determined based on current scheduling time before the scheduling.
The constraints during dynamic scheduling have not been adequately considered. Many constraints (i.e., the storage capacity, maximum swing angle, and continuous observation time) which have been simplified in static scheduling should be considered in dynamic scheduling.
In this paper, we tackle the above challenges imposed on the dynamic scheduling problem of EOSs by handling the impacts of deadline constraint and scheduling time on planning scheme. The integer programming model is constructed based on various constraints in actual reconnaissance activities, and the rolling horizon (RH) strategy and heuristic algorithms are employed to solve this model.
The remainder of this paper is organized as follows. Section 2 describes the dynamic scheduling problem of EOSs, and establishes the integer programming model. Section 3 designs the scheduling architecture and algorithms based on the RH optimization. Simulation results and performance analysis are given in Section 4. Finally, Section 5 concludes the paper with some future research directions.
2. Problem Description and Modeling
The EOS operates in the space in a certain orbit as shown in Figure 1. The view coverage of EOS can be formed on the ground by the subsatellite point of satellite platform as well as the view angle, swing angle, and tilting angle of satellite payload [12–14].
The observation field of EOS.
The purpose in addressing the dynamic scheduling problem of EOSs is to appoint observation resources and execution time for the dynamical submitted tasks with various constraints, so as to maximize the task benefits of reconnaissance activity and minimize the resource consumption as far as possible.
The imaging tasks in dynamic scheduling problem are submitted to the planning system in independent times compared to the static scheduling problem which can obtain all the tasks in advance. The dynamic scheduling system only acquires the information of arrived tasks but can not gain the situation of following tasks. Hence it needs to trigger multiple scheduling in order to cope with the new tasks which are successively submitted to the scheduling system. Therefore, the dynamic scheduling algorithms designed in this paper should have the overall coordination capacity; that is, the algorithm should be able to timely adjust the execution scheme of planned tasks for executing the emergency tasks submitted later, so as to maximize task benefits. For future reference, we summarize main notations used in this paper as the following:
Tp=[tstart,tend] is the reconnaissance activity period of satellites, where tstart is the starting time and tend is the ending time of the observation activity;
TS={tS0,tS1,…,tSp} is the scheduling time set, where tSi(i≥1) is the ith scheduling time, tR0=tstart is the virtual initial scheduling time, Tperiod=(tSp-tS0)/p is the average scheduling period, and p is the quantity of scheduling activities during the reconnaissance activity period;
Task = {task1,task2,…,taskm} is the imaging task set, where taski is the ith task, and m is the task number;
Sat = {sat1,sat2,…,satn} is the satellite resource set, where satj is the jth satellite, and n is the satellite number;
TWi=⋃j=1n⋃k=1qi,jtwi,jk is the observation opportunity window set of taski between its arrival time ai and deadline di, where qi,j is the opportunity window number of taski on satj, twi,jk=[wsi,jk,wei,jk] is the kth opportunity window of taski on satj, and wsi,jk and wei,jk are the starting time and ending time of twi,jk, respectively.
In addition, taski has an execution benefit pi and it requires a continuous observation time di. If taski can be executed before its deadline, assume tsi is the starting time, tei is the ending time, and hi is the required storage capacity. Furthermore, the satellite has a swing angle ghi and a tilting angle gwi to execute taski. Assume aj is the view angle of satj, βj is the maximum swing angle, γj is the maximum tilting angle, ωj is the swing speed, ρj is the tilting speed, tcj is the position transfer stabilization time, rj is the maximum position transfer frequency, and Mj is the memory capacity.
The decision of scheduling times is affected by many factors, for example, the quantity and density of task, the upload period of satellite instructions, and the communication capacity of control center. The decision variable of the dynamic scheduling problem provided in this paper is as follows:
(1)xi,jk={1,iftaskiisexecutedintwi,jk,0,otherwise.
Assume tSk is the current scheduling time and the maximum task benefits are the optimization object, then we can build the integer programming model of the dynamic scheduling problem as follows [15]:
(2)maxZ=∑i=1m∑j=1n∑k=1qi,jxi,jkpis.t.{∑jn∑kqi,jxi,jk≤1,[tsi,tei]⋂[tsi′,tei′]=∅,(1)ai≤tSk≤tsi,if∑j=1n∑k=1qi,jxi,jk=1,(2)[tsi,tei]⊂⋃k=1qi,jtwi,jk⊂[tSk,ei],if∑k=1qi,jxi,jk=1,(3)tei-tsi≥di,if∑j=1n∑k=1qi,jxi,jk=1,(4)tei+max(|ghi-ghi′|ωj,|gwi-gwi′|ρj)+tcj≤tsi′,if(tei≤tsi′)∧(xi,jk=xi′,jk′),(5)∑im∑kqi,jxi,jkhi≤Mj,(6)∑im∑kqi,jxi,jk≤rj,(7)i,i′∈[1,2,…,m],j∈[1,2,…,n]k∈[1,2,…,qi,j],k′∈[1,2,…,qi′,j],
where Z is the optimization objective; constraint (1) means each task only need to be executed once, and the execution process does not involve preemptive service; constraint (2) means the scheduling system only assigns the arrived tasks and their deadline must later than current scheduling time; constraint (3) means that if any task is executed, the execution time should between current scheduling time and its deadline; constraint (4) means that if the task can be executed, its execution time should not be shorter than the required continuous observation time; constraint (5) means any two tasks assigned to the same satellite should have an adequate time interval between their execution times to ensure the sensor of satellite can adjust its gesture; constraint (6) means that the memory store any task should not exceed its maximum capacity; constraint (7) means that the gesture transfer number of satellite in one orbit should not be higher than the allowable frequency.
3. Dynamic Scheduling Approach3.1. Architecture of Algorithm
In this paper, the dynamic scheduling algorithm based on the RH strategy [16–18] is proposed to allocate tasks which have special characteristic such as the independent arrival time and deadline. This method can conduct scheduling (or rescheduling) forward for a task set through rolling advance, so as to effectively handle the uncertain factors brought by the dynamic tasks. The heuristic algorithms are incorporated with RH strategy to reduce the timing complexity of scheduling while each scheduling requires one replanning. In other words, the task set that needs to be scheduled is determined by the RH strategy firstly, and then the heuristic algorithms are used to assign satellites and execution periods to each task.
3.2. Rolling Horizon Strategy
The basic method of RH strategy is to divide the tasks into multiple task sets with certain overlaps based on the arrival sequence, and the division can be continuously updated along with the scheduling time. Each scheduling will decide and only assign its task set, which is called as rolling horizon. The new tasks are continuously added to the rolling horizon, and the finished tasks are gradually deleted with the advancement of the scheduling time, so as to realize the update of rolling horizon. The advantage of RH strategy is that it can decompose the complicated dynamic scheduling problem into multiple simple static scheduling sub-problems, and the optimization solution of previous problem is replaced with the optimized solutions of sub-problems, so that the complexity of the original problem will be reduced.
3.2.1. Task States
In general, tasks will go through four states based on current scheduling time: a new task, waiting task, running task, and finished task. One task may be scheduled in different time, thus the state of task is dynamic; that is, a task might be in two states in different scheduling.
In the example shown in Figure 2, tSk is current scheduling time. If taski has been planned during the (k-1)th scheduling (i.e., ai≤tSk-1), then taski is a finished task while tei≤tSk (such as task1); taski is a running task if tbi<tSk≤tei; taski is a waiting task if tbi>tSk. If taski has not been planned in the (k-1)th scheduling (i.e., tSk-1≤ai≤tSk), then taski is a new task.
Task states based on current scheduling time.
3.2.2. Rolling Horizon
The rolling horizon is used to store the tasks that need be scheduled currently. There are two key elements about rolling-horizon: the quantity and state of tasks in rolling-horizon. From the perspective of task quantity, the more the tasks fall into the rolling horizon, the stronger the capacity of scheduling system to obtain comprehensive task information is, which is important to acquire the better solution. But the timing complexity of scheduling algorithm will also be aggravated. From the perspective of task state, the rolling-horizon consists of the running tasks, waiting tasks, and new tasks generally. Among them, the processing method for the running task is an important criterion to distinguish the preemptive and nonpreemptive scheduling. The later scheduling mode is out of the interest of this paper; that is, the rolling-horizon only includes the waiting tasks and new tasks. It should be noticed that during actual scheduling, the rescheduling of waiting task will not consume any additional resources because waiting task has not been executed yet.
3.2.3. Trigger Mode
The arrangement of scheduling time is the key factor which affects the application efficiency of RH strategy, and it is mainly determined by the trigger mode of scheduling. The general trigger modes include the following types.
(i) Event Trigger Mode. The scheduling is triggered while the scheduling environment is changed or a manual intervention occurred, such as a new task arrived, satellite number changed, or a scheduling requirement was sent from decision-making section. The event-trigger mode is sensitive to the scheduling environment, and it can assign the emergency tasks in time. However, this mode might cause the scheduling algorithm to have a high timing complexity due to frequent scheduling, and result in hard to generate a planning scheme rapidly.
(ii) Period Trigger Mode. In this mode, the scheduling event will be trigged after a certain time interval, and this time interval can be a uniform constant or dynamic variable. The period-trigger mode has capability to ensure the stable frequency of scheduling, but it can not provide timely scheme for emergency tasks with high timeliness, and also has the fault that it can not adjust scheme in dealing with the change of the satellite number.
(iii) Mixed Trigger Mode. Mixed-trigger mode is the combination of the aforementioned two modes. It can timely allocate the emergency tasks with less time consumption, so it is an adaptive mode to be employed in the scheduling of real-time system and dynamic system.
The mixed-trigger mode is adopted in this paper, and the scheduling time for period factors and event factors is embodied in the elements belonging to Ts. The RH strategy based on the mixed-trigger mode is depicted as follows.
In Algorithm 1, each scheduling time tSk∈TS will trigger one rescheduling (see line 1), and the scheduling frequency during Tp is O(P). The criterion described in Figure 1 is used to divide the arrived tasks into the finished task, running tasks, waiting tasks, and new tasks based on current scheduling time (see lines 3~12); the timing complexity is O(m). The tasks in rolling-horizon are sorted and assigned to the satellite resources and execution time (see line 13). The timing complexity of this step is mainly depends on the assigning algorithm; thus we assume it is O(A) temporarily. It only takes O(1) to execute other lines. Hence, the timing complexity of Algorithm 1 is calculated as O(P)[O(m)+O(A)].
(4) if∃xi,jk←0,tbi←NULL,tei←NULLthen/*Delete the planning scheme of taski*/
(5) Add taski to set RH; /*RH is the rolling-horizon*/
(6) else if∑j=1n∑k=1qi,jxi,jk=0 and ai>tSk-1then/*taski is a waiting task*/
(7) Add taski to set RH;
(8) end if
(9) end for
(10) Sort all task in set RH, and schedule each task by Heuristic
Algorithm in order; /*The pseudocode of this algorithm is given in the following Algorithm 2*/
(11) Add taski to set Finished;
(12) Update the scheduling decisions;
(13) end for
The above algorithm needs to assign satellite resources and execution time for each task, so O(A) is usually much larger than O(m). The timing complexity of Algorithm 1 will be dominated by O(A) if the scheduling frequency (or scheduling interval) is a constant. Then, the additional timing complexity caused by RH strategy is mainly related to the scheduling frequency but not affected by other factors such as the satellite quantity. At present, the intelligence algorithms (IA) are usually used to assign satellites and execution time to tasks in the static scheduling problem. These algorithms generally require multiple iterations to realize optimization of the scheduling scheme, and have a high timing complexity. The imaging tasks in dynamic scheduling have the timeliness feature, which requires the planning scheme to satisfy the deadline possibly, and, furthermore, the planning scheme should be rapidly generated and can be fast adjusted to adapt to the change of task set by scheduling algorithm. In Algorithm 2, the heuristic algorithm is employed to match the satellites and the tasks in order to shorten the generation time of the planning scheme. Meanwhile, the RH strategy can well adjust the previous planning scheme of planned tasks based on the change of rolling-horizon. The timing complexity of the heuristic algorithm embedded in RH strategy will be analyzed in detail in the next section.
Algorithm 2: The pseudocode of heuristic algorithm.
(1) for each taskbiin RH do
(2) Validwindow ←wbi; tsbi←NULL;tebi←NULL;
(3) for each twbi,jk in time window set Validwindow do
(4) for each taskbi′ in task set Finished do
(5) if[wsi,jk,wei,jk]⋂[tsi,tei]≠∅then
(6) Delete twi,jk from time window set Validwindow;
(7) end if
(8) end for
(9) end for
(10) Remove taskbi from RH to Finished;
(11) if time window set Validwindow≠∅then
(12) for each twi,jk in time window set Validwindow do
(13) Calculate WCIi,jk of twi,jk;
(14) end for
(15) Assign taskbi by WCI strategy, and calculate tsi,tei;
(16) end if
(17) end for
3.3. Heuristic Algorithms
This paper has proposed the heuristic algorithms AIS, DIS, and WIS based on the arrival time priority, the deadline priority, and the waiting time priority inspired by the earlier arrived time first (EAT) algorithm [19] and earlier deadline first (EDF) algorithm [20, 21] and considering the task importance.
Let RH={taskk1,taskk2,…,taskkm} denote the rolling-horizon in the kth scheduling. The basic parameters (including the arrival time, deadline, waiting time, and importance) of all tasks are standardized as follows:
(3)f(xki)=xki-mintaskki∈RH(xki)+1maxtaskki∈RH(xki)-mintaskki∈RH(xki)+1.
After the standardization, we record the basic parameters of taskki as ASki, DSki, CSki, and WSki respectively. The arrival time priority degree of taskki is given as follows:
(4)AIki=ASkiWSki.
The deadline priority degree of taskki is as follows:
(5)DIki=DSkiWSki.
The waiting time priority degree of taskki is as follows:
(6)CIki=CSkiWSki.
The main steps of the heuristic algorithm adopted in this paper are described as follows.
Step 1.
The three priority degrees of each task in rolling-horizon are calculated.
Step 2.
The tasks in the rolling-horizon are sorted by their different priority-degrees, and the ranking results can be obtained corresponding to the AIS, DIS, and WIS algorithms, respectively.
Step 3.
The assignment strategy based on windows conflict index (WCI) is used to assign satellites and execution time for each task based on ranking results, and the scheduling scheme is generated after all tasks have been assigned.
In the aforementioned steps, WCI denotes the total impact on the unassigned tasks when a task is allocated to an available opportunity window. If taski is appointed to the kth opportunity window of satj, the WCI of taski can be calculated as follows:
(7)WCIi,jk=∑taski′∈Waitingi∑k′=1qi′,jg(twi,jk,twi′,jk′)wei′,jk′-wsi′,jk′pi′,
where Waitingi is used to store tasks scheduled after taski according to the ranking result and g(twi,jk,twi′,jk′) can be calculated as follows:
(8)g(twi,jk,twi′,jk′)={0,ifwi,jk⋂twi′,jk′=∅,min(wei,jk,wei′,jk′)-max(wsi,jk,wsi′,jk′),otherwise.
Let Queue={taskb1,taskb2,…,taskbf} denote the task ranking result and EQueue the finished task set delivered by Algorithm 1. The pseudocode of heuristic algorithm is described in Algorithm 2.
In Algorithm 2, the tasks in the rolling horizon are scheduled in order (see line 1), and the timing complexity is O(m). The valid opportunity windows of taski are checked to analyze the confliction with the running tasks (see lines 3~9); the timing complexity is O(Tnm). It takes O(Tn) to calculate the WCI of the valid opportunity windows (see lines 11~13). The timing complexity of other lines is O(1), so the timing complexity of Algorithm 2 is O(m)[O(Tnm)+O(Tn)]=O(Tnm2). Furthermore, the timing complexity of Algorithm 1 is added to Algorithm 2; then the dynamic scheduling algorithm proposed in this paper has a timing complexity O(P)[O(m)+O(Tnm2)]=O(PTnm2). Specially, the scheduling number and the reconnaissance activity period have a proportional relation if the rescheduling time interval is constant, then the timing complexity of dynamic scheduling algorithm is O(T2m2n).
We incorporate RH strategy with AIS, DIS, and WIS to yield three new algorithms named RH-AIS, RH-DIS, and RH-WIS, respectively. Meanwhile, AIS, DIS, and WIS can also be used to solve the dynamic scheduling problem separately; that is, only new tasks are scheduled in each scheduling by those heuristic algorithms. The six algorithms mentioned before are compared in the following experiment to evaluate the efficiency of the RH strategy.
4. Evaluation
The proposed algorithms are implemented by Matlab2007 on a laptop with Pentium IV 3.06 GHz CPU, 2 GB memory, and Windows XP operating system. The experimental scenarios are generated randomly for there has been no benchmark in the field of satellite scheduling yield. The operating points of simulated experiment are given as follows [22–24].
The reconnaissance activity period is from March 21, 2010, to March 22, 2010, and the scheduling period is two hours; that is, TR={0h,2h,…,24h}.
The imaging tasks are generated in the area with a longitude 0°~150° and latitude −30°~60° randomly. The task quantity varied from 100 to 400. The arrival time gap between two adjacent tasks is subject to the negative exponential distribution, with a density of 0.1. Set the execution value of task from 1 to 10, the required continuous time 3~5 minute, and the occupied storage 2~4 G, and the deadline is a random variable generated between the arrival time of the task and the ending time of the observation activity, which abides by the uniform distribution.
The satellite quantity varied from 4 to 6, the memory storage is 240 G, the field angle is 3°, the maximum sway angle is 35°, the maximum tilting angle is 40°, and the maximum number of position transfers within a single orbit is no more than 5.
For the convenience of description, the dynamic scheduling problem of n satellites and m tasks is recorded as m×n. The twelve experiments are designed in different problem scales, and the performance metrics include the task benefits and guarantee ration. The scheduling results of various algorithms are displayed in Table 1.
Simulation results in different scenarios.
Problem scale
RH-CIS
RH-DIS
RH-AIS
CIS
DIS
AIS
Taskbenefits
Guaranteeration
Taskbenefits
Guarantee ration
Taskbenefits
Guarantee ration
Taskbenefits
Guarantee ration
Taskbenefits
Guarantee ration
Taskbenefits
Guarantee ration
100 × 4
396
0.672
401
0.683
397
0.674
382
0.642
397
0.677
396
0.673
100 × 5
412
0.705
417
0.716
416
0.713
401
0.681
416
0.713
409
0.698
100 × 6
425
0.733
430
0.745
424
0.729
408
0.696
426
0.726
424
0.729
200 × 4
679
0.622
672
0.613
633
0.574
559
0.497
559
0.497
554
0.492
200 × 5
746
0.691
740
0.682
699
0.638
611
0.553
611
0.553
610
0.550
200 × 6
804
0.741
813
0.754
763
0.707
688
0.625
688
0.625
693
0.637
300 × 4
808
0.492
813
0.506
725
0.442
665
0.409
663
0.405
658
0.392
300 × 5
890
0.551
900
0.562
812
0.506
745
0.458
744
0.453
736
0.450
300 × 6
1027
0.649
1021
0.642
933
0.580
873
0.541
877
0.549
860
0.531
400 × 4
897
0.423
895
0.413
801
0.366
729
0.339
722
0.332
717
0.326
400 × 5
992
0.468
990
0.461
876
0.403
815
0.377
802
0.370
800
0.364
400 × 6
1152
0.549
1143
0.541
1025
0.487
959
0.448
953
0.441
946
0.435
From Table 1, we can observe that the RH strategy can effectively improve the performance of heuristic algorithms. The task benefits of the three heuristic algorithms embedding RH strategy increase by 16.19%, 15.82%, and 8.29%, respectively. This is because the algorithms without embedded RH strategy only operate the new tasks, while the embedded one can adjust the scheduling scheme of waiting tasks for executing the new tasks which can not be executed previously; hence a better scheduling solution can be achieved. Among the rolling-horizon scheduling algorithms (RH-AIS, RH-DIS, and RH-WIS), the task benefits obtained by RH-WIS are slightly higher than those of RH-DIS and RH-AIS while the satellites have adequate observation capacity to execute imaging tasks (for the problem scales 100×4, 100×5, and 100×6), and the resolution of RH-DIS is better than that of the other algorithms while the satellites have inadequate observation capacity. This is because both RH-DIS and RH-WIS have considered the deadline feature of tasks in scheduling scheme; it is the precondition to execute the valuable task. A large amount of high-timeliness tasks cannot be executed in their deadlines if the satellites have inadequate observation capacity, then RH-DIS gives priority to the tasks with earlier deadlines, so that the task guarantee ration is increased, and higher task benefits can be obtained. Most tasks can be effectively executed if the satellites have adequate observation capacity, then RH-AIS schedules tasks based on the deadline distribution but also considers the impact of executing current task on follow-up tasks, so that higher task benefits can be obtained on the aspect of overall planning effects.
From Figure 3, the CPU time of six algorithms is compared in different satellite numbers. The timing complexity of scheduling algorithms is aggravated after embedding the RH strategy; thus the generation speed of the planning scheme is reduced. In the scenarios with three different satellite numbers, the average CPU times of algorithms incorporating RH strategy are increased 3.76, 3.73, and 3.74 times, respectively. The increased CPU time of rolling-horizon scheduling does not have special change with raising satellite number, which means the impact caused by RH strategy on the timing complexity of scheduling algorithm is weakly related to the satellite number, and this is consistent with the previous conclusion in the timing complexity analysis of Algorithm 2. Although the RH strategy will delay the generation of planning scheme, it also satisfies the timelessness of dynamic scheduling because the longest CPU time of the rolling-horizon scheduling is only 7.5 s, which is a low level.
Search time of algorithm in different satellite quantities.
The satellite number is 4
The satellite number is 5
The satellite number is 6
Set the scheduling period from one to twelve hours in order to analyze the impact of scheduling time interval on the overall performance of planning algorithm. The six algorithms are tested in different problem scales and shown in Figure 4.
Performance of algorithms in different problem scales.
Problem scale 100×4
Problem scale 100×5
Problem scale 100×6
Problem scale 200×4
Problem scale 200×5
Problem scale 200×6
Problem scale 300×4
Problem scale 300×5
Problem scale 300×6
Problem scale 400×4
Problem scale 400×5
Problem scale 400×6
From Figure 4, the task benefits are reduced overall as the scheduling period extends gradually. This is because the extensive scheduling period will increase the rejected tasks for their deadline can not be satisfied; hence the low task benefits are obtained for satellites unable to execute the tasks in time. The heuristic algorithms which have not been embedded into RH strategy (including RH-AIS, RH-DIS, and RH-WIS) still have high task benefits in different scheduling period. Let the ratio between the task number n and the satellite number m as the approximate workload of the satellite resources; then a scheduling period between 1~8 h does not have a significant impact on the task benefits if the satellite resource has a light workload. However, the task benefits will be sharply reduced if the scheduling period is extended to 8~12 h. There are high task benefits if we maintain the scheduling period within 1~6 h to adapt the increased workload of the satellite resource. It is also appropriate to maintain the scheduling period within 1~3 h in accordance with the heavier workload. Furthermore, it should be ensured the scheduling period is no more than 2 h while the satellite resource has the heaviest workload. So far we conclude that the scheduling time is a key factor to affect the task benefits. In addition, the task benefits do not present monotonic change in accompany with the scheduling period as shown in Figure 4. For example, Figure 4(a) presents that the task benefits gradually increase with the extension of scheduling period within 1~4 h and fluctuate within 4~8 h but begin to reduce within 8~12 h. This is because there is a conflict between the performance scheduling requirement of the planning system and the timeliness scheduling requirement of the tasks. The scheduling system only acquires the local task information if the scheduling period is short and yields inferior scheme which can not handle the following tasks with high timelessness. On the contrary, a large amount of high-timeliness tasks may not be finished before their deadline if the scheduling period is long, and the task benefits are reduced due to a low guarantee ration. Therefore, the scheduling period should be reasonably selected based on the satellite quantity and task density in actual application, so as to ensure the performance of scheduling system.
5. Conclusions and Future Work
This paper has studied the dynamic scheduling problem of EOSs. An integer programming model has been constructed by considering the independent arrival time and deadline of the imaging tasks. A dynamic scheduling algorithm based on the RH strategy which can be combined with multiple heuristic algorithms proposed in many researches and its timing complexity has been analyzed.
The scheduling algorithms adapted to RH strategy can effectively adjust to the planning scheme based on the satellite workload to execute the emergency tasks. The effectiveness of this strategy has been verified by comparing the scheduling results of six algorithms in the experiment. It is worth to restate that the RH strategy might cause a high time consumption to yield an optimized scheme if a large amount of tasks are involved in the scheduling system. This problem can be solved by limiting the size of the rolling horizon.
Also for our future work, we plan to research the detection method of scheduling time, which is a significant factor to impact the performance of scheduling algorithm and system. With the method in place, we will extend our algorithm to cooperative scheduling of EOSs; we will consider Qos requirements in our RH-WIS; we are going to combine the dynamic resources management into our scheme.
MarinelliF.NocellaS.RossiF.SmriglioS.A Lagrangian heuristic for satellite range scheduling with resource constraints20113811157215832-s2.0-7995299062010.1016/j.cor.2011.01.016WangP.TanY.A heuristic method for selecting and scheduling observations of satellites with limited agilityProceedings of the 7th World Congress on Intelligent Control and Automation (WCICA'08)June 2008529252972-s2.0-5214911308710.1109/WCICA.2008.4594541MaoT. Y.XuZ. Q.HouR.Efficient satellite scheduling based on improved vector evaluated genetic algorithm201273517523WolfeW. J.SorensenS. E.Three scheduling algorithms applied to the earth observing systems domain20004611481682-s2.0-0033885012HanS. M.BeakS. W.ChoK. R.LeeD. W.KimH. D.Satellite mission scheduling using genetic algorithmProceedings of the International Conference on Instrumentation, Control and Information Technology (SICE '08)August 2008122612302-s2.0-5674918145510.1109/SICE.2008.4654845WangH.XuM.WangR.LiY.Scheduling earth observing satellites with hybrid ant colony optimization algorithm2Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence (AICI '09)November 20092452492-s2.0-7794928235910.1109/AICI.2009.87JianL.ChengW.Resource planning and scheduling of payload for satellite with genetic particles swarm optimizationProceedings of the IEEE Congress on Evolutionary Computation (CEC '08)June 20081992032-s2.0-5574911188710.1109/CEC.2008.4630799HeC.ZhuX. M.QiuD. S.Cooperative scheduling method of multi-satellites for imaging reconnaissance in emergency condition2012344721731BaolinS.WenxiangW.QianqingQ.Satellites scheduling algorithm based on dynamic constraint satisfaction problem4Proceedings of the International Conference on Computer Science and Software Engineering (CSSE '08)December 20081671702-s2.0-7995147172210.1109/CSSE.2008.577ZhuK. J.LiJ. F.BaoyinH. X.Satellite scheduling considering maximum observation coverage time and minimum orbital transfer fuel cost2010661-22202292-s2.0-7035070777110.1016/j.actaastro.2009.05.029WangJ. M.LiJ. F.TanY. J.Study on heuristic algorithm for dynamic scheduling problem of earth observing satellites1Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD '07)August 20079142-s2.0-3514882027810.1109/SNPD.2007.514WangJ.JingN.LiJ.ChenZ. H.A multi-objective imaging scheduling approach for earth observing satellitesProceedings of the 9th Annual Genetic and Evolutionary Computation Conference (GECCO '07)July 2007221122182-s2.0-3454810385410.1145/1276958.1277381ChiD. T.SuY. T.On a satellite coverage problem19953138918962-s2.0-002934210710.1109/7.395249ChronopoulosS. K.AngelisC. T.KoumasisA.DrakouP.Satellite coverage analysis for the investigation of real-time communication in selected areas2006510196519722-s2.0-33749062985VerfaillieG.PraletC.LemaîtreM.Constraint-based modeling of discrete event dynamic systems201021131472-s2.0-7484911770410.1007/s10845-008-0176-3HeC.ZhuX. M.GuoH.Rolling-horizon scheduling for energy constrained distributed real-time embedded systems2012854780794OvacikI. M.UzsoyR.Rolling horizon algorithms for a single-machine dynamic scheduling problem with sequence-dependent setup times1994326124312632-s2.0-0028452709TangL.JiangS.LiuJ.Rolling horizon approach for dynamic parallel machine scheduling problem with release times20104913813892-s2.0-7424912226310.1021/ie900206mSchmidU.BliebergerJ.Some investigations on FCFS scheduling in hard real time applications19924534935122-s2.0-002706752210.1016/0022-0000(92)90036-IBertognaM.BaruahS.Tests for global EDF schedulability analysis20115754874972-s2.0-7995560104410.1016/j.sysarc.2010.09.004ZhangF.BurnsA.Schedulability analysis for real-time systems with EDF scheduling2009589125012582-s2.0-6894918175410.1109/TC.2009.58ChenY.ZhouM. Q.ZouH.Multi-satellite observation scheduling algorithm based on hybrid genetic particle swarm optimization2012136441448HeC.QiuD. S.LiuJ.Cooperative scheduling of imaging observation tasks for high-altitude airships based on propagation algorithm201220121354825010.1100/2012/548250LinW. C.LiaoD. Y.A tabu search algorithm for satellite imaging scheduling2Proceedings of IEEE International Conference on Systems, Man and Cybernetics (SMC '04)October 2004160116062-s2.0-15744386935