Author:
Tazaki Yuichi,Imura Jun-ichi
Reference18 articles.
1. Communication and Concurrency;Milner,1989
2. Approximation metrics for discrete and continuous systems;Girard;IEEE Transactions on Automatic Control,2007
3. A. Girard and G.J. Pappas : Approximate bisimulations for constrained linear systems, 44th IEEE Conference on Decision and Control and European Control Conference, pp 4700-4705, Seville, Spain, December 2005.
4. Approximately Bisimilar Finite Abstractions of Stable Linear Systems;Girard,2007
5. A.A. Julius, A. Girard and G.J. Pappas : Approximate bisimulation for a class of stochastic hybrid systems, in the Proc. American Control Conference, pp 4724-4729, Minneapolis, USA, 2006.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献