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.
Method and system for mission planning via formal verification and supervisory controller synthesis
2019-04-02
Patent
Elektronische Ressource
Englisch
IPC: | B64C AEROPLANES , Flugzeuge / G06Q Datenverarbeitungssysteme oder -verfahren, besonders angepasst an verwaltungstechnische, geschäftliche, finanzielle oder betriebswirtschaftliche Zwecke, sowie an geschäftsbezogene Überwachungs- oder Voraussagezwecke , DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES / 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
Europäisches Patentamt | 2017
|Formal Verification in Early Mission Planning
Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012
|Formal Verification in Early Mission Planning
Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012
|Mission Planning Verification System for KOMPSAT-2 Operations
British Library Conference Proceedings | 2010
|