El próximo viernes, 9 de mayo a las 9:30 h, D. Peng Lyu, estudiante de doctorado en la Shanghai Jiao Tong University, impartirá un seminario titulado "Decision Making in Open Interactive Environments based on Formal Methods" en nuestro Departamento. Además estará con nosotros durante unas semanas. El seminario se celebrará en el Seminario Manuel Silva, con una duración estimada de 1 hor.
Abstract: Planning and decision-making for complex logical tasks is a fundamental challenge in cooperative multi-agent systems, with broad applications in areas such as multi-robot coordination, logistics, and intelligent manufacturing. These tasks often involve tight spatial and temporal constraints, requiring agents to work together in a structured and goal-directed way. However, in open environments, agents must interact with various external entities, such as stochastic disturbances or strategic opponents, whose unpredictable behaviors can interfere with task execution and introduce additional costs. This talk explores how to formally model such interactions and design effective control strategies for different scenarios, including stochastic settings, efficient task planning, partial observability, and finite horizons. By combining ideas from game theory and supervisory control theory, we aim to develop decision-making frameworks that support logical reasoning while enhancing system performance.
Biography: Peng Lyu is a Ph.D. candidate in the Department of Automation at Shanghai Jiao Tong University, under the supervision of Prof. Xiang Yin. He received his B.E. degree in Automation from Harbin Engineering University in June 2020. Since September 2020, he has been pursuing his doctoral degree at SJTU. His research interests include decision-making, scheduling, planning, and control methods for intelligent autonomous systems. He has published seven first-author papers and was awarded the IEEE RAS Best Application Paper Award and the National Scholarship of China. He also serves as a reviewer for several leading international journals in control theory and robotics.