A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Hengjun Zhao; Naijun Zhan; Deepak Kapur; Kim Guldstrand Larsen

doi:10.1007/978-3-642-32759-9_38

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim Guldstrand Larsen

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

15 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Volume	7436
Publisher	Springer
Publication date	2012
Pages	471-485
ISBN (Print)	978-3-642-32758-2
ISBN (Electronic)	978-3-642-32759-9
DOIs	https://doi.org/10.1007/978-3-642-32759-9_38
Publication status	Published - 2012
Event	Formal Methods 2012: 18th International Symposium on Formal Mehtods - CNAM, Paris, France Duration: 27 Aug 2012 → 31 Aug 2012 Conference number: 18

Conference

Conference	Formal Methods 2012
Number	18
Location	CNAM
Country/Territory	France
City	Paris
Period	27/08/2012 → 31/08/2012

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Access to Document

10.1007/978-3-642-32759-9_38

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{e024949fa6fb4acd99f4c95155a1458b,

title = "A {"}Hybrid{"} Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example",

abstract = "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.",

author = "Hengjun Zhao and Naijun Zhan and Deepak Kapur and Larsen, {Kim Guldstrand}",

year = "2012",

doi = "10.1007/978-3-642-32759-9_38",

language = "English",

isbn = "978-3-642-32758-2",

volume = "7436",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "471--485",

booktitle = "FM 2012: Formal Methods",

address = "Germany",

note = "Formal Methods 2012 : 18th International Symposium on Formal Mehtods, FM 2012 ; Conference date: 27-08-2012 Through 31-08-2012",

}

Zhao, H, Zhan, N, Kapur, D & Larsen, KG 2012, A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. in FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. vol. 7436, Springer, Lecture Notes in Computer Science, pp. 471-485, Formal Methods 2012, Paris, France, 27/08/2012. https://doi.org/10.1007/978-3-642-32759-9_38

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 et al.
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Vol. 7436 Springer, 2012. p. 471-485 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems

T2 - Formal Methods 2012

AU - Zhao, Hengjun

AU - Zhan, Naijun

AU - Kapur, Deepak

AU - Larsen, Kim Guldstrand

N1 - Conference code: 18

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84865998709&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-32759-9_38

DO - 10.1007/978-3-642-32759-9_38

M3 - Article in proceeding

SN - 978-3-642-32758-2

VL - 7436

T3 - Lecture Notes in Computer Science

SP - 471

EP - 485

BT - FM 2012: Formal Methods

PB - Springer

Y2 - 27 August 2012 through 31 August 2012

ER -

Zhao H, Zhan N, Kapur D, Larsen KG. A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. In FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Vol. 7436. Springer. 2012. p. 471-485. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-32759-9_38

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Abstract

Conference

Access to Document

AUB Link

Other files and links

Cite this