Mobility Service Simulation With Temporal Logic Constraints

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Existing simulations for mobility services struggle to efficiently account for constraint conditions, making it difficult to optimize and evaluate these services effectively.

Innovation Solution

An information processing method that executes a simulation of mobile body movement and demand transfer, calculates state transitions, and determines satisfaction of constraint conditions using a temporal logic expression, outputting evaluation results based on safety, economic rationality, and convenience indices.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If a simulation of mobility service is executed without considering constraint conditions, then the simulation can be performed simply and quickly, but the simulation results cannot reliably evaluate service optimization under real-world restrictions

Engineering Contradiction:

Improvesimulation evaluation reliabilityVSAvoidsimulation system complexity

Core Design Contradiction:

ReliabilityVSDevice complexity

Solution Approach 1:

The patent applies preliminary action by executing constraint condition determination before final simulation evaluation. The system determines whether constraint conditions are satisfied during the simulation execution process, allowing the simulation to be guided by real-world restrictions from the outset rather than added as a separate post-processing step.

Inventive Principle:

Principle #10Preliminary action

Solution Approach 2:

The patent uses temporal logic expressions as an intermediary mechanism to bridge the simulation system and constraint conditions. The temporal logic expression serves as a mediator that translates complex real-world constraints into a formalizable format that can be systematically evaluated during simulation, reducing the direct complexity of integrating multiple constraint types.

Inventive Principle:

Principle #24Intermediary (Mediator)

2Reliability

If multiple constraint conditions are incorporated into the simulation, then the simulation can accurately reflect real-world restrictions, but the likelihood of description errors increases

Engineering Contradiction:

Improveconstraint condition complianceVSAvoidconstraint condition description accuracy

Core Design Contradiction:

ReliabilityVSManufacturing precision

Solution Approach 1:

The patent applies parameter changes by transforming constraint conditions into temporal logic expressions with standardized parameters. This transformation allows different types of constraints (temporal, spatial, logical) to be uniformly represented using consistent parameter syntax, reducing description errors while maintaining comprehensive constraint coverage.

Inventive Principle:

Principle #35Parameter changes

Solution Approach 2:

The patent uses temporal logic expressions as a universal framework that can represent multiple types of constraint conditions through a single formalism. This multi-functional approach allows the same expression structure to handle various constraint types (duration, frequency, temporal relationships), reducing the complexity of describing and managing multiple constraints individually.

Inventive Principle:

Principle #6Universality (Multi-functionality)

3Reliability

If constraint condition determination is performed using complex logical expressions, then comprehensive constraint checking is achieved, but the computation time and processing complexity increase

Engineering Contradiction:

Improveconstraint satisfaction determinationVSAvoidsimulation processing time

Core Design Contradiction:

ReliabilityVSLoss of time

Solution Approach 1:

The patent replaces complex mechanical constraint checking procedures with automated temporal logic expression evaluation. Instead of manually parsing and evaluating multiple constraint types through complex control logic, the system substitutes this with a formal temporal logic framework that can be systematically processed, reducing computational complexity while maintaining comprehensive constraint checking.

Inventive Principle:

Principle #28Mechanics substitution (Replace mechanical system)

Data Source

PatentUS20250356072A1Information processing method, non-transitory computer-readable recording medium, and information processing terminal

Publication Date: 2025.11.20 PANASONIC INTELLECTUAL PROPERTY MANAGEMENT CO LTD

AI summary

An information processing method is an information processing method to be executed by a computer and includes: executing, according to an operation parameter of a mobile body that carries a person or a delivery item, a simulation of movement of the mobile body and demand for transfer of the person or the delivery item; calculating, based on an execution result of the simulation, a transition of a state of an object in the simulation; determining, based on the transition, whether a constraint condition is satisfied; and outputting, when the constraint condition is satisfied, an evaluation result of evaluating the execution result of the simulation using at least one of a safety index, an economic rationality index, or a convenience index each pertaining to at least an operation of the mobile body.