20240051141. SYSTEMS AND METHODS FOR TIMED PLAN VERIFICATION AND STRATEGY SYNTHESIS FOR MULTI-ROBOT COORDINATION simplified abstract (Telefonaktiebolaget LM Ericsson (publ))

From WikiPatents
Jump to navigation Jump to search

SYSTEMS AND METHODS FOR TIMED PLAN VERIFICATION AND STRATEGY SYNTHESIS FOR MULTI-ROBOT COORDINATION

Organization Name

Telefonaktiebolaget LM Ericsson (publ)

Inventor(s)

Ajay Kattepur of Bangalore (IN)

Swarup Kumar Mohalik of Bangalore Karnataka (IN)

SYSTEMS AND METHODS FOR TIMED PLAN VERIFICATION AND STRATEGY SYNTHESIS FOR MULTI-ROBOT COORDINATION - A simplified explanation of the abstract

This abstract first appeared for US patent application 20240051141 titled 'SYSTEMS AND METHODS FOR TIMED PLAN VERIFICATION AND STRATEGY SYNTHESIS FOR MULTI-ROBOT COORDINATION

Simplified Explanation

The abstract describes a node that is designed to verify temporal plans and coordinate the actions of multiple agents. The node includes processing circuitry that can analyze temporal plans and identify any violations of safety rules. It can then generate a controller strategy, called TIGA, that ensures the agents' actions comply with the safety rules. The TIGA controller strategy is transmitted to a dispatch device, which translates it into instructions for the agents.

  • The node verifies temporal plans and coordinates the actions of multiple agents.
  • It identifies violations of safety rules in the temporal plans.
  • It generates a TIGA controller strategy that ensures compliance with the safety rules.
  • The TIGA controller strategy is translated into instructions for the agents.

Potential applications of this technology:

  • Coordination of autonomous vehicles in a transportation system.
  • Scheduling and coordination of tasks in a manufacturing facility.
  • Coordination of drones in a search and rescue operation.

Problems solved by this technology:

  • Ensures that the actions of multiple agents comply with predefined safety rules.
  • Improves coordination and efficiency in complex systems with multiple agents.
  • Reduces the risk of accidents or conflicts between agents.

Benefits of this technology:

  • Enhanced safety and reliability in systems with multiple agents.
  • Improved coordination and optimization of agent actions.
  • Increased efficiency and productivity in complex operations.


Original Abstract Submitted

according to one or more embodiments, a node for temporal plan verification and timed game automata, tiga, controller strategy synthesis for coordination of a plurality of agents is provided. the node includes processing circuitry that is configured to determine a first model of a plurality of temporal plans for timed operations of the plurality of agents violates at least one predefined safety rule, generate the tiga controller strategy for controlling the timed operations of at least a subset of the plurality of agents where the tiga controller strategy meets the at least one predefined safety rule and being based on the first model, and cause transmission of the tiga controller strategy to a dispatch device for translating the tiga controller strategy to instructions for the plurality of agents.

Retrieved from "http://wikipatents.org/index.php?title=20240051141._SYSTEMS_AND_METHODS_FOR_TIMED_PLAN_VERIFICATION_AND_STRATEGY_SYNTHESIS_FOR_MULTI-ROBOT_COORDINATION_simplified_abstract_(Telefonaktiebolaget_LM_Ericsson_(publ))&oldid=33926"