网络物理系统的设计与分析(研讨会)
网络物理系统(CPS)的发展被认为是下一次计算革命。网络物理系统是与物理世界交互的网络计算系统。此类系统的示例包括自动汽车、机器人、智能节能建筑、嵌入式医疗设备等。此类系统需要离散行为和连续行为之间的紧密联系。由于CPS的复杂性、安全性要求和实时性,CPS的设计面临许多挑战。因此,为了在CPS领域取得进展,需要不同学科人员之间以及学术界和行业之间的合作。
课程类型 |
研讨会 |
---|
讲师 |
Andreas Podelski教授,Sergiy Bogomolov
|
---|
启动 |
请写一封电子邮件联系我们并确定个人会议的时间。 |
---|
演示 |
2013/14财年末(具体日期待定)
|
---|
演示文稿语言
|
英语 |
---|
信用 |
6 |
---|
课程目录 |
网络物理系统的设计与分析
|
---|
描述
网络物理系统(CPS)的开发被认为是下一次计算革命。网络物理系统联网与物理世界交互的计算系统。以下示例这些系统是自动汽车、机器人、智能节能建筑物、嵌入式医疗设备等。这样的系统需要离散行为和连续行为之间的紧密联系。设计CPS因其复杂性、安全性而面临许多挑战要求和实时性。因此,来自不同学科以及学术界和行业之间需要在CPS领域取得进展。福尔马利亚
30分钟演讲,5页总结。
重要日期
- 主题必须在2013年11月17日之前确定。
- 撰写文章的第一个版本和幻灯片的第一个版本必须至多在演示前一周准备好复习。
- 演讲将在“分组研讨会”中进行学期末的地点(具体日期将确定很快)。
话题
-
托马斯·泽特库利奇和Stefan Ratschan,简洁的增量计算混合系统的抽象
-
陶当,奥德·马勒和罗曼·泰斯特利耶。精确杂交非线性系统
-
张Nghiem、Sriram Sankaranarayanan、Georgios Fainekos、Franjo Ivancic、,阿尔蒂·古普塔(Aarti Gupta)和乔治·帕帕斯(George Pappas)。蒙特卡罗技术非线性系统时间特性的证伪
-
尤金·阿萨林(Eugene Asarin)、陶当(Thao Dang)、奥德(Oded)Maler和Romain Testylier。使用冗余约束精炼
-
Colas Le Guernic和Antoine Girard,使用支持函数的线性系统可达性分析
-
Antoine Girard,A.Agung Julius,George J.Pappas,混合系统的近似仿真关系
- Goran Frehse、Rajat Kateja和Colas Le Guernic,《流管近似与时空聚类》