課程信息
4.3
23 個評分
4 個審閱
100% online

100% online

立即開始,按照自己的計劃學習。
可靈活調整截止日期

可靈活調整截止日期

根據您的日程表重置截止日期。
中級

中級

完成時間(小時)

完成時間大約為21 小時

建議:5 weeks of study, each with around 2.h hours work...
可選語言

英語(English)

字幕:英語(English)...
100% online

100% online

立即開始,按照自己的計劃學習。
可靈活調整截止日期

可靈活調整截止日期

根據您的日程表重置截止日期。
中級

中級

完成時間(小時)

完成時間大約為21 小時

建議:5 weeks of study, each with around 2.h hours work...
可選語言

英語(English)

字幕:英語(English)...

教學大綱 - 您將從這門課程中學到什麼

1
完成時間(小時)
完成時間為 3 小時

Module 1: Computational Tree Logic

We introduce Labeled Transition Systems (LTS), the syntax and semantics of Computational Tree Logic (CTL) and discuss the model checking algorithms that are necessary to compute the satisfaction set for specific CTL formulas. ...
Reading
6 個視頻(共 61 分鐘), 3 個閱讀材料, 4 個測驗
Video6 個視頻
Welcome!1分鐘
Introduction13分鐘
Semantics of CTL13分鐘
Model Checking CTL9分鐘
The Until Operator12分鐘
The Always Operator9分鐘
Reading3 個閱讀材料
Script 1 and 2.110分鐘
Script 2.2 and 2.310分鐘
Script 2.420分鐘
Quiz4 個練習
Formulate for yourself6分鐘
Test your understanding of CTL semantics14分鐘
Check your understanding of CTL20分鐘
Model checking eventually, always and until22分鐘
2
完成時間(小時)
完成時間為 2 小時

Discrete Time Markov Chains

We enhance transition systems by discrete time and add probabilities to transitions to model probabilistic choices. We discuss important properties of DTMCs, such as the memoryless property and time-homogeneity. State classification can be used to determine the existence of the limiting and / or stationary distribution. ...
Reading
5 個視頻(共 49 分鐘), 2 個閱讀材料, 5 個測驗
Video5 個視頻
Evolution in Time13分鐘
Transient probabilities9分鐘
State classification5分鐘
Steady-state probabilities12分鐘
Reading2 個閱讀材料
Script 3.1 and 3.210分鐘
Script 3.310分鐘
Quiz5 個練習
Evolution of DTMCs6分鐘
Compute transient probabilities10分鐘
Classification of DTMC states True or False?14分鐘
State classification16分鐘
Steady-state computation12分鐘
3
完成時間(小時)
完成時間為 2 小時

Probabilistic Computational Tree Logic

We discuss the syntax and semantics of Probabilistic Computational Tree logic and check out the model checking algorithms that are necessary to decide the validity of different kinds of PCTL formulas. We shortly discuss the complexity of PCTL model checking. ...
Reading
5 個視頻(共 36 分鐘), 3 個閱讀材料, 6 個測驗
Video5 個視頻
Model checking and the Next operator7分鐘
Time-bounded Until6分鐘
Backwards computation4分鐘
Unbounded Until8分鐘
Reading3 個閱讀材料
Script: 4.1 and 4.210分鐘
Script: 4.3.1 and 4.3.225分鐘
Script 4.3.310分鐘
Quiz6 個練習
PCTL Syntax8分鐘
Checking PCTL next4分鐘
Test your understanding of PCTL Until6分鐘
Checking time-bounded until16分鐘
Checking unbounded until10分鐘
Test your understanding of PCTL6分鐘
4
完成時間(小時)
完成時間為 2 小時

Continuous Time Markov Chains

We enhance Discrete-Time Markov Chains with real time and discuss how the resulting modelling formalism evolves over time. We compute the steady-state for different kinds of CMTCs and discuss how the transient probabilities can be efficiently computed using a method called uniformisation. ...
Reading
5 個視頻(共 57 分鐘), 2 個閱讀材料, 6 個測驗
Video5 個視頻
Generator matrix11分鐘
Steady-state probabilities11分鐘
Triple Modular Redundancy11分鐘
Uniformisation12分鐘
Reading2 個閱讀材料
Script: 5.1 and 5.220分鐘
Script: 5.315分鐘
Quiz6 個練習
Generator matrix6分鐘
Test your understanding of CTMCs6分鐘
Steady state probability in CTMCs10分鐘
Identifying BSCCs12分鐘
Test your understanding of Uniformisation6分鐘
Uniformisation12分鐘

講師

Avatar

Anne Remke

Prof. dr.
Computer Science

關於 EIT Digital

EIT Digital is a pan-European education and research-based open innovation organization founded on excellence. Its mission is to foster digital technology innovation and entrepreneurial talent for economic growth and quality of life. By linking education, research and business, EIT Digital empowers digital top talents for the future. EIT Digital provides online "blended" Innovation and Entrepreneurship education to raise quality, increase diversity and availability of the top-level content provided by 20 reputable universities of technology around Europe. The universities all together deliver a unique blend of the best of technical excellence and entrepreneurial skills and mindset to digital engineers and entrepreneurs at all stages of their careers. The academic partners support Coursera’s bold vision to enable anyone, anywhere, to transform their lives by accessing the world’s best learning experience. This means that EIT Digital gradually shares parts of its entrepreneurial and academic education programmes to demonstrate its excellence and make it accessible to a much wider audience. EIT Digital’s online education portfolio can be used as part of blended education settings, in both Master and Doctorate programmes, and for professionals as a way to update their knowledge. EIT Digital offers an online programme in 'Internet of Things through Embedded Systems'. Achieving all certificates of the online courses and the specialization provides an opportunity to enroll in the on campus program and get a double degree. These are the courses in the online programme: ...

常見問題

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

還有其他問題嗎?請訪問 學生幫助中心