混合动力系统研讨会
网络物理系统（CPS）的发展被认为是下一次计算革命。网络物理系统是与物理世界交互的网络计算系统。此类系统的示例包括自动汽车、机器人、智能节能建筑、嵌入式医疗设备等。此类系统需要离散行为和连续行为之间的紧密联系。由于CPS的复杂性、安全性要求和实时性，CPS的设计面临许多挑战。因此，为了在CPS领域取得进展，需要不同学科人员之间以及学术界和行业之间的合作。在这个研讨会中，我们将讨论CPS建模最强大的形式之一——混合自动机的不同方面。
| 课程类型 |
研讨会 |
|---|
| 讲师 |
Andreas Podelski教授
塞尔吉·博戈莫洛夫
|
|---|
| 启动 |
2012年5月4日，星期五，下午4点，052-00-016
|
|---|
| 演示 |
2012年7月30日-2012年7月31日：区块研讨会 |
|---|
|
演示文稿语言
|
英语 |
|---|
| 信用 |
6 |
|---|
| 课程目录 |
混合动力系统
|
|---|
重要日期
- 2012年7月6日：幻灯片
- 2012年7月30日-2012年7月31日：区块研讨会
话题
使用谷歌应该可以找到所有论文的PDF版本，而无需直接链接学者。如果您找不到以下任何文件，请随时联系Sergiy Bogomolov。
-
Pijush K.Ghosh和K.Vinod Kumar。凸体的支持函数表示及其在几何计算中的应用和相关表示计算机视觉和图像理解，72（3）：3791998。
-
Benerecetti，M.和Faella，M.以及Minopoli，S。，线性混合系统的可达性对策2012年HSCC
-
艾丁·戈尔（Aydin Gol，E.）和贝尔塔（Belta，C.）。，多仿射系统的时间约束时序逻辑控制
-
Ashish Tiwari、Aditya Zutshi和Sriram Sankaranarayanan，采样数据控制系统的时间关系抽象，CAV 2012
-
Frehse，G.和Jha，S.和Krogh，B.，线性混合自动机参数合成的反例指导方法，HSCC 2008
-
陶当，奥德·马勒和罗曼·泰斯特利耶。精确杂交非线性系统
- 斯里拉姆桑卡拉纳拉亚南。代数不变量的自动生成使用理想固定点的系统。
- 张Nghiem、Sriram Sankaranarayanan、Georgios Fainekos、Franjo Ivancic、，阿尔蒂·古普塔（Aarti Gupta）和乔治·帕帕斯（George Pappas）。蒙特卡罗技术非线性系统时间特性的证伪
-
尤金·阿萨林（Eugene Asarin）、陶当（Thao Dang）、奥德（Oded）Maler和Romain Testylier。使用冗余约束精炼
