A ``Hybrid'' Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (English)
- New search for: Zhao, H.
- New search for: Zhan, N.
- New search for: Kapur, D.
- New search for: Larsen, K.G.
- New search for: Zhao, H.
- New search for: Zhan, N.
- New search for: Kapur, D.
- New search for: Larsen, K.G.
- New search for: Giannakopoulou, D.
- New search for: Mery, D.
In:
FM 2012: Formal Methods 18th International Symposium Paris, France, August 2012 Proceedings
7436
;
471-485
;
2012
-
ISSN:
- Article (Journal) / Print
-
Title:A ``Hybrid'' Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
-
Contributors:Zhao, H. ( author ) / Zhan, N. ( author ) / Kapur, D. ( author ) / Larsen, K.G. ( author ) / Giannakopoulou, D. / Mery, D.
-
Published in:FM 2012: Formal Methods 18th International Symposium Paris, France, August 2012 Proceedings , 7436 ; 471-485LECTURE NOTES IN COMPUTER SCIENCE , 7436 ; 471-485
-
Publisher:
- New search for: SPRINGER-VERLAG
-
Publication date:2012-01-01
-
Size:15 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.