Keyword:Automotive

Publications
IoT-Based Onboard Prognostic Health Evaluation System for Automotive Suspensions Bhagawat Baanav Yedla Ravi, Md Rafiul Kabir, Sumaiya Afroz Mila and Sandip Ray EasyChair Preprint 10065
In-Cabin Radar Monitoring System: Detection and Localization of People Inside Vehicle Using Vital Sign Sensing Algorithm A C Ramachandra, V Viswanatha, K Kishor, H Suhas and E Pannir Selvam EasyChair Preprint 9278
Exploring System-Level Coordination of Vehicular Electronics: a Case Study for Traction Control Md Rafiul Kabir and Sandip Ray EasyChair Preprint 7301
Kuksa: A Cloud-Native Architecture for Enabling Continuous Delivery in the Automotive Domain Ahmad Banijamali, Pooyan Jamshidi, Pasi Kuvaja and Markku Oivo EasyChair Preprint 1689
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
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
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
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
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
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