Title | Meeting a powertrain verification challenge |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Duggirala PSridhar, Fan C, Mitra S, Viswanathan M |
Conference Name | Computer Aided Verification - 27th International Conference, (CAV) |
Publisher | Springer, Cham |
Conference Location | San Francisco, CA, USA |
ISBN Number | 9783319216898 |
Abstract | 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 |
URL | http://link.springer.com/10.1007/978-3-319-21690-4{\_}37 |
DOI | 10.1007/978-3-319-21690-4_37 |
Meeting a powertrain verification challenge
Submitted by chuchu@mit.edu on