| 课程类型 |
研讨会 |
|---|
| 讲师 |
塞尔吉·博戈莫洛夫（Sergiy Bogomolov）、科琳娜·米特罗欣（Corina Mitrohin）
|
|---|
| 启动 |
2011年11月10日，星期四，下午4点，052-00-016
|
|---|
| 演示 |
22.02.2011-24.02.2011
|
|---|
|
演示文稿语言
|
英语 |
|---|
| 信用 |
6 |
|---|
| 课程目录 |
网络物理系统的设计与分析
|
|---|
描述
网络物理系统（CPS）的开发被认为是下一次计算革命。网络物理系统联网与物理世界交互的计算系统。以下示例这些系统是自动汽车、机器人、智能节能建筑物、嵌入式医疗设备等。这样的系统需要离散行为和连续行为之间的紧密联系。设计CPS因其复杂性、安全性而面临许多挑战要求和实时性。因此，来自不同学科以及学术界和行业之间需要在CPS领域取得进展。新闻
福尔马利亚
30分钟演讲，5页总结。
重要日期
- 在2011年11月17日之前选择一个主题，并通过电子邮件通知我们。
- 关于论文的讨论：2.12。至17.12（在此期间安排与我们的预约）
- 在2012年1月23日至2012年01月27日期间提交论文草稿（约5页）
- 关于最终演示文稿的讨论：2012年2月13日至2012年02月17日（在此期间安排与我们会面）
- 区块研讨会、最终论文和演示：2012年2月22日至2011年2月24日
话题
他发现了他们，我们发现了Teilnehmer wählen können。
-
Prajna、Jadbabaie、安全使用屏障证书验证混合系统
-
托马斯·泽特库利奇和Stefan Ratschan，简洁的增量计算混合系统的抽象
-
Gera Weiss和RajeevAlur，基于自动化的控制和调度接口
-
Florian Kerber和Arjan范德沙夫特。线性控制系统的组成分析分配
-
斯里拉姆·桑卡拉纳拉亚南和Ashish Tiwari.连续和混合系统的关系抽象
-
克莉丝汀Hang、Panagiotis Manolios和Vasilis Papavasileiou。合成具有实时约束的网络物理体系结构模型
-
陶当，奥德·马勒和罗曼·泰斯特利耶。精确杂交非线性系统分配
-
斯里拉姆桑卡拉纳拉亚南。代数不变量的自动生成使用理想固定点的系统。
-
米尔卡拉扎尔和安德烈·约基克。关于作为Lyapunov函数的无穷范数分段仿射系统
-
莫里斯Heemels、Nathan van de Wouw、Rob Gielen、Tijs Donkers、LaurentiuHetel、Sorin Olaru、Mircea Lazar、Jamal Daafouz和Silviu尼古列斯库。稳定性超逼近方法的比较网络控制系统分析
-
张Nghiem、Sriram Sankaranarayanan、Georgios Fainekos、Franjo Ivancic、，阿尔蒂·古普塔（Aarti Gupta）和乔治·帕帕斯（George Pappas）。蒙特卡罗技术非线性系统时间特性的证伪
-
埃里克·温德尔和亚伦·艾姆斯。混合系统Poincare映射的秩性质两足步行应用
-
尤金·阿萨林（Eugene Asarin）、陶当（Thao Dang）、奥德（Oded）Maler和Romain Testylier。使用冗余约束精炼
