演讲人Speaker：齐洪胜

题目Title: Distributedly Solving Logical Equations over Networks

时间Date：2023年 4月 7日       Time：下午 15：00 ~ 17：00

地点Venue： T5 栋 603  室  

内容摘要Abstract：

In this talk, we introduce distributed algorithms that solve a system of logical equations over networks, where each node in the network possesses only one logical equation from the system. The logical equation assigned at any particular node is a private equation known to this node only, and the nodes aim to compute the exact set of solutions to the system without exchanging their local equations. We show that each private logical equation can be locally lifted to a linear algebraic equation under a basis of logical vectors, leading to a network linear equation that is distributedly solvable. A number of exact or approximate solutions to the induced linear equation are then computed at each node from different initial values. The solutions to the original logical equations are eventually computed locally via a logical vector search algorithm.

个人简介(About the speaker):

齐洪胜，中国科学院数学与系统科学研究院研究员，中国科学院大学岗位教授，博士生导师。2008年于中国科学院数学与系统科学研究院获博士学位。2008年7月至2010年6月在中科院系统控制重点实验室从事博士后研究工作。主要研究兴趣包括逻辑动态系统、博弈与控制、量子网络、分布式优化等。2011年获Automatica 2008-2010理论/方法类最佳论文奖，2014年获国家自然科学二等奖（排名第二）。现任Journal of Systems Science and Complexity编委，中国工业与应用数学学会（CSIAM）理事兼副秘书长，中国自动化学会控制理论专业委员会（TCCT）委员，TCCT逻辑系统控制学组副主任。