Meeting a powertrain verification challenge

TitleMeeting a powertrain verification challenge
Publication TypeConference Paper
Year of Publication2015
AuthorsDuggirala PSridhar, Fan C, Mitra S, Viswanathan M
Conference NameComputer Aided Verification - 27th International Conference, (CAV)
PublisherSpringer, Cham
Conference LocationSan Francisco, CA, USA
ISBN Number9783319216898

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