Author:
Basile Francesco,De Tommasi Gianmaria,Motta Carlo
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference34 articles.
1. Multilevel transitive and intransitive non-interference, causally;Baldan;Theoretical Computer Science,2018
2. An optimization-based approach to assess non-interference in labeled and bounded Petri net systems;Basile;Nonlinear Analysis. Hybrid Systems,2022
3. Basile, F., Boussif, A., De Tommasi, G., Ghazel, M., & Sterle, C. (2018). Efficient diagnosability assessment via ILP optimization: a railway benchmark. In 23rd IEEE international conference on emerging technologies and factory automation (pp. 441–448). Torino, Italy.
4. On K-diagnosability of Petri nets via integer linear programming;Basile;Automatica,2012
5. An algebraic characterization of language-based opacity in labeled Petri nets;Basile;IFAC-PapersOnLine,2018
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献