混合动力系统研讨会
网络物理系统（CPS）的发展被认为是下一次计算革命。网络物理系统是与物理世界交互的网络计算系统。此类系统的示例包括自动汽车、机器人、智能节能建筑、嵌入式医疗设备等。此类系统需要离散行为和连续行为之间的紧密联系。由于CPS的复杂性、安全性要求和实时性，CPS的设计面临许多挑战。因此，为了在CPS领域取得进展，需要不同学科人员之间以及学术界和行业之间的合作。在这个研讨会中，我们将讨论CPS建模最强大的形式之一——混合自动机的不同方面。
| 课程类型 |
研讨会 |
|---|
| 讲师 |
Andreas Podelski教授
塞尔吉·博戈莫洛夫
|
|---|
| 启动 |
联系Sergiy Bogomolov讨论可能的主题
|
|---|
| 演示 |
Block-Seminarin学期末
|
|---|
|
演示文稿语言
|
英语 |
|---|
| 信用 |
6 |
|---|
| 课程目录 |
混合动力系统
|
|---|
话题
使用谷歌应该可以找到所有论文的PDF版本，而无需直接链接学者。如果您找不到以下任何文件，请随时联系Sergiy Bogomolov。
- Pavithra Prabhakar、Parasara Sridhar Duggirala、Sayan Mitra和Mahesh Viswanathan，基于混合自动化的矩形混合系统CEGAR，VMCAI 2013
- Jin Xiaoqing，Alexandre Donzé，Jyotirmoy V.Deshmukh，Sanjit A.Seshia，闭环控制模型的采矿要求，HSCC 2013
- 慧孔、飞鹤、宋晓瑜、洪威廉和顾铭，基于指数条件的混合系统安全验证屏障证书生成，CAV 2013
-
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）。蒙特卡罗技术非线性系统时间特性的证伪
