Autonomous Control Device Dynamic Logic Verification
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Autonomous systems operating in open environments face challenges in adapting to dynamic external factors, leading to unsound operations due to unverified control logic and limited observability, resulting in potential safety issues and reduced operational reliability.
Innovation Solution
An autonomous control device generates and reconstructs operation control logic based on external world measurements and internal states, ensuring soundness by verifying the logic and recording it for transparency, allowing for real-time adaptation and improved reliability.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If operation control logic is designed based on predetermined operation modes, then the autonomous system can operate with established control logic, but the system cannot adapt to dynamic external factors and unsound operation situations may occur
Solution Approach 1:
The patent implements dynamic reconstruction of operation control logic by sequentially generating new control logic based on currently acquired external information and internal states. Instead of relying on predetermined static control logic, the system continuously updates its operation modes to adapt to changing environmental factors, thereby resolving the contradiction between reliability and adaptability.
Solution Approach 2:
The system incorporates feedback mechanisms by verifying operation soundness through evaluation processes and using the results to guide subsequent control logic generation. The verification unit assesses whether generated control logic is sound, and this feedback information is used to improve future operation modes, ensuring both reliability and adaptability.
2Reliability
If control logic is verified for soundness before execution, then operational reliability is improved, but the system may stop operation when encountering unverified situations, reducing productivity
Solution Approach 1:
The patent applies preliminary action by sequentially generating and verifying operation control logic before execution. The system prepares multiple candidate control logics in advance, verifies their soundness, and selects appropriate ones for execution. This approach ensures reliability while maintaining productivity by having pre-verified options ready.
Solution Approach 2:
The system dynamically adjusts its verification and execution process by continuously generating new control logic based on current situations. When unverified situations arise, the system can quickly generate and verify new control logic sequences, preventing operation stops and maintaining productivity while ensuring reliability through verification.
3Ease of operation
If operation control logic is stored as programs, then the system can execute predetermined operations, but third parties cannot directly evaluate the operation determination process
Solution Approach 1:
The patent introduces an intermediary verification unit that acts as a mediator between the control logic execution and external evaluation. This unit translates internal operation determination processes into verifiable formats that third parties can assess, thereby maintaining ease of operation while reducing information loss and improving observability.
Solution Approach 2:
The verification unit provides feedback mechanisms that make the operation determination process observable to third parties. By implementing soundness verification and evaluation processes, the system creates transparent feedback loops that allow external parties to assess the determination process while maintaining normal operation execution.
Data Source
AI summary
An object of the present invention is to provide an autonomous system that realizes expected operation in a form in which the soundness of the operation can be proved to a third party in adaptation to an external factor that dynamically varies and to enhance a working ratio in autonomous operation. The autonomous system is provided with a function for dynamically leading a satisfiable combination of a requirement for the soundness of operation and expected operation on the basis of the information of operating environment acquired via exterior world measurement means, a function for generating control logic for realizing the expected operation, a function for recording the control logic, the requirement for sound operation and the expected operation, and a function for presenting the record in a form in which the third party can read the record.