Author:
Lai Aiwen,Lahaye Sébastien,Li Zhiwu
Funder
National Natural Science Foundation of China
National Key Research and Development Program of China
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference29 articles.
1. Modelling opacity using petri nets;Bryans;Electronic Notes Theoretical Computer Science,2005
2. Handbook of weighted automata;Droste,2009
3. Performance evaluation of (max,+) automata;Gaubert;IEEE Transactions on Automatic Control,1995
4. Modeling and analysis of timed petri nets using heaps of pieces;Gaubert;IEEE Transactions on Automatic Control,1999
5. Enforcing opacity by insertion functions under multiple energy constraints;Ji;Automatica,2019
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献