Author:
Barcelos Raphael Julio,Basilio João Carlos
Subject
Control and Systems Engineering
Reference12 articles.
1. Modelling opacity using petri nets;Bryans;Electronic Notes in Theoretical Computer Science, 121(Supplement C),2005
2. Robust diagnosis of discrete event systems against intermittent loss of observations;Carvalho;Automatica,2012
3. Introduction to Discrete Events Systems;Cassandras,2008
4. Synthesis of opaque systems with static and dynamic masks;Cassez;Formal Methods in System Design,2012
5. Supervisory control for opacity;Dubreil;IEEE Transactions on Automatic Control,2010
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献