课程信息

3,511 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
中级
完成时间大约为18 小时
英语(English)
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
中级
完成时间大约为18 小时
英语(English)

提供方

Placeholder

EIT 数字

教学大纲 - 您将从这门课程中学到什么

1

1

完成时间为 4 小时

Module 1: Computational Tree Logic

完成时间为 4 小时
6 个视频 (总计 61 分钟), 3 个阅读材料, 4 个测验
6 个视频
Welcome!1分钟
Introduction13分钟
Semantics of CTL13分钟
Model Checking CTL9分钟
The Until Operator12分钟
The Always Operator9分钟
3 个阅读材料
Script 1 and 2.110分钟
Script 2.2 and 2.310分钟
Script 2.420分钟
4 个练习
Formulate for yourself30分钟
Test your understanding of CTL semantics30分钟
Check your understanding of CTL30分钟
Model checking eventually, always and until30分钟
2

2

完成时间为 3 小时

Discrete Time Markov Chains

完成时间为 3 小时
5 个视频 (总计 49 分钟), 2 个阅读材料, 5 个测验
5 个视频
Evolution in Time13分钟
Transient probabilities9分钟
State classification5分钟
Steady-state probabilities12分钟
2 个阅读材料
Script 3.1 and 3.210分钟
Script 3.310分钟
5 个练习
Evolution of DTMCs30分钟
Compute transient probabilities10分钟
Classification of DTMC states True or False?30分钟
State classification30分钟
Steady-state computation30分钟
3

3

完成时间为 4 小时

Probabilistic Computational Tree Logic

完成时间为 4 小时
5 个视频 (总计 36 分钟), 3 个阅读材料, 6 个测验
5 个视频
Model checking and the Next operator7分钟
Time-bounded Until6分钟
Backwards computation4分钟
Unbounded Until8分钟
3 个阅读材料
Script: 4.1 and 4.210分钟
Script: 4.3.1 and 4.3.225分钟
Script 4.3.310分钟
6 个练习
PCTL Syntax30分钟
Checking PCTL next30分钟
Test your understanding of PCTL Until30分钟
Checking time-bounded until16分钟
Checking unbounded until10分钟
Test your understanding of PCTL30分钟
4

4

完成时间为 4 小时

Continuous Time Markov Chains

完成时间为 4 小时
5 个视频 (总计 57 分钟), 2 个阅读材料, 6 个测验
5 个视频
Generator matrix11分钟
Steady-state probabilities11分钟
Triple Modular Redundancy11分钟
Uniformisation12分钟
2 个阅读材料
Script: 5.1 and 5.220分钟
Script: 5.315分钟
6 个练习
Generator matrix30分钟
Test your understanding of CTMCs30分钟
Steady state probability in CTMCs10分钟
Identifying BSCCs12分钟
Test your understanding of Uniformisation30分钟
Uniformisation12分钟

常见问题

还有其他问题吗?请访问 学生帮助中心