@收款{zbMATH07237451，作者={van Gorp，Jeremy and Giua，Alessandro and Defort，Michael and Djema{\“{i}}，Mohamed}，标题={使用{Mealy}机器建模对切换系统进行主动诊断}，BookTitle={混合动态和网络物理系统的可诊断性、安全性和安全性}，国际标准图书编号={978-3-319-74961-7；978-3-030-09114-9；978-3-419-74962-4}，页码={147--173}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-74962-4_6}，关键词={93C30,68Q45,93-10}，zbMATH={7237451}，Zbl={1455.93095}}