Modeling

In this letter, we propose an integrated dynamical model of Connected and Automated Vehicles (CAVs) which incorporates CAV technologies and a microscopic car-following model to improve safety, efficiency, and convenience. We rigorously investigate the analytical properties such as well-posedness, maximum principle, perturbation, and stability of the proposed model in some proper functional spaces. Furthermore, we prove that the model is collision-free and derive an explicit lower bound on the distance as a safety measure.

Recent years have witnessed renewed interest in multi-class traffic models, inspired in no small part by the impending arrival of Connected and Autonomous Vehicles, whose behaviour is likely to differ from that of Human-Driven Vehicles. Although numerous multi-class traffic models have been proposed, consistent overarching theory is lacking. In this paper, we propose a generic first-order multi-class traffic modelling framework, intended to be sufficiently versatile to represent most of the traffic phenomena relevant to freeway control applications. Based on this framework, we are able to...

In this work, we introduce a novel first-order nonlocal partial differential equation with saturated diffusion to describe the macroscopic behavior of traffic dynamics. We show how the proposed model is better in comparison with existing models in explaining the underlying driver behavior in real traffic data. In doing so, we introduce a methodology for adjusting the parameters of the proposed PDE with respect to the distribution of real datasets. In particular, we conceptually and analytically elaborate on how such calibration connects the solution of the PDE to the probability transition...

The paper presents a model-based method for the design of diagnostics for a large-scale system. The method is demonstrated by application to the diagnostic design for the longitudinal control system of a fully automated vehicle capable of platooned operation. It is assumed that the system is modelled by continuous and discrete event models (DEM's). We comment on the abstraction of continuous models into discrete event models and show how DEM's may be constructed in a modular manner for a given set of sensors, observers and controllers defined in the continuous domain. The method is modular...