Integrated Control Flow Safety Rules for Multi-Vehicle Scenarios
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing safety rule formulation technologies struggle to efficiently handle complicated scenarios involving multiple interacting vehicles, as manually formulating safety rules for such scenarios is impractical due to the enormous number of conditional branches.
Innovation Solution
A safety rule generation device that integrates control flows of multiple vehicles using hybrid control flow graphs (hCFGs) and assigns logical expression constraints, such as Hoare annotations, to generate safety rules that can handle complex scenarios.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If manual formulation of safety rules is used for complicated scenarios, then safety rules can be formulated for simple sub-scenarios, but it becomes impractical due to the enormous number of conditional branches
Solution Approach 1:
The patent segments the complicated scenario into multiple sub-scenarios by identifying transition conditions between different states. Each sub-scenario is handled by integrating control flows that represent state transitions, allowing safety rules to be formulated systematically rather than manually for every possible condition.
Solution Approach 2:
The patent introduces control flow graphs (CFGs) and integrated control flows as intermediary representations between the complicated scenario and the safety rules. These intermediaries automatically manage the integration of multiple control flows and the assignment of logical constraints, reducing the complexity of formulating safety rules for complex scenarios.
2Reliability
If safety rules are formulated to cover all conditions in complicated scenarios, then comprehensive safety coverage is achieved, but the formulation process becomes unrealistic and overly complex
Solution Approach 1:
The patent uses dynamic control flow graphs that can adaptively represent state transitions based on transition conditions. The integrated control flow automatically adjusts to cover relevant conditions without requiring manual formulation for every possible scenario, achieving comprehensive safety coverage while maintaining ease of operation through automated integration.
Solution Approach 2:
The patent changes the parameter representation from manual safety rule formulations to automated logical expression constraints assigned to states in the integrated control flow. This parameter transformation allows the system to handle complicated scenarios by systematically managing transition conditions and state constraints rather than relying on manual rule creation.
3Adaptability or versatility
If existing safety rule technologies are used, then simple scenarios can be handled, but complicated scenarios with multiple interacting vehicles cannot be efficiently managed
Solution Approach 1:
The patent creates a universal integrated control flow framework that can handle both simple and complicated scenarios with multiple interacting vehicles. The system integrates multiple control flows representing different vehicles and scenarios, assigning logical expression constraints that guarantee safety across diverse situations, thereby achieving multi-functionality without sacrificing formulation efficiency.
Data Source
AI summary
A safety rule generation device includes: a processor; and a memory connected to the processor, wherein the processor is configured to: receive input of a plurality of control flows indicating state transitions of a plurality of moving bodies, respectively, the moving bodies operating in a predetermined scenario; generate an integrated control flow in which the plurality of control flows are integrated based on transition conditions assigned to the control flows; assign logical expression constraints that guarantee safety, to respective states included in the integrated control flow; and generate a safety rule based on the logical expression constraints.