Author:
Hu Yihui,Ma Ziyue,Li Zhiwu,Giua Alessandro
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference48 articles.
1. On K-diagnosability of Petri nets via integer linear programming;Basile;Automatica,2012
2. Basile, F., Tommasi, G. D., & Sterle, C. (2015). Sensors selection for K-diagnosability of Petri nets via integer linear programming. In Proc. 23rd mediterranean conference on control and automation (MED), Torremolinos, Spain (pp. 168–175).
3. Basile, F., Tommasi, G. D., & Sterle, C. (2018). Non-interference enforcement in bounded Petri nets. In Proc. 2018 IEEE conference on decision and control, Miami Beach, USA (pp. 4827–4832).
4. Non-interference enforcement via supervisory control in bounded Petri nets;Basile;IEEE Transactions on Automatic Control,2020
5. Bertrand, N., Fabre, É., Haar, S., Haddad, S., & Hélouët, L. (2014). Active diagnosis for probabilistic systems. In Proc. international conference on foundations of software science and computation structures, Grenoble, France (pp. 29–42).
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献