学术报告（一）

报告题目：Simulation for lattice-valued doubly labeled transition systems

报 告 人：潘海玉

报告时间：2013年12月18日 下午15:00-16:00

报告地点：计算机科学学院报告厅

报告内容简介：During the last decades, a large amount of multi-valued transition systems, whose transitions or states are labeled with specific weights, have been proposed to analyze quantitative behaviors of reactive systems. To set up a unified framework to model and analyze systems with quantitative information, in this paper, we present an extension of doubly labeled transition systems in the framework of residuated lattices, which we will refer to as lattice-valued doubly labeled transition systems (LDLTSs). Our model can be specialized to fuzzy automata over complete residuated lattices, fuzzy transition systems, and multivalued Kripke structures. In contrast to the traditional yes/no approach to similarity, we then introduce lattice-valued similarity between LDLTSs to measure the degree of closeness of two systems, which is a value from a residuated lattice. Further, we explore the properties of robustness and compositionality of the lattice-valued similarity. Finally, we extend the Hennessy-Milner logic to the residuate lattice-valued setting and show that the obtained logic is adequate and expressive with lattice-valued similarity.

报告人简介：潘海玉，男，1976年生。1996年7月，专科毕业于巢湖师范专科学校电器专业，2009年4月，于浙江理工大学计获得算机应用技术专业硕士学位，2012年6月，获得华东师范大学计算机应用技术博士学位。2012年7月起，在安徽工程大学计算机与信息学院教学和科研工作，同年12月进入陕西师范大学计算机科学与技术博士后流动站从事科研工作。目前主要研究方向是：形式化建模与验证。

学术报告（二）