This paper documents a practical security evaluation of the Tesla Model X keyless entry system. In contrast to other works, system analysed in this employs secure symmetric-key and public-key cryptographic primitives implemented by Common Criteria certified Secure Element. We document internal workings system, covering key fob, body control module pairing protocol. Additionally, we detail our r...

This paper presents a new car-following model which aims to capture some of the key motorway flow characteristics, namely traffic breakdown, hysteresis, shockwave propagation as well as close-following behaviour. The model proposes three different driving states: non-alert, alert and close-following. Under the different driving states, drivers apply different reaction time and acceleration. Thi...

Car registration and inspection simulation experiment to analyze business functions of the traffic department in Al-Ain city in United Arab Emirates (UAE) is reported. The car registration is managed by a government organization in association with a private network service company that looks after the inspection service. A visual AweSim car registration simulation model is developed from workf...

This paper presents in-car speech recognition using a modelbased Wiener filter (MBW) and multi-condition (MC) training. The MBW is a 2-step denoising algorithm based on both rough and precise estimation of speech signals. Correcting roughly estimated signals with a Gaussian mixture model (GMM) makes it possible to accurately denoise with little computational cost. In an evaluation of in-car spe...

Recently, excitonic carotenoid-chlorophyll interactions have been proposed as a simple but effective model for the down-regulation of photosynthesis in plants. The model was proposed on the basis of quenching-correlated electronic carotenoid-chlorophyll interactions (Car S(1) → Chl) determined by Car S(1) two-photon excitation and red-shifted absorption bands. However, if excitonic interactions...

We present a traffic model that extends the linear car-following model as well as the minplus traffic model (a model based on the min-plus algebra). A discrete-time car-dynamics describing the traffic on a 1-lane road without passing is interpreted as a dynamic programming equation of a stochastic optimal control problem of a Markov chain. This variational formulation permits to characterize th...

The estimation of the disturbance input acting on a vehicle from its given responses is an inverse problem. To overcome some issues related to ill-posed problems, this work proposes method reconstructing road roughness based Kalman filter method. A half-car model that considers both and equipment established, joint input-state used identify profile. capabilities methodology in presence noise ar...

CAD systems and related technologies evolution has improved the development of software for automatic configuration of mechanical systems. This happened with the introduction of KAE systems that enable computer to support the designer during the decision making process. This paper presents a knowledge-based application that allows the designer to automatically compute and evaluate mass properti...