你在这里： 主页 › 教学 › 2012/2013年冬季学期 › 网络设计与分析…

网络物理系统的设计与分析（研讨会）

网络物理系统（CPS）的发展被认为是下一次计算革命。网络物理系统是与物理世界交互的网络计算系统。此类系统的示例包括自动汽车、机器人、智能节能建筑、嵌入式医疗设备等。此类系统需要离散行为和连续行为之间的紧密联系。由于CPS的复杂性、安全性要求和实时性，CPS的设计面临许多挑战。因此，为了在CPS领域取得进展，需要不同学科人员之间以及学术界和行业之间的合作。
课程类型 研讨会
讲师 Andreas Podelski教授，Sergiy Bogomolov
启动 请写一封电子邮件联系我们并确定个人会议的时间。
演示 2012/13财年末（具体日期待定）

演示文稿语言

 英语
信用 6
课程目录 网络物理系统的设计与分析

描述

网络物理系统（CPS）的开发被认为是下一次计算革命。网络物理系统联网与物理世界交互的计算系统。以下示例这些系统是自动汽车、机器人、智能节能建筑物、嵌入式医疗设备等。这样的系统需要离散行为和连续行为之间的紧密联系。设计CPS因其复杂性、安全性而面临许多挑战要求和实时性。因此，来自不同学科之间以及学术界和工业界之间需要在CPS领域取得进展。

福尔马利亚

30分钟演讲，5页总结。

重要日期

  • 主题必须在2012年11月17日之前确定。
  • 书面报告的第一个版本和幻灯片的第一版必须至多在演示前一周准备好复习。
  • 演讲将在“分组研讨会”中进行学期末的地点（具体日期将确定很快）。

话题

 

  1. 托马斯·泽特库利奇和Stefan Ratschan，简洁的增量计算混合系统的抽象

  2. Gera Weiss和RajeevAlur，基于自动化的控制和调度接口

  3. 斯里拉姆·桑卡拉纳拉亚南和Ashish Tiwari.连续和混合系统的关系抽象

  4. 陶当，奥德·马勒和罗曼·泰斯特利耶。精确杂交非线性系统

  5. 张Nghiem、Sriram Sankaranarayanan、Georgios Fainekos、Franjo Ivancic、，阿尔蒂·古普塔（Aarti Gupta）和乔治·帕帕斯（George Pappas）。蒙特卡洛技术非线性系统时间特性的证伪

  6. 尤金·阿萨林（Eugene Asarin）、陶当（Thao Dang）、奥德（Oded）Maler和Romain Testylier。使用冗余约束精炼

  7. 阿什什·蒂瓦里（Ashish Tiwari）、阿迪蒂亚·祖奇（Aditya Zutshi）和斯里拉姆·桑卡拉纳拉亚南（Sriram Sankaranarayanan），时代周刊采样数据控制系统的关系抽象

  8. Frehse，G.和Jha，S.和Krogh，B.，反例指导线性混合自动机的参数综合方法