TY - GEN
T1 - Meeting a powertrain verification challenge
AU - Duggirala, Parasara Sridhar
AU - Fan, Chuchu
AU - Mitra, Sayan
AU - Viswanathan, Mahesh
N1 - We thank Jim Kapinski, Jyo Desmukh, and Xiaoqing Jin of Toyota for several useful discussions on the powertrain models. This research is funded by research grants from the National Science Foundation (grant: CAR 1054247 and NSF CSR 1016791) and the Air Force Office of Scientific Research (AFOSR YIP FA9550-12-1-0336).
PY - 2015
Y1 - 2015
N2 - We present the verification of a benchmark powertrain control system using the hybrid system verification tool C2E2. This model comes from a suite of benchmarks that were posed as a challenge problem for the hybrid systems community, and to our knowledge, we are reporting its first verification. For this work, we implemented the algorithm reported in [10] in C2E2, to automatically compute local discrepancy (rate of convergence or divergence of trajectories) of the model. We verify the key requirements of the model, specified in signal temporal logic (STL), for a set of driver behaviors.
AB - We present the verification of a benchmark powertrain control system using the hybrid system verification tool C2E2. This model comes from a suite of benchmarks that were posed as a challenge problem for the hybrid systems community, and to our knowledge, we are reporting its first verification. For this work, we implemented the algorithm reported in [10] in C2E2, to automatically compute local discrepancy (rate of convergence or divergence of trajectories) of the model. We verify the key requirements of the model, specified in signal temporal logic (STL), for a set of driver behaviors.
UR - https://www.scopus.com/pages/publications/84951037105
UR - https://www.scopus.com/pages/publications/84951037105#tab=citedBy
U2 - 10.1007/978-3-319-21690-4_37
DO - 10.1007/978-3-319-21690-4_37
M3 - Conference contribution
AN - SCOPUS:84951037105
SN - 9783319216898
SN - 9783319216898
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 536
EP - 543
BT - Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings
A2 - Pasareanu, Corina S.
A2 - Kroening, Daniel
A2 - Pasareanu, Corina S.
A2 - Kroening, Daniel
PB - Springer
T2 - 27th International Conference on Computer Aided Verification, CAV 2015
Y2 - 18 July 2015 through 24 July 2015
ER -