Author:
Pola Giordano,De Santis Elena,Di Benedetto Maria Domenica,Pezzuti Davide
Funder
Center of Excellence for Research DEWS, University of L’Aquila
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference26 articles.
1. Introduction to discrete event systems;Cassandras,1999
2. Diagnosability of discrete event systems with modular structure;Contant;Discrete Event Dynamic Systems,2006
3. Memory-efficient algorithms for the verification of temporal properties;Courcoubetis;Formal Methods in System Design,1992
4. Debouk, R., Malik, R., & Brandin, B. (2002). A modular architecture for diagnosis of discrete event systems. In Proceedings of the 41th conference on decision and control, Las Vegas, Nevada, USA (pp. 417–422).
5. Critical observability of a class of hybrid systems and application to air traffic management;De Santis,2005
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献