迪米特里·列斐伏尔;李志武;梁，叶 通过状态隔离对离散事件系统的定时模式进行诊断。 （英语） Zbl 1520.93313号 Automatica公司 153，文章ID 111045，13 p.（2023）.MSC公司：93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lefebvre}等人，Automatica 153，文章ID 111045，13 p.（2023；Zbl 1520.93313） 全文： 内政部
张奎泽 幺半群上标记加权自动机的可检测性。 （英语） Zbl 1524.68180号 离散事件动态。系统。 32，第3期，435-494（2022年）.MSC公司：65年第68季度 第68季度25 第68季度85 90立方厘米 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang}，离散事件动态。系统。32，编号3，435--494（2022；Zbl 1524.68180） 全文： 内政部 arXiv公司
F.塔姆萨乌埃。;阿玛里，S。 使用带保护和（max，+）代数的时间自动机对网络控制系统进行建模和时间评估。 （英语） Zbl 1482.93235号 国际期刊系统。科学。，普林克。申请。系统。集成。 49，第10号，2073-2088（2018）.MSC公司：93磅70 93元65角 93B25型 15A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Tamssaouet}和\textit{S.Amari}，国际期刊系统。科学。，普林克。申请。系统。集成。49，第10号，2073--2088（2018；Zbl 1482.93235） 全文： 内政部
Ngo，广厦;Seow，Kiam Tian先生 用于实时监控的分层一致性框架。 （英语） Zbl 1398.93008号 离散事件动态。系统。 28，第3期，375-426（2018）.MSC公司：93甲13 93元65角 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{Q.H.Ngo}和\textit{K.T.Seow}，离散事件动态。系统。28，第3号，375--426（2018；Zbl 1398.93008） 全文： 内政部 链接
斯里尼瓦斯Pinisetty;普洛塔萨，维奥雷尔;斯塔夫罗斯·特里帕基斯;蒂埃里·杰伦;伊利耶斯·法尔科内;埃尔文·马尔坎德 预测运行时强制执行。 （英语） Zbl 1370.68207号 形式方法系统。设计。 51，第1期，154-199（2017）.MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Pinisetty}等人，《形式方法系统》。设计。51，第1号，154--199（2017；Zbl 1370.68207） 全文： 内政部 哈尔
克里斯托斯·卡桑德拉斯。;圣菲拉福顿 离散事件系统简介。第2版。 （英语） Zbl 1165.93001号 纽约州纽约市：施普林格出版社（ISBN 978-0-387-33332-8/hbk）。xxiii，第769页。(2008). 审核人：Tiit Riismaa（塔林） MSC公司：93-01 93年10月 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{C.G.Cassandras}和\textit{S.Lafortune}，离散事件系统简介。第二版，纽约州纽约市：施普林格出版社（2008；Zbl 1165.93001） 全文： 内政部 链接
格诺特·舒勒罗斯;Peerasan，Supavatanakul;沃尔克·克雷布斯;扬·伦泽 定时离散事件系统的建模和分层诊断。 （英语） 兹比尔1140.93319 数学。计算。模型。动态。系统。 12，第6号，519-542（2006）.MSC公司：93A30型 93元65角 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{G.Schullerus}等人，《数学》。计算。模型。动态。系统。12，第6号，519--542（2006；Zbl 1140.93319） 全文： 内政部 链接
穆斯塔法·努勒法特;艾哈迈德·库姆西 网格自动机和密集实时离散事件系统的监督控制。 （英语） 兹比尔1093.93020 数学。计算。模拟。 70，编号5-6，408-418（2006）.MSC公司：93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Nourelfath}和\textit{A.Khoumsi}，数学。计算。模拟。70，编号5--6，408--418（2006；Zbl 1093.93020） 全文： 内政部
马特乌斯，P。;M·莫里斯。;努斯，C。;A.帕切科。;Sernadas，A。;塞尔纳达斯，C。 随机时间自动机的范畴基础。 （英语） Zbl 1070.68076号 西奥。计算。科学。 308，编号1-3，393-427（2003）.MSC公司：65年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateus}等人，Theor。计算。科学。308，编号1--3，393--427（2003；Zbl 1070.68076） 全文： 内政部