Author:
Wang Cailu,Tao Yuegang,Tan Jianguo
Subject
Control and Systems Engineering
Reference35 articles.
1. Computational techniques for reachability analysis of max-plus-linear systems;Adzkiya;Automatica,2015
2. Processing loads analysis of distributed mobility management and SIP-based reachability;Ali-Ahmad;Telecommunication Systems,2016
3. Protocol Verification and Analysis using Colored Petri Nets;Aly,2003
4. Max-plus control design for temporal constraints meeting in timed event graphs;Amari;IEEE Transactions on Automatic Control,2012
5. Synchronization and Linearity: An Algebra for Discrete Event Systems;Baccelli,1992
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献