Statistical verification of the Toyota Powertrain Control Verification Benchmark

Nima Roohi; Yu Wang; Matthew West; Geir E. Dullerud; Mahesh Viswanathan

doi:10.1145/3049797.3049804

Statistical verification of the Toyota Powertrain Control Verification Benchmark

Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems
Subtitle of host publication	Computation and Control (part of CPS Week)
Publisher	Association for Computing Machinery
Pages	65-70
Number of pages	6
ISBN (Electronic)	9781450345903
DOIs	https://doi.org/10.1145/3049797.3049804
State	Published - Apr 13 2017
Event	20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017 - Pittsburgh, United States Duration: Apr 18 2017 → Apr 20 2017

Publication series

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

Other

Other	20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017
Country/Territory	United States
City	Pittsburgh
Period	4/18/17 → 4/20/17

ASJC Scopus subject areas

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

Online availability

10.1145/3049797.3049804

Library availability

Discover UIUC Full Text

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. https://doi.org/10.1145/3049797.3049804

Statistical verification of the Toyota Powertrain Control Verification Benchmark. / Roohi, Nima; Wang, Yu; West, Matthew et al.
HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, 2017. p. 65-70 (HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Roohi, N, Wang, Y, West, M , Dullerud, GE & 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). HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), Association for Computing Machinery, pp. 65-70, 20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, United States, 4/18/17. https://doi.org/10.1145/3049797.3049804

Roohi N, Wang Y, West M , Dullerud GE , Viswanathan M. 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). Association for Computing Machinery. 2017. p. 65-70. (HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)). doi: 10.1145/3049797.3049804

Roohi, Nima ; Wang, Yu ; West, Matthew et al. / Statistical verification of the Toyota Powertrain Control Verification Benchmark. HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, 2017. pp. 65-70 (HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

@inproceedings{cd3ecabf8788452cb9641debb3b0d0bd,

title = "Statistical verification of the Toyota Powertrain Control Verification Benchmark",

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{\texttrademark} 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.",

author = "Nima Roohi and Yu Wang and Matthew West and Dullerud, {Geir E.} and Mahesh Viswanathan",

note = "Publisher Copyright: {\textcopyright} 2017 ACM.; 20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017 ; Conference date: 18-04-2017 Through 20-04-2017",

year = "2017",

month = apr,

day = "13",

doi = "10.1145/3049797.3049804",

language = "English (US)",

series = "HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)",

publisher = "Association for Computing Machinery",

pages = "65--70",

booktitle = "HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems",

address = "United States",

}

TY - GEN

T1 - Statistical verification of the Toyota Powertrain Control Verification Benchmark

AU - Roohi, Nima

AU - Wang, Yu

AU - West, Matthew

AU - Dullerud, Geir E.

AU - Viswanathan, Mahesh

PY - 2017/4/13

Y1 - 2017/4/13

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

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

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

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

U2 - 10.1145/3049797.3049804

DO - 10.1145/3049797.3049804

M3 - Conference contribution

AN - SCOPUS:85019022892

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

SP - 65

EP - 70

BT - HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems

PB - Association for Computing Machinery

T2 - 20th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2017

Y2 - 18 April 2017 through 20 April 2017

ER -

Statistical verification of the Toyota Powertrain Control Verification Benchmark

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this