This article investigates a mission scheduling problem for earth observation satellite (EOS) with specific and temporal requirements. As is well known, the challenge is how to automatically generate an optimal actionable sequence for EOS given various physical constraints and temporal/spatial specifications that are often too intuitive to reason. To this end, we propose an automatic scheduling algorithm for EOS with the help of a linear temporal logic (LTL). In particular, LTL semantics are introduced to automate the constraints as well as temporal specifications, such that the argument of the mission specifications can be properly formulated. Toward this, we proceed to construct the state transition system by abstracting the mission objectives and specifications into a directed graph with weighted edges, and the automata theory is applied to obtain the observation sequence that satisfies the said specifications. Numerical examples verified the performance of the proposed strategy.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic Scheduling for Earth Observation Satellite With Temporal Specifications


    Beteiligte:
    Li, Jianqing (Autor:in) / Li, Chaoyong (Autor:in) / Wang, Feng (Autor:in)


    Erscheinungsdatum :

    2020-08-01


    Format / Umfang :

    1472732 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Agile Earth Observation Satellite Scheduling With a Quantum Annealer

    Stollenwerk, Tobias / Michaud, Vincent / Lobe, Elisabeth et al. | IEEE | 2021


    Robust Earth Observation Satellite Scheduling With Uncertainty of Cloud Coverage

    Wang, Xinwei / Song, Guopeng / Leus, Roel et al. | IEEE | 2020


    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-Egziabher, Demoz | TIBKAT | 2022


    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-egziabher, Demoz | AIAA | 2022