18259514. 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 18259514 titled 'SYSTEMS AND METHODS FOR TIMED PLAN VERIFICATION AND STRATEGY SYNTHESIS FOR MULTI-ROBOT COORDINATION

Simplified Explanation

The abstract describes a node for temporal plan verification and timed game automata (TIGA) controller strategy synthesis for coordination of multiple agents. The node includes processing circuitry that can determine if a model of temporal plans for agents violates safety rules, generate a TIGA controller strategy that meets the safety rules, and transmit the strategy to a dispatch device for implementation.

  • The node is designed to verify temporal plans and generate controller strategies for coordinating multiple agents.
  • The processing circuitry can identify violations of safety rules in temporal plans.
  • The node can generate a TIGA controller strategy that ensures compliance with safety rules.
  • The TIGA controller strategy is based on the first model of temporal plans.
  • The node can transmit the TIGA controller strategy to a dispatch device for implementation by the agents.

---

      1. Potential Applications
  • Autonomous vehicles coordination
  • Industrial automation systems
  • Traffic management systems
      1. Problems Solved
  • Ensuring safety compliance in timed operations of multiple agents
  • Efficient coordination of agents in complex systems
      1. Benefits
  • Improved safety in coordinated operations
  • Optimized performance of multiple agents
  • Streamlined coordination processes


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=18259514._SYSTEMS_AND_METHODS_FOR_TIMED_PLAN_VERIFICATION_AND_STRATEGY_SYNTHESIS_FOR_MULTI-ROBOT_COORDINATION_simplified_abstract_(Telefonaktiebolaget_LM_Ericsson_(publ))&oldid=35326"