@收款{zbMATH07237456，作者={Zaatiti，Hadi and Ye，Lina and Dague，Philippe and Gallois，Jean-Pierre and Trav{'e}-Massuy{`e}s，Louise}，标题={混合系统可诊断性分析的抽象精化}，BookTitle={混合动态和网络物理系统的可诊断性、安全性和安全性}，国际标准图书编号={978-3-319-74961-7；978-3-030-09114-9；978-3-419-74962-4}，页码={279--318}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-74962-4_11}，关键词={93C30,93B07,93C65}，zbMATH={7237456}，Zbl={1461.93236}}