書記信箱 校長信箱 學生郵件 教工郵件
信息公開 綜合信息網 網站地圖 English
您當前所在位置: 首頁 > 講座報告 > 正文
講座報告

State-based opacity of real-time automata

来源:機電工程學院          点击:
報告人 张奎泽 研究员 時間 7月26日19:00
地點 騰訊會議直播 报告時間

講座名稱:State-based opacity of real-time automata

講座人:张奎泽 研究员

讲座時間:7月26日19:00

讲座地點:騰訊會議直播(ID:166 855 247)


講座人介紹:

张奎泽博士目前是德国柏林工业大学的洪堡研究员。 IEEE高级会员(2017年至今),2016年中国自动化学会优秀博士论文提名奖获得者。他目前的研究兴趣包括离散系统(包括有限自动机、布尔网络、Petri网等)和混合系统(包括定时系统)中基本属性(可控性、可观察性、可检测性、可诊断性、不透明性、可逆性等)的可判定性和复杂性。自动机、幺半群上的加权自动机等),应用于系统生物学。他与人合着了一本书“离散時間和离散空间动力系统”,并发表了 20 多篇期刊论文和 20 多篇会议论文。最近的结果包括:(1)(分散设置)基于推理的三个基本属性——有限自动机中的强可检测性、可诊断性和可预测性已统一到一个数学框架中,(2)有限自动机基本属性的研究已经扩展到幺半群(特别是幺半群 $(Q^k,+)$)和实时自动机上的加权自动机,通过开发原始方法,(3)多项式時間强制算法,用于有限的多项式可验证的基于推理的属性已经设计了自动机,它们比经典监督控制框架中的指数時間执行算法更有效。


講座內容:

不透明度是一种机密性属性,描述了一个标记(又名部分观察)系统是否可以隐藏其秘密信息以防止恶意入侵者,最初于 2004 年在计算机科学界提出,引起了计算机科学界和计算机科学界的广泛关注。最近二十年的控制社区。基于状态的不透明度是一种特殊类型的不透明度,它描述了外部入侵者是否无法确定标记系统的秘密状态是否已被访问,因为入侵者知道系统结构的完整知识,但只能看到生成的输出。当访问秘密状态的時間被指定为初始時間、当前時間、任何过去時間以及当前時間之前最多 K 步时,基于状态的不透明度的概念可以表述为初始状态不透明度,当前状态不透明度,分步不透明度和 K 步不透明度。在本次演讲中,我们将介绍扩展到实时自动机的四个版本的不透明度的最新结果,这是一种广泛使用的实时系统模型,并通过定义适当的概念给出了这四个概念的 2-EXPTIME 验证算法实时自动机的观察者和反向观察者的概念,可在 2-EXPTIME 中计算。

 

主辦單位:機電工程學院

123

南校區地址:陝西省西安市西沣路興隆段266號

郵編:710126

北校區地址:陝西省西安市太白南路2號

郵編:710071

電話:029-88201000

訪問量:

版權所有:西安電子科技大學     陝ICP備05016463號     建設與運維:信息網絡技術中心