On the Verification of Detectability for Timed Systems

Autor:	Weijie Dong, Xiang Yin, Kuize Zhang, Shaoyuan Li
Rok vydání:	2022
Zdroj:	2022 American Control Conference (ACC).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c03a7b2ff8632764c7df970886ff71c1 https://doi.org/10.23919/acc53348.2022.9867438 Zobrazit plný text záznamu