Author:
Lefebvre Dimitri,Li Zhiwu,Liang Ye
Funder
Agence Nationale de la Recherche
Alexander von Humboldt-Stiftung
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference33 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Diagnosability analysis of labeled time Petri net systems;Basile;IEEE Transactions on Automatic Control,2017
3. Validation of industrial automation systems using a timed model of system requirements;Basile;IEEE Transactions on Control Systems Technology,2022
4. Fault diagnosis using timed automata;Bouyer;Lecture Notes in Computer Science,2005
5. Bouyer, P., Jaziri, S., & Markey, N. (2018). Efficient Timed Diagnosis Using Automata with Timed Domains. In Proceedings of the 18th Workshop on Runtime Verification, Limassol, Cyprus, Vol. 11237 (pp. 205–221).
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献