Method and system for mission planning via formal verification and supervisory controller synthesis
원문보기
IPC분류정보
국가/구분
United States(US) Patent
등록
국제특허분류(IPC7판)
B64C-039/02
G08G-005/00
G06Q-010/06
출원번호
US-0082885
(2016-03-28)
등록번호
US-10249197
(2019-04-02)
발명자
/ 주소
Castillo-Effen, Mauricio
Johnson, Timothy Lee
Durling, Michael Richard
출원인 / 주소
GENERAL ELECTRIC COMPANY
대리인 / 주소
GE Global Patent Operation
인용정보
피인용 횟수 :
0인용 특허 :
19
초록▼
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 auton
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.
대표청구항▼
1. A method implemented by a computing system in response to execution of program instructions by a processor of the computing system, the method comprising: receiving, by at least one decomposition module of a mission planning module, a set of formalized requirements generated by a requirements for
1. A method implemented by a computing system in response to execution of program instructions by a processor of the computing system, the method comprising: receiving, by at least one decomposition module of a mission planning module, a set of formalized requirements generated by a requirements formalization engine for accomplishing a mission;allocating, by a processor of the decomposition module, using architecture synthesis, constraint solving, and compositional verification techniques, a role to each of a plurality of assets comprising a team of autonomous entities responsible to accomplish the mission, each of the plurality of assets of the team to execute specific tasks according to their allocated role to accomplish the mission;generating, by a processor of at least one supervisory controller synthesis module using controller synthesis and formal verification techniques, automatically and in response to the set of formalized requirements and the roles allocated to the plurality of assets, a mission plan for accomplishing the mission by the plurality of assets, the mission plan being generated to automatically and dynamically react to external inputs during a run-time execution of the mission plan by the plurality of assets to execute tasks according to their allocated role to accomplish the mission plan;sending the generated mission plan to the plurality of assets for the plurality of assets to, during a run-time execution of the mission plan, execute tasks in reaction to the external inputs and according to their allocated role to accomplish the mission;wherein the method further comprises generating a plurality of contracts between the plurality of assets, where the plurality of contracts represents obligations the plurality of assets has with each other and the coordination required to fulfill those obligations; andwherein the breaking or breaching of at least one contract among the plurality of contracts triggers a change in mission templates to be executed by the plurality of assets. 2. The method of claim 1, wherein the set of formalized requirements are generated based on at least one mission requirement, key performance metric, key performance objective, and combinations thereof for the mission. 3. The method of claim 1, further comprising: generating, by the at least one decomposition module, a hierarchy of mission plans for the team of autonomous entities, wherein the at least one decomposition module is responsible for generating portions of the mission plan corresponding to the hierarchy of mission plans that will be executed by each of the plurality of assets. 4. The method of claim 1, further comprising decomposing, by the at least one decomposition module, the mission into at least two sub-sets of tasks, where the sub-sets of tasks are to be accomplished by a sub-set of the plurality of assets. 5. The method of claim 1, further comprising deriving, by the at least one decomposition module, obligations specifying required dependencies between the plurality of assets that are relevant to the accomplishment of the mission, wherein the obligations are used in generating the mission plan to accomplish the mission. 6. The method of claim 1, wherein the plurality of assets switch between different mission templates according to changes in external inputs. 7. The method of claim 1, further comprising algorithmically generating, by the at least one supervisory controller synthesis module, automata comprising the mission plan for each of the plurality of assets, the automata specifying tasks to be executed by each of the plurality of assets to accomplish the mission. 8. The method of claim 7, further comprising the plurality of assets cooperating to execute the automata in a coordinated run-time. 9. A system comprising: at least one decomposition module of a mission planning module to: receive a set of formalized requirements generated by a requirements formalization engine for accomplishing a mission; andallocate, by a processor of the decomposition module, using architecture synthesis, constraint solving, and compositional verification techniques, a role to each of a plurality of assets comprising a team of autonomous entities to be responsible of accomplishing the mission, each of the plurality of assets of the team to execute specific tasks according to their allocated role to accomplish the mission; andat least one supervisory controller synthesis module to: automatically generate by a processor thereof using controller synthesis and formal verification techniques in response to the set of formalized requirements and the roles allocated to the plurality of assets, a mission plan for accomplishing the mission by the plurality of assets according to their allocated role to accomplish the mission plan, the mission plan being generated to automatically and dynamically react to external inputs during a run-time execution of the mission plan by the plurality of assets;send the generated mission plan to the plurality of assets for the plurality of assets to, during a run-time execution of the mission plan, execute tasks in reaction to the external inputs and according to their allocated role to accomplish the mission;wherein the decomposition module generates a plurality of contracts between the plurality of assets, where the plurality of contracts represents obligations the plurality of assets has with each other and the coordination required to fulfill those obligations; andwherein the breaking or breaching of at least one contract among the plurality of contracts triggers a change in mission templates to be executed by the plurality of assets. 10. The system of claim 9, wherein the set of formalized requirements are generated based on at least one mission requirement, key performance metric, key performance objective, and combinations thereof for the mission. 11. The system of claim 9, further comprising: generating, by the at least one decomposition module, a hierarchy of mission plans for the team of autonomous entities, wherein the controller is responsible for generating portions of the mission plan corresponding to the hierarchy of mission plans that will be executed by each of the plurality of assets. 12. The system of claim 9, further comprising decomposing, by the at least one decomposition module, the mission into at least two sub-sets of tasks, where the sub-sets of tasks are to be accomplished by a sub-set of the plurality of assets. 13. The system of claim 9, further comprising deriving, by the at least one decomposition module, obligations specifying required dependencies between the plurality of assets that are relevant to the accomplishment of the mission, wherein the obligations are used in generating the mission plan to accomplish the mission. 14. The system of claim 9, further comprising generating, by the at least one supervisory controller synthesis module, automata comprising the mission plan for each of the plurality of assets, the automata specifying tasks to be executed by each of the plurality of assets to accomplish the mission. 15. The system of claim 14, further comprising the plurality of assets cooperating to execute the automata in a coordinated run-time. 16. The system of claim 14, further comprising the plurality of assets cooperating to execute the automata in a coordinated run-time. 17. A non-transitory, computer-readable medium storing instructions thereon, the medium comprising: program instructions to receive, by at least one decomposition module of a mission planning module, a set of formalized requirements generated by a requirements formulization engine for accomplishing a mission;program instructions to allocate, by a processor of the decomposition module, using architecture synthesis, constraint solving, and compositional verification techniques, a role to each of a plurality of assets comprising a team of autonomous entities to be responsible of accomplishing the mission, each of the plurality of assets of the team to execute specific tasks according to their role to accomplish the mission; andprogram instructions to generate, by a processor of at least one supervisory controller synthesis module using controller synthesis and formal verification techniques automatically and in response to the set of formalized requirements and the roles allocated to the plurality of assets, a mission plan for accomplishing the mission by the plurality of assets, the mission plan being generated to automatically and dynamically react to external inputs during a run-time execution of the mission plan by the plurality of assets to execute tasks according to their role to accomplish the mission plan;program instructions to send the generated mission plan to the plurality of assets for the plurality of assets to, during a run-time execution of the mission plan, execute tasks in reaction to the external inputs and according to their allocated role to accomplish the mission;wherein the medium further comprises program instructions to generate a plurality of contracts between the plurality of assets, where the plurality of contracts represents obligations the plurality of assets has with each other and the coordination required to fulfill those obligations; andwherein the breaking or breaching of at least one contract among the plurality of contracts triggers a change in mission templates to be executed by the plurality of assets. 18. The system of claim 17, wherein the set of formalized requirements are generated based on at least one mission requirement, key performance metric, key performance objective, and combinations thereof for the mission. 19. The system of claim 17, further comprising: program instructions to generate, by the at least one decomposition module, a hierarchy of mission plans for the team of autonomous entities, wherein the at least one decomposition module is responsible for generating portions of the mission plan corresponding to the hierarchy of mission plans that will be executed by each of the plurality of assets. 20. The system of claim 17, further comprising decomposing, by the at least one decomposition module, the mission into at least two sub-sets of tasks, where the sub-sets of tasks are to be accomplished by a sub-set of the plurality of assets. 21. The system of claim 17, further comprising deriving, by the at least one decomposition module, obligations specifying required dependencies between the plurality of assets that are relevant to the accomplishment of the mission, wherein the obligations are used in generating the mission plan to accomplish the mission. 22. The system of claim 17, further comprising generating, by the at least one supervisory controller synthesis module, automata comprising the mission plan for each of the plurality of assets specifying tasks to be executed by each of the plurality of assets to accomplish the mission.
연구과제 타임라인
LOADING...
LOADING...
LOADING...
LOADING...
LOADING...
이 특허에 인용된 특허 (19)
Meuth, Ryan J.; Vian, John L.; Saad, Emad W.; Wunsch, Donald C., Adaptive multi-vehicle area coverage optimization system and method.
Appleby,Brent D.; Franke,Jerry L.; Jameson,Stephen M.; Jung,Adam; Szczerba,Robert J.; Tleon,Joel J., Collaborative system for a team of unmanned vehicles.
Peterkofsky, Roy I.; Budaraju, Hema; Yang, Mei; Sun, Rongming, Method and apparatus for transportation planning based on mission-specific vehicle capacity constraints.
Ma,Cedric Sek Kong; Miller,Robert Henry, Mixed integer linear programming trajectory generation for autonomous nap-of-the-earth flight in a threat environment.
Duggan, David S.; Felio, David A.; Pate, Billy B.; Longhi, Vince R.; Petersen, Jerry L.; Bergee, Mark J., Multi-sensor autonomous control of unmanned aerial vehicles.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.