Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2024 easychair.org. All rights reserved.