A system, medium, and method, including receiving a set of formalized requirements for accomplishing a mission; allocating, by the processor using architecture synthesis, constraint solving, and compositional verification techniques, a role to each of a plurality of assets comprising a team of autonomous entities, the team to execute specific tasks according to their role to accomplish the mission; and generating, by the processor using controller synthesis and verification techniques, automata for accomplishing the mission for the plurality of assets, the automata being encoded to confer an ability to dynamically react to external inputs during a run-time execution of the automata by the plurality of assets.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    METHOD AND SYSTEM FOR MISSION PLANNING VIA FORMAL VERIFICATION AND SUPERVISORY CONTROLLER SYNTHESIS



    Erscheinungsdatum :

    28.09.2017


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    IPC:    G05D SYSTEMS FOR CONTROLLING OR REGULATING NON-ELECTRIC VARIABLES , Systeme zum Steuern oder Regeln nichtelektrischer veränderlicher Größen / B64C AEROPLANES , Flugzeuge / G08G Anlagen zur Steuerung, Regelung oder Überwachung des Verkehrs , TRAFFIC CONTROL SYSTEMS



    Method and system for mission planning via formal verification and supervisory controller synthesis

    CASTILLO-EFFEN MAURICIO / JOHNSON TIMOTHY LEE / DURLING MICHAEL RICHARD | Europäisches Patentamt | 2019

    Freier Zugriff

    Formal Verification in Early Mission Planning

    Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012

    Freier Zugriff

    Formal Verification in Early Mission Planning

    Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012

    Freier Zugriff


    Mission Planning Verification System for KOMPSAT-2 Operations

    Park, S.-J. / Chung, D.-W. / Shin, J.-H. et al. | British Library Conference Proceedings | 2010