このコースについて
2,632

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

中級レベル

約21時間で修了

推奨:5 weeks of study, each with around 2.h hours work...

英語

字幕:英語

100%オンライン

自分のスケジュールですぐに学習を始めてください。

柔軟性のある期限

スケジュールに従って期限をリセットします。

中級レベル

約21時間で修了

推奨:5 weeks of study, each with around 2.h hours work...

英語

字幕:英語

シラバス - 本コースの学習内容

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. ...
6件のビデオ (合計61分), 3 readings, 4 quizzes
6件のビデオ
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 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. ...
5件のビデオ (合計49分), 2 readings, 5 quizzes
5件のビデオ
Evolution in Time13 分
Transient probabilities9 分
State classification5 分
Steady-state probabilities12 分
2件の学習用教材
Script 3.1 and 3.210 分
Script 3.310 分
5の練習問題
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. ...
5件のビデオ (合計36分), 3 readings, 6 quizzes
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 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. ...
5件のビデオ (合計57分), 2 readings, 6 quizzes
5件のビデオ
Generator matrix11 分
Steady-state probabilities11 分
Triple Modular Redundancy11 分
Uniformisation12 分
2件の学習用教材
Script: 5.1 and 5.220 分
Script: 5.315 分
6の練習問題
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 organization whose 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 and blended Innovation and Entrepreneurship education to raise quality, increase diversity and availability of the top-level content provided by 20 leading technical universities around Europe. The universities 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. Please visit https://www.eitdigital.eu/eit-digital-academy/ ...

よくある質問

  • 修了証に登録すると、すべてのビデオ、テスト、およびプログラミング課題(該当する場合)にアクセスできます。ピアレビュー課題は、セッションが開始してからのみ、提出およびレビューできます。購入せずにコースを検討することを選択する場合、特定の課題にアクセスすることはできません。

  • 修了証を購入する際、コースのすべての教材(採点課題を含む)にアクセスできます。コースを完了すると、電子修了証が成果のページに追加されます。そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。