a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example
文献类型：会议论文
| 作者 | Zhao Hengjun ; Zhan Naijun ; Kapur Deepak ; Larsen Kim G. |
| 出版日期 | 2012 |
| 会议名称 | 18th International Symposium on Formal Methods, FM 2012 |
| 会议日期 | August 27, 2012 - August 31, 2012 |
| 会议地点 | Paris, France |
| 关键词 | Errors Game theory Hybrid systems Model checking |
| 页码 | 471-485 |
| 中文摘要 | We propose an approach to reduce the optimal controller synthesis problem of hybrid systems to quantifier elimination; furthermore, we also show how to combine quantifier elimination with numerical computation in order to make it more scalable but at the same time, keep arising errors due to discretization manageable and within bounds. A major advantage of our approach is not only that it avoids errors due to numerical computation, but it also gives a better optimal controller. In order to illustrate our approach, we use the real industrial example of an oil pump provided by the German company HYDAC within the European project Quasimodo as a case study throughout this paper, and show that our method improves (up to 7.5%) the results reported in [4] based on game theory and model checking. © 2012 Springer-Verlag. |
| 英文摘要 | We propose an approach to reduce the optimal controller synthesis problem of hybrid systems to quantifier elimination; furthermore, we also show how to combine quantifier elimination with numerical computation in order to make it more scalable but at the same time, keep arising errors due to discretization manageable and within bounds. A major advantage of our approach is not only that it avoids errors due to numerical computation, but it also gives a better optimal controller. In order to illustrate our approach, we use the real industrial example of an oil pump provided by the German company HYDAC within the European project Quasimodo as a case study throughout this paper, and show that our method improves (up to 7.5%) the results reported in [4] based on game theory and model checking. © 2012 Springer-Verlag. |
| 收录类别 | EI |
| 会议主办者 | Digiteo; AdaCore; SNCF; LEI; ENSTA ParisTech |
| 会议录 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
 |
| 语种 | 英语 |
| ISSN号 | 0302-9743 |
| ISBN号 | 9783642327582 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15770]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Zhao Hengjun,Zhan Naijun,Kapur Deepak,et al. a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example[C]. 见:18th International Symposium on Formal Methods, FM 2012. Paris, France. August 27, 2012 - August 31, 2012. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。