Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark

15 pages•Published: December 17, 2015

Jyotirmoy Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker and Yuzhen Xie

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:	https://easychair.org/publications/paper/vgJJ
	https://doi.org/10.29007/w3x7

BibTeX entry

@inproceedings{ARCH15:Piecewise_Affine_Approximations_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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/vgJJ},
  doi       = {10.29007/w3x7},
  pages     = {98-112},
  year      = {2015}}

Download PDF Open PDF in browser