共 50 条
- [32] Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 309 - 318
- [34] Asymptotical stability of continuous-time probabilistic logic networks based on transition rate Science China Information Sciences, 2023, 66
- [35] An Imprecise Probabilistic Estimator for the Transition Rate Matrix of a Continuous-Time Markov Chain UNCERTAINTY MODELLING IN DATA SCIENCE, 2019, 832 : 124 - 132
- [38] Continuous-time systems LINEAR TIME VARYING SYSTEMS AND SAMPLED-DATA SYSTEMS, 2001, 265 : 7 - 94
- [40] Event-based model predictive control and verification of integral continuous-time hybrid automata HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 93 - 107