Keyword:Automotive

Papers
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability Ibtissem Ben Makhlouf and Stefan Kowalewski In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Progress on Powertrain Verification Challenge with C2E2 Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark Jyotirmoy Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker and Yuzhen Xie In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Motor-Transmission Drive System: a Benchmark Example for Safety Verification Hongxu Chen, Sayan Mitra and Guangyu Tian In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmarks for Temporal Logic Requirements for Automotive Systems Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Using S-TaLiRo on Industrial Size Automotive Models Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems