Download PDFOpen PDF in browser

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark

15 pagesPublished: December 17, 2015

Abstract

We present approximate PWA models of a powertrain control benchmark.

Keyphrases: Automotive, benchmark, control, Industrial, Maple, piecewise affine, powertrain

In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 98--112

Links:
BibTeX entry
@inproceedings{ARCH15:Piecewise_Affine_Approximations_for_Powertrain,
  author    = {Jyotirmoy Deshmukh and Hisahiro Ito and Xiaoqing Jin and James Kapinski and Ken Butts and Juergen Gerhard and Behzad Samadi and Kevin Walker and Yuzhen Xie},
  title     = {Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  pages     = {98--112},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/vgJJ},
  doi       = {10.29007/w3x7}}
Download PDFOpen PDF in browser