Autonomous Mission Planning via Dynamic Automata Synthesis
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Planning and re-planning missions for heterogeneous autonomous assets is complex due to the need for coordinated actions and uncertainty in real-world missions, where trust in automated mission planning systems is limited by the generation of static plans.
Innovation Solution
A method and system that uses architecture synthesis and constraint solving to allocate roles to autonomous assets and generates automata encoded to dynamically react to external inputs during runtime execution, employing formal verification techniques for high assurance in mission planning.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Productivity
If static mission plans are generated by automated systems, then productivity is improved through automation, but reliability deteriorates due to lack of adaptability to uncertainty and change
Solution Approach 1:
The patent transforms static mission plans into dynamic plans by encoding them as automata that can react to external inputs during runtime execution. The automata model allows the mission plan to adapt its behavior based on changing conditions while maintaining formal verification of safety properties, thus resolving the contradiction between automation and reliability.
2Reliability
If fully scripted mission plans are used, then reliability is improved through predictability, but adaptability deteriorates due to inability to handle uncertainty and change
Solution Approach 1:
The mission plans are encoded as automata that maintain a structured state space with defined transitions, providing predictability through formal verification while enabling dynamic adaptation to external inputs. This allows the system to handle uncertainty without becoming fully unscripted, resolving the contradiction between reliability and adaptability.
Solution Approach 2:
The automata model allows mission plans to change their behavior by transitioning between states based on external inputs, effectively changing parameters of execution while maintaining the overall mission structure. This enables adaptability to uncertainty while preserving the formal guarantees of reliability.
3Adaptability or versatility
If dynamic reaction to external inputs is enabled, then adaptability is improved, but device complexity increases due to runtime execution requirements
Solution Approach 1:
The patent introduces an intermediary layer of automata that sits between the high-level mission requirements and the low-level asset execution. This intermediary model handles the complexity of dynamic reaction by providing a formal intermediate representation that can be verified and then executed, reducing the overall system complexity while enabling adaptability.
Data Source
AI summary
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.