講座名稱：Detectability of discrete-event systems

講座人：張奎澤

講座時(shí)間：12月4日14:30-16:00

地點(diǎn)：網(wǎng)絡(luò)與安全創(chuàng)新研究大樓 A1236室

講座人介紹：

張奎澤，分別于2009年和2014年在哈爾濱工程大學(xué)取得數(shù)學(xué)學(xué)士學(xué)位和控制科學(xué)與工程博士學(xué)位?，F(xiàn)在中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院作訪問(wèn)學(xué)者。2015年至2024年期間工作經(jīng)歷先后包括：哈爾濱工程大學(xué)副教授，中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院博士后，德國(guó)慕尼黑工業(yè)大學(xué)博士后，瑞典皇家理工學(xué)院博士后，德國(guó)柏林工業(yè)大學(xué)洪堡學(xué)者，英國(guó)薩里大學(xué)講師，意大利卡利亞里大學(xué)訪問(wèn)教授。

研究興趣主要為理論計(jì)算機(jī)科學(xué)和控制論。主要研究題目為多種動(dòng)態(tài)系統(tǒng)中基本性質(zhì)的形式化驗(yàn)證和綜合。所研究的系統(tǒng)包括布爾控制網(wǎng)絡(luò)、有限自動(dòng)機(jī)、Petri網(wǎng)、定時(shí)自動(dòng)機(jī)，幺半群上的加權(quán)有限自動(dòng)機(jī)。提出布爾控制網(wǎng)絡(luò)的能觀性圖，離散事件系統(tǒng)的新框架，幺半群上的加權(quán)有限自動(dòng)機(jī)。以第一作者出版Springer Nature專著一部，以獨(dú)立作者出版Foundations and Trends in Systems and Control專著一部。發(fā)表40篇期刊論文（多篇論文發(fā)表在控制論頂級(jí)期刊和理論計(jì)算機(jī)科學(xué)頂級(jí)期刊中）和30多篇會(huì)議論文。

講座內(nèi)容：

Detectability of partially-observed dynamical systems is a basic property which means that one can use observed output sequences to determine the current and subsequent states. The state detection problem dates back to E.F. Moore’s Gedanken-experiments in 1956 on sequential machines which were called Moore machines later. The basic definitions of strong detectability and weak detectability in discrete-event systems modeled by labeled finite-state automata were given by Shu and Lin in 2007. In this talk, we will firstly review the classical polynomial-time verification algorithm for strong detectability of labeled finite-state automata given by S. Shu and F. Lin in 2011 based on two fundamental assumptions of (1) deadlock-freeness (an automaton will always run) and (2) having no reachable unobservable cycle (the running of an automaton will eventually be observed). Shu and Lin’s algorithm was derived based on their detector method. Secondly, we will introduce our new polynomial-time verification algorithm (collaborated with A. Giua) by developing a concurrent-composition method without any assumption, thus rewriting the fundamental results on detectability.

主辦單位：數(shù)學(xué)與交叉科學(xué)研究院