Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Hard and Soft Metric Interval Temporal Logic Specifications

• Published in: IEEE International Conference on Automation Science and Engineering (CASE) pp. 788 - 793
• Main Authors: Ahlberg, Sofie, Dimarogonas, Dimos V.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.08.2019
• Subjects: Automata; Clocks; Multi-agent systems; Reinforcement learning; Safety

In this paper we present a control synthesis framework for a multi-agent system under hard and soft constraints, which performs online re-planning to achieve collision avoidance and execution of the optimal path with respect to some human preference considering the type of the violation of the soft...