网络物理系统-混合模型

我们将研究用于建模和分析网络物理系统的不同方法和算法。我们将使用混合自动机的形式主义来解释网络物理系统行为的离散和连续方面。

课程类型	讲座
讲师	Andreas Podelski教授，Sergiy Bogomolov
讲座	星期二，16时15分至18时，101号楼，SR 01-009/13 星期四，16h15-18h，101号楼，SR 01-009/13
锻炼	课程安排将在本学期进行调整。默认值：星期二，16h15-17h，101号楼，SR 01-009/13
第一次会议	2012年4月24日，星期二，16时15分至18时
教学语言	英语
信用	6
考试	口试或笔试

描述

讲座将涵盖以下主题：

基于混合自动机的网络物理系统建模
时间逻辑中网络物理系统的特性规范
分析和验证算法

新闻

由于6月7日星期四放假，下周6月12日星期二将举行一次讲座，而不是一个锻炼小组。这样你将有一周的时间准备练习表。
2012年1月5日，星期二，即德国的假日，将没有讲座（也没有锻炼小组）。
第一次讲座将于2012年4月24日星期二16时举行。这将是一个介绍性的讲座；例外情况是没有锻炼小组。
在第一周，我们将分发一张练习表，其中包含你将在前两周的三节课中获得的材料的练习。也就是说，前两周的三次讲座将涵盖你所需的材料，以便你能够解决第一周开始时收到的练习。您将在2012年5月5日星期二的讲座之前提交解决方案。2012年8月5日，星期二，讲座的前半部分是（第一）个练习组。在这个练习组中，我们将讨论第一个练习表中的练习。

练习

在每周开始时，我们将分发一张练习表，其中包含您将在该周获得的材料的练习。也就是说，每周的讲座将涵盖你需要的材料，以便能够解决你在周初收到的练习表。在新的一周里，我们从锻炼小组开始，讨论你在前一周所做的锻炼。

演习提交方案

你将有一周时间交练习的答案，即从本周开始到下星期二的时间。051号楼00层将有一个指定的锁箱，我们将于16时10分整清空。你也可以在练习组开始时16点15分提交答案。
您将提交一份签名表，其中包含以下解决方案每一个练习表。你会交上你能做的任何事情，如果你生病了，可能什么都不会交。如果您生病了，只需在签名的解决方案表上标记即可。
周二讲座的前半部分是练习组。在这个练习组中，我们将讨论您在前一周完成的练习，以及您刚刚提交的解决方案。
我们将根据需要（初始化、节假日……）调整上述方案。

期末考试入学

期末考试的录取标准是成功参加练习。我们会纠正您的解决方案，但不会对其进行评分。不会有50%这样的规则。评估练习成功参与的正式标准是，你已经提交了一张签名纸，上面有以下答案每一个练习表。如上所述，你会交上你能做的任何事情，如果你生病了，可能什么都不会交。如果您生病了，只需在签名的解决方案表上标记即可。