Statistical verification of the Toyota Powertrain Control Verification Benchmark

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The Toyota Powertrain Control Verification Benchmark has been recently proposed as challenge problems that capture features of realistic automotive designs. In this paper we statistically verify the most complicated of the powertrain control models proposed, that includes features like delayed differential and difference equations, look-up tables, and highly non-linear dynamics, by simulating the C++ code generated from the Simulink model of the design. Our results show that for at least 98% of the possible initial operating conditions the desired properties hold. These are the first verification results for this model, statistical or otherwise.

Original languageEnglish (US)
Title of host publicationHSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems
Subtitle of host publicationComputation and Control (part of CPS Week)
PublisherAssociation for Computing Machinery, Inc
Pages65-70
Number of pages6
ISBN (Electronic)9781450345903
DOIs
StatePublished - Apr 13 2017
Event20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017 - Pittsburgh, United States
Duration: Apr 18 2017Apr 20 2017

Publication series

NameHSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Other

Other20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017
CountryUnited States
CityPittsburgh
Period4/18/174/20/17

ASJC Scopus subject areas

  • Computer Science Applications
  • Computer Networks and Communications
  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Statistical verification of the Toyota Powertrain Control Verification Benchmark'. Together they form a unique fingerprint.

  • Cite this

    Roohi, N., Wang, Y., West, M., Dullerud, G. E., & Viswanathan, M. (2017). Statistical verification of the Toyota Powertrain Control Verification Benchmark. In HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (pp. 65-70). (HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)). Association for Computing Machinery, Inc. https://doi.org/10.1145/3049797.3049804