网络物理系统I-离散模型

CPS I考试已重新安排在5月7日09:00-12:00。以下是更多详细信息。

电晕时的CPS检查

CPS I考试已改期至5月7日（星期四）9:00-12:00。请仔细阅读以下组织细节。

• 考试将在市中心KG II大楼举行,与TF校园的原定计划不同。我们会拥有这些房间2004年和2006年，当你进入时，入口就在大堂的右边建筑物。
• 考试条件保持不变：你有90分钟的时间回答问题，允许一张A4纸的手写笔记。
• 由于科罗纳州的情况，工会制定了特殊措施和规则：
  • 请在等待入场时和考试后保持距离。
  • 您可以找到在当前条件下参加考试的学生的声明在这里.仔细检查此声明，如果所有条件都适用于您，你必须带一份签字的声明副本为了参加考试。
  • 如果其中一个条件不适用于您，则您不能参加考试。在这种情况下，或者由于其他原因，你无法参与（例如旅行限制），请立即联系考试办公室.
  • 它是必须戴口罩或者一些进出考场时的其他鼻嘴罩。如果你没有这样的鼻嘴罩，我们不能让你进入检查室。你一到座位就可以把它取下来。

新闻

• 4月30日：增加了重新安排考试的更多细节（见上文）。
  
• 4月8日：考试已重新安排5月7日09:00-12:00.
  
• 3月13日：学校取消了4月19日之前的所有考试，以保护学生和员工免受冠状病毒感染(http://www.uni-freiburg.de/universitaet/conaro)。因此，今天没有CPS I考试.
  

• 2月5日：最后一个练习表，练习表15，现在可以使用了。请在之前提交此练习表2月10日，星期一。提交的材料将被评分，并在2月12日的下一次也是最后一次讲座中返回给您。

  最后一节课将用于讨论练习表的解决方案，讨论课堂评估的结果，并回答您关于课堂内容的问题。

• 12月19日：节后新闻：
  • 由于公共假日的缘故，1月6日星期一将没有运动会。
  • 像往常一样，1月8日星期三将有一场讲座。
  • 下一次演习将于1月13日星期一举行。在本次练习中，将讨论练习表9（12月18日前提交）。
  • 1月15日（星期三）16:00-18:00将有额外的练习课，而不是讲座。在本练习环节中，将讨论练习表10（于2008年1月提交）。练习课将在以下房间进行：
    
    • 第一组（Enid）将一如既往地在101号楼的00-026室举行会议。
    • 第2组（Mehdi）将在051号楼00-031室开会。（注意：不同的建筑！）
    • 第3组（米里亚姆）将在101号楼01-009/013室开会。
• 12月4日：预警：12月18日将发布一份练习表，必须在1月8日前提交。由于周一（1月6日）是假日，休息后第一周的运动会将移至另一天。以下是更多详细信息。
  
• 11月13日：由于生病，今天的讲座取消了。
• 11月4日：本次讲座（11LE13SL-2070）的Studienleistung报名现已开放。你必须在HisInOne中注册，才能获得你的练习点数并通过该单元。
  
• 10月18日：开10月21日，星期一，将有讲座而不是练习课。讲座将在101号楼HS 00-026室举行。
• 10月18日：伊利亚斯学院为此次讲座开设了一门课程。讲座幻灯片将上传到那里，还有一个讨论论坛供您提问。如果您在HisInOne注册了讲座，您将收到一个允许您加入的链接。
  
• 10月14日：上传练习单01。这是一张简短的练习表，必须在上课的第一周（10月23日）的周三之前提交。
  
• 9月27日：主页在线。
  

描述

• 学生们学习如何将网络物理系统建模为过渡系统。这里，主要关注的是网络物理系统的软件和硬件方面，以及建模并行和通信的方法。

• 此外，学生还学习如何表达此类系统的属性。本课程涵盖了指定时间属性的不同机制，包括线性时间属性和分支时间属性，如LTL、CTL和CTL*属性。

• 最后，本课程演示了如何开发用于检查这些属性是否成立的算法。在介绍了显式状态系统的算法之后，我们介绍了基于符号BDD的算法，这些算法能够解决众所周知的“状态爆炸问题”。此外，本课程还涵盖了基本的“有界模型检查”（BMC）技术，这些技术将分析限制在一定长度的计算路径上，并将验证问题简化为布尔可满足性问题。

练习

考试

老讲座

文学类