a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example

ISCAS OpenIR

	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
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	471-485
会议日期	August 27, 2012 - August 31, 2012
会议地点	Paris, France
收录类别	EI
ISSN	0302-9743
ISBN	9783642327582
部门归属	(1) State Key Lab. of Comput. Sci. Institute of Software CAS Beijing China; (2) Graduate University of Chinese Academy of Sciences Beijing China; (3) Dept. of Comput. Sci. University of New Mexico Albuquerque NM United States; (4) CISS CS Aalborg University Denmark
摘要	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.
关键词	Errors Game Theory Hybrid Systems Model Checking
主办者	Digiteo; AdaCore; SNCF; LEI; ENSTA ParisTech
语种	英语
内容类型	会议论文
URI标识	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],2012:471-485.