Funder
Australian Research Council
US Air Force
National Natural Science Foundation of China
The Hujiang Foundation of China
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference29 articles.
1. Introduction to discrete event systems;Cassandras,2009
2. Fault diagnosis with static and dynamic observers;Cassez;Fundamenta Informaticae,2008
3. Supervisory control of discrete-event processes with partial observations;Cieslak;IEEE Transactions on Automatic Control,1988
4. Counterexample-guided abstraction refinement for symbolic model checking;Clarke;Journal of the ACM,2003
5. On most permissive observers in dynamic sensor activation problems;Dallal;IEEE Transactions on Automatic Control,2014
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献