共 34 条
[1]
[Anonymous], 2001, Model checking
[2]
[Anonymous], 1973, Non-negative Matrices and Markov Chains
[3]
Batt G, 2005, LECT NOTES COMPUT SC, V3414, P134
[4]
Belta C, 2002, IEEE DECIS CONTR P, P534, DOI 10.1109/CDC.2002.1184551
[5]
Berman A., 1994, SIAM Classics in Applied Mathe- matics
[8]
BORNE P, 1996, NONLINEAR SYSTEMS, V2, P45
[9]
BRANICKY MS, 1994, IEEE DECIS CONTR P, P3498, DOI 10.1109/CDC.1994.411688