CS Forum: "Synchronous and Asynchronous Multi-Agent Coordination with Temporal Constraints" Yunus Emre, University of Michigan
CS department's public guest lecture, open to everyone free-of-charge.
Yunus Emre Sahin
PhD candidate at University of Michigan
Host: Professor Stavros Tripakis
Time: 11:15 (coffee at 11:00)
Venue: TU1, Maarintie 8
Synchronous and Asynchronous Multi-Agent Coordination with Temporal Constraints
Multi-agent systems can serve modern societies in a variety of ways, ranging from pure entertainment to critical search and rescue missions. The number of agents collaborating to achieve a common goal increases each day to improve the effectiveness and efficiency of such applications. Therefore, there is a need for scalable tools to coordinate collective behavior of large number of agents such that a global specification is satisfied. This talk introduces a novel logic, namely cLTL+, to specify desired collective behavior of multi agent systems in a concise manner and proposes an optimization-based algorithm to synthesize plans, when executed synchronously, ensure the satisfaction of specifications given in this language. The second part of the talk discusses how to extend these results to generate trajectories that can be asynchronously implemented, while preserving the satisfaction of the desired specification.
Yunus Emre Sahin is a PhD candidate at the Department of Electrical Engineering and Computer Science, University of Michigan, working under the supervision of Prof. Necmiye Ozay. He is visiting Prof. Stavros Tripakis and is going to be working at Aalto University until 30 April, 2018. Yunus's main interest is to increase the capabilities of autonomous systems using tools from control theory, formal methods and optimization. Formal methods has recently attracted attention in the control community and it has been used in many different control applications ranging from autonomous cars to bipedal robots. The curse of dimensionality, however, is still a big obstacle in real world applications. Yunus develops formalisms and algorithms to on increase the scalability of the existing methods by exploiting certain structures of systems.