On external behavior equivalence of continuous-time stochastic linear control systems
暂无分享,去创建一个
[1] Arjan van der Schaft,et al. On equivalence notions for discrete-time stochastic control systems , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
[2] Arjan van der Schaft,et al. Communicating Piecewise Deterministic Markov Processes , 2003, ADHS.
[3] Jeffrey S. Rosenthal,et al. Introduction to mathematical systems theory. a behavioral approach [Book Review] , 2002, IEEE Transactions on Automatic Control.
[4] van der Arjan Schaft,et al. A new procedure for stochastic realization of spectral density matrices , 1984 .
[5] Arjan van der Schaft,et al. Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).
[6] John Lygeros,et al. Bisimulation for General Stochastic Hybrid Systems , 2005, HSCC.
[7] A. J. van der Schaft,et al. Equivalence of dynamical systems by bisimulation , 2004, IEEE Transactions on Automatic Control.
[8] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum II , 1993, CONCUR.
[9] R. J. vanGlabbeek. The linear time - branching time spectrum , 1990 .
[10] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[11] A. J. van der Schaft,et al. Equivalence of switching linear systems by bisimulation , 2006 .