共 50 条
- [22] Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2003, 56 (1-2): : 99 - 115
- [25] Stability of convex linear combinations of continuous-time and discrete-time linear systems ARCHIVES OF CONTROL SCIENCES, 2023, 33 (04): : 789 - 799