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

講座人：張奎澤 研究員

講座時(shí)間：7月26日19:00

講座地點(diǎn)：騰訊會(huì)議直播（ID：166 855 247）

講座人介紹：

張奎澤博士目前是德國柏林工業(yè)大學(xué)的洪堡研究員。 IEEE高級(jí)會(huì)員（2017年至今），2016年中國自動(dòng)化學(xué)會(huì)優(yōu)秀博士論文提名獎(jiǎng)獲得者。他目前的研究興趣包括離散系統(tǒng)（包括有限自動(dòng)機(jī)、布爾網(wǎng)絡(luò)、Petri網(wǎng)等）和混合系統(tǒng)（包括定時(shí)系統(tǒng)）中基本屬性（可控性、可觀察性、可檢測性、可診斷性、不透明性、可逆性等）的可判定性和復(fù)雜性。自動(dòng)機(jī)、幺半群上的加權(quán)自動(dòng)機(jī)等），應(yīng)用于系統(tǒng)生物學(xué)。他與人合著了一本書“離散時(shí)間和離散空間動(dòng)力系統(tǒng)”，并發(fā)表了 20 多篇期刊論文和 20 多篇會(huì)議論文。最近的結(jié)果包括：（1）（分散設(shè)置）基于推理的三個(gè)基本屬性——有限自動(dòng)機(jī)中的強(qiáng)可檢測性、可診斷性和可預(yù)測性已統(tǒng)一到一個(gè)數(shù)學(xué)框架中，（2）有限自動(dòng)機(jī)基本屬性的研究已經(jīng)擴(kuò)展到幺半群（特別是幺半群 $(Q^k,+)$）和實(shí)時(shí)自動(dòng)機(jī)上的加權(quán)自動(dòng)機(jī)，通過開發(fā)原始方法，（3）多項(xiàng)式時(shí)間強(qiáng)制算法，用于有限的多項(xiàng)式可驗(yàn)證的基于推理的屬性已經(jīng)設(shè)計(jì)了自動(dòng)機(jī)，它們比經(jīng)典監(jiān)督控制框架中的指數(shù)時(shí)間執(zhí)行算法更有效。

講座內(nèi)容：

不透明度是一種機(jī)密性屬性，描述了一個(gè)標(biāo)記（又名部分觀察）系統(tǒng)是否可以隱藏其秘密信息以防止惡意入侵者，最初于 2004 年在計(jì)算機(jī)科學(xué)界提出，引起了計(jì)算機(jī)科學(xué)界和計(jì)算機(jī)科學(xué)界的廣泛關(guān)注。最近二十年的控制社區(qū)?；跔顟B(tài)的不透明度是一種特殊類型的不透明度，它描述了外部入侵者是否無法確定標(biāo)記系統(tǒng)的秘密狀態(tài)是否已被訪問，因?yàn)槿肭终咧老到y(tǒng)結(jié)構(gòu)的完整知識(shí)，但只能看到生成的輸出。當(dāng)訪問秘密狀態(tài)的時(shí)間被指定為初始時(shí)間、當(dāng)前時(shí)間、任何過去時(shí)間以及當(dāng)前時(shí)間之前最多 K 步時(shí)，基于狀態(tài)的不透明度的概念可以表述為初始狀態(tài)不透明度，當(dāng)前狀態(tài)不透明度，分步不透明度和 K 步不透明度。在本次演講中，我們將介紹擴(kuò)展到實(shí)時(shí)自動(dòng)機(jī)的四個(gè)版本的不透明度的最新結(jié)果，這是一種廣泛使用的實(shí)時(shí)系統(tǒng)模型，并通過定義適當(dāng)?shù)母拍罱o出了這四個(gè)概念的 2-EXPTIME 驗(yàn)證算法實(shí)時(shí)自動(dòng)機(jī)的觀察者和反向觀察者的概念，可在 2-EXPTIME 中計(jì)算。

主辦單位：機(jī)電工程學(xué)院